* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2193
論理・言語・代数系と計算機科学の周辺領域
Logic, Language, Algebraic system and Related Areas in Computer Science
RIMS 共同研究（公開型）
 　
2021/02/17〜2021/02/19
岩見　宗弘
Munehiro Iwami
　
目　次
　
1. Uniform Exponential Growth in Twisted Polynomial Algebras (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　Department of Mathematics, Embry-Riddle Aeronautical University　　　Briggs,Christopher
　
2. Toward the Construction of Toric Imprimitive Reflection Groups (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　桜美林大学　　　中島 晴久　(Nakajima,Haruhisa)
　
3. Quasi-symmetric numerical semigroups on triple covers of curves (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　神奈川工科大学基礎・教養教育センター　　　米田 二良　(Komeda,Jiryo)
　
4. On formalization of logic puzzles \textit{\`{a}} ${la}$ Smullyan (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　群馬大学　　　藤田 憲悦　(Fujita,Ken-etsu)
　
5. On lattice points which become vertices of Heronian triangles II (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　岡山県立倉敷天城中学校 / 広島工業大学　　　有元 康一 / 平野 康之　(Arimoto,Koichi / Hirano,Yasuyuki)
　
6. BCK-代数における(I)$_{x,y}$-条件に関する２つの話題 (論理・言語・代数系と計算機科学の周辺領域)--------------------------------------
　　　　箕面学園高等学校　　　熊澤 昌明 　(Kumazawa,Masaaki)
　
7. Continuations and Polymorphic Lambek Calculus (Logic, Language, Algebraic system and Related Areas in Computer Science)------------
　　　　北陸先端科学技術大学院大学　　　谷口 雅弥　(Taniguchi,Masaya)
　
8. Some variations of the stable set polytope of a graph and Gorenstein property of the Ehrhart rings of them (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　京都教育大学　　　宮崎 充弘　(Miyazaki,Mitsuhiro)
　
9. 対称空間に付随した代数構造について (論理・言語・代数系と計算機科学の周辺領域)------------------------------------------------------
　　　　福島県立会津大学　　　神谷 徳昭　(Kamiya,Noriaki)
　
10. A side-channel attack against an automata theory based stream cipher (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　Faculty of Informatics, Debrecen University・Institute of Mathematics and Informatics, Nyiregyhaza University / Faculty of Informatics, Debrecen University / CCLAB Limited / CCLAB Limited / Department of Mathematics, United Arab Emirates University　　　Domosi,Pal / Horvath,Geza / Molnar,Ferenc Tamas / Kovacs,Szabolcs / Diene,Adama
　
11. Note on ($\tilde{\rho}$, $\tilde{D}$)-separable polynomials in skew polynomial rings (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　津山工業高等専門学校　　　山中 聡 　(Yamanaka,Satoshi)
　
12. HYPERSEQUENT CALCULI FOR INTERMEDIATE PREDICATE LOGICS (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　京都大学数理解析研究所 / 慶應義塾大学 / 　　　今村 拓万 / 松本 周也 / 川井 新　(Imamura,Takuma / Matsumoto,Shuya / Quawai,Shin)
　
13. Extension theorems for linear codes (Logic, Language, Algebraic system and Related Areas in Computer Science)---------------------
　　　　大阪府立大学　　　丸田 辰哉　(Maruta,Tatsuya)
　
14. Modular magic relabelings on a modular magic sudoku with the minimum order (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　東邦大学理学部情報科学科 / 東邦大学大学院理学研究科　　　足立 智子 / 桑嶋 大地　(Adachi,Tomoko / Kuwajima,Daichi)
　
15. On group algebras of R. Thompson's group $F$ (Logic, Language, Algebraic system and Related Areas in Computer Science)------------
　　　　兵庫県立大学　　　西中 恒和　(Nishinaka,Tsunekazu)
　
16. On the square of a uniserial module (Logic, Language, Algebraic system and Related Areas in Computer Science)---------------------
　　　　山口大学　　　柴田 義大　(Shibata,Yoshiharu)
　
17. Classification of Zeropotent Algebras of Dimension 3 over $\mathbb{R}$ (Logic, Language, Algebraic system and Related Areas in Computer Science)---
　　　　東邦大学 / 東邦大学 / 東邦大学 / 東邦大学　　　小林 ゆう治 / 白柳 潔 / 高橋 眞映 / 塚田 真　(Kobayashi,Yuji / Shirayanagi,Kiyoshi / Takahasi,Sin-Ei / Tsukada,Makoto)