No.2229

* このページに掲載している原稿は速報ファイルです。

* These papers are "flash report".

RIMS Kôkyûroku

No.2229

論理・代数系・言語と計算機科学の周辺領域

Logic, Algebraic system, Language and Related Areas in Computer Science

RIMS 共同研究（公開型）

2022/02/16～2022/02/18

岩見　宗弘

Munehiro Iwami

目　次

1. The Tarksi Theorems, Extensions to Group Rings and Logical Rigidity (Logic, Algebraic system, Language and Related Areas in Computer Science)---1

　　　　Department of Mathematics, Fairfield University　　　Fine,Benjamin

　　　　Department of Mathematics, Politecnico di Milano / Centro de Matematica da Universidade do Porto (CMUP)・Departamento de Matematica, Faculdade de Ciencias, Universidade do Porto　　　Rodaro,Emanuele / Wachter,Jan Philipp

3. A general form on the logic puzzles of Boolos (Logic, Algebraic system, Language and Related Areas in Computer Science)----------21

　　　　群馬大学 / 法政大学　　　藤田憲悦 / 倉田俊彦　(Fujita,Ken-etsu / Kurata,Toshihiko)

4. On Weierstrass numerical semigroups generated by four elements (Logic, Algebraic system, Language and Related Areas in Computer Science)---30

　　　　神奈川工科大学基礎教養教育センター　　　米田二良　(Komeda,Jiryo)

5. On a formula of parametric version for Heronian triangles (Logic, Algebraic system, Language and Related Areas in Computer Science)---36

　　　　福岡教育大学　　　有本康一　(Arimoto,Koichi)

6. BCK-代数における井関の”(S)-条件”について (論理・代数系・言語と計算機科学の周辺領域)--------------------------------------------42

　　　　箕面学園高等学校　　　熊澤昌明　(Kumazawa,Masaaki)

7. ある8次元代数の三対原理 (論理・代数系・言語と計算機科学の周辺領域)---------------------------------------------------------------52

　　　　会津大学　　　神谷徳昭　(Kamiya,Noriaki)

8. Computer Aided Constructions of Cages (Logic, Algebraic system, Language and Related Areas in Computer Science)------------------64

　　　　Department of Algebra, Faculty of Mathematics, Physics and Informatics, Comenius University / Department of Algebra, Faculty of Mathematics, Physics and Informatics, Comenius University　　　Jajcay,Robert / Koorepazan Moftakhar,Fatemeh

9. On Galois polynomials with a cyclic Galois group in skew polynomial rings (Logic, Algebraic system, Language and Related Areas in Computer Science)---74

　　　　津山工業高等専門学校 / 津山工業高等専門学校 / 津山工業高等専門学校　　　本郷克典 / 池上叶流 / 山中聡　(Hongou,Katsunori / Ikegami,Kanaru / Yamanaka,Satoshi)

10. A Study of Constraints on Eulerian Circuits (Logic, Algebraic system, Language and Related Areas in Computer Science)-----------81

　　　　岡山大学　　　神保秀司　(Jimbo,Shuji)

11. On Computational Aspects of Finding Inverse Monoids of Partial Automorphisms (Logic, Algebraic system, Language and Related Areas in Computer Science)---88

　　　　Comenius University　　　Jajcayova,Tatiana B.

12. 数独の3次元空間への拡張 (論理・代数系・言語と計算機科学の周辺領域)--------------------------------------------------------------97

　　　　静岡理工科大学情報学部　　　足立智子　(Adachi,Tomoko)

13. R. Thompson's group $F$ and its group algebras (Logic, Algebraic system, Language and Related Areas in Computer Science)-------103

　　　　兵庫県立大学　　　西中恒和　(Nishinaka,Tsunekazu)

14. On Regularity and Roots of Strong Codes (Logic, Algebraic system, Language and Related Areas in Computer Science)--------------111

　　　　静岡理工科大学　　　國持良行　(Kunimochi,Yoshiyuki)