Semigroups, Algebras, Languages and Related Areas in Computer Science

RIMS 共同研究（公開型）
2025/02/19～2025/02/21

Szilard Zsolt Fazekas , 新屋　良磨 ( Szilard Zsolt Fazekas , Ryoma Sin'ya )

1. MORPHISM-BASED EXPLANATIONS OF TSUMEGOS Attila Egri-NagyAkita International U.
2. On Reynolds-Hurkens-Coquand paradox and $T$-algebras 藤田憲悦 ( Ken-etsu Fujita )東京電機大学倉田俊彦 ( Toshihiko Kurata )法政大学
3. Geometric Aspects of Polynomial Computation Sequences Paul HriljacEmbry-Riddle Aeronautical U.
4. Analysis of a Game Played On a Graph Based on Experiments With Computers 神保秀司 ( Shuji Jimbo )岡山大学
5. On symmetric composition algebras and Lie algebras 神谷徳昭 ( Noriaki Kamiya )会津大学
6. A proof of Hilbert's Nullstellensats using Gr\"{o}bner basis 小林 \UTF{7F91}治 ( Yuji Kobayashi )Laboratory of Mathematics and Games
7. A numerical semigroup whose genus described by its minimum odd is large 米田二良 ( Jiryo Komeda )神奈川工科大学
8. BCK-代数における上半束の特徴付けをめぐって熊澤昌明 ( Masaaki Kumazawa )
9. Classification of strong codes 國持良行 ( Yoshiyuki Kunimochi )静岡理工科大学
10. On algorithms to solve Quadratic Diophantine equations 中村悠人 ( Yuto Nakamura )北陸先端科学技術大学院大学
11. Algebra and Geometry of the $\lambda$-calculus 佐藤雅彦 ( Masahiko Sato )京都大学中野圭介 ( Keisuke Nakano )東北大学
12. Algebraic Theory of Emergence \& Reduction of Information Marcin J. SchroederAkita International U.
13. Amalgamation problems of the infinite transformation semigroups 庄司邦孝 ( Kunitaka Shoji )島根大学
14. Rings in which every left ideal is idempotent and the set of ideals is linearly ordered. 筒井久弥 ( Hisaya Tsutsui )Embry-Riddle Aeronautical U.
15. CASを用いた損失関数の応用鷲野朋広 ( Tomohiro Washino )奈良工業高等専門学校高橋正 ( Tadashi Takahashi )羽衣国際大学
16. NOTES ON THE ABELIANIZATION OF THE HYPERELLIPTIC TORELLI GROUP Tatsunari WatanabeEmbry-Riddle Aeronautical U.
17. On Mod-separable extensions of modules 山中聡 ( Satoshi Yamanaka )津山工業高等専門学校