RIMS Kôkyûroku

No.2051

2017/02/20〜2017/02/22

堀内　清光

Kiyomitsu Horiuchi

目　次

1. Note on derivations of lattices (Developments of Language, Logic, Algebraic system and Computer Science)--------------------------1

　　　　北海道大学情報科学研究科 / 東京電機大学情報環境学部　　　河口 万由香 / 近藤 通朗　(Kawaguchi,Mayuka F. / Kondo,Michiro)

　

2. A generalization of LLL lattice basis reduction over imaginary quadratic fields (Developments of Language, Logic, Algebraic system and Computer Science)---9

　　　　兵庫教育大学連合学校教育学研究科 / 鳴門教育大学学校教育研究科　　　有元 康一 / 平野 康之　(Arimoto,Koichi / Hirano,Yasuyuki)

　

3. 行列における三対原理 (言語、論理、代数系と計算機科学の展開)----------------------------------------------------------------------14

　　　　会津大学 / University of Rochester　　　神谷 徳昭 / 大久保 進　(Kamiya,Noriaki / Okubo,Susumu)

　

4. Cellular automata and groups (Developments of Language, Logic, Algebraic system and Computer Science)----------------------------25

　　　　東洋大学総合情報学部　　　佐藤 忠一　(Sato,Tadakazu)

　

5. On the Flat Folding of Origami (Developments of Language, Logic, Algebraic system and Computer Science)--------------------------30

　　　　東邦大学理学部 / 東邦大学理学部 / 東邦大学理学部　　　足立 智子 / 石橋 魁世 / 久米 浩平　(Adachi,Tomoko / Ishibashi,Kaisei / Kume,Kohei)

　

6. Magic Square and Cryptography (Developments of Language, Logic, Algebraic system and Computer Science)---------------------------32

　　　　東邦大学理学部 / 東邦大学理学部　　　足立 智子 / 杉田 洋平　(Adachi,Tomoko / Sugita,Yohei)

　

7. Exploring Meta-Symmetry for Configurations in Closure Spaces (Developments of Language, Logic, Algebraic system and Computer Science)---35

　　　　国際教養大学国際教養学部　　　Schroeder,Marcin J.

　

8. Ideas of the Holonomy Decomposition of Finite Transformation Semigroups (Developments of Language, Logic, Algebraic system and Computer Science)---43

　　　　国際教養大学国際教養学部 / 　　　Egri-Nagy,Attila / Nehaniv,Chrystopher L.

　

9. Calculations of exponent semigroups aided by a computer (Developments of Language, Logic, Algebraic system and Computer Science)---46

　　　　東邦大学　　　小林 ゆう治　(Kobayashi,Yuji)

　

10. Search for Eulerian Recurrent Lengths by Using Constraint Solvers (Developments of Language, Logic, Algebraic system and Computer Science)---52

　　　　岡山大学自然科学研究科　　　神保 秀司　(Jimbo,Shuji)

　

11. Separability and weak separability in skew polynomial rings (Developments of Language, Logic, Algebraic system and Computer Science)---57

　　　　津山工業高等専門学校総合理工学科　　　山中 聡　(Yamanaka,Satoshi)

　

12. A Note on Idempotent Monomial Clones : Two is Strong; One is Weak (Developments of Language, Logic, Algebraic system and Computer Science)---64

　　　　一橋大学 / U. Novi Sad / Eotvos Lorand U.　　　町田 元 / Pantovic Jovanka / Szabo Csaba　(Machida,Hajime / Pantovic,Jovanka / Szabo,Csaba)

　

13. Lattices of surjective weak weight preserving homomorphisms of digraphs (Developments of Language, Logic, Algebraic system and Computer Science)---70

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

　

14. An application of two-edge coloured graphs to group algebras of non-noetherian groups (Developments of Language, Logic, Algebraic system and Computer Science)---80

　　　　兵庫県立大学経済学部 / University of Delaware　　　西中 恒和 / Alexander James　(Nishinaka,Tsunekazu / Alexander,James)

　

15. WHITEHEAD'S ALGORITHM AND THE STRUCTURE OF FREE GROUPS (Developments of Language, Logic, Algebraic system and Computer Science)---90

　　　　Department of Mathematics, Embry-Riddle Aeronautical University　　　Solie,Brent B.

　

16. A growth dichotomy for group algebras of free abelian by infinite cyclic groups (Developments of Language, Logic, Algebraic system and Computer Science)---93

　　　　Embry-Riddle Aeronautical University　　　Briggs,Christopher

　

17. Semigroup rings over semiprime ring semigroups (Developments of Language, Logic, Algebraic system and Computer Science)---------96

　　　　Department of Mathematics, Embry-Riddle Aeronautical University　　　筒井 久弥　(Tsutsui,Hisaya)

　

18. Algorithmic problems of automata (Developments of Language, Logic, Algebraic system and Computer Science)----------------------101

　　　　島根大学総合理工学研究科　　　庄司 邦孝　(Shoji,Kunitaka)

　

19. 正則項上の単一化について (言語、論理、代数系と計算機科学の展開)---------------------------------------------------------------106

　　　　島根大学総合理工学研究科　　　岩見 宗弘　(Iwami,Munehiro)

　

20. Numerical semigroups and triple cyclic covers of curves (Developments of Language, Logic, Algebraic system and Computer Science)---116

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

　

21. ALMOST SYMMETRIC NUMERICAL SEMIGROUPS AND ALMOST GORENSTEIN SEMIGROUP RINGS GENERATED BY FOUR ELEMENTS (Developments of Language, Logic, Algebraic system and Computer Science)---120

　　　　Fachbereich Mathematik, Universitat Duisburg-Essen / 日本大学文理学部　　　Herzog Jurgen / 渡辺 敬一　(Herzog,Jurgen / Watanabe,Kei-ichi)

　

22. 有界可換BCK-代数における, BCK-代数としてのイデアルと演算 $\bigwedge,\bigvee$ に関する束としてのイデアルの関係について (言語、論理、代数系と計算機科学の展開)---133

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

　

23. On an unsuccessful construction of semi-galois categories (Developments of Language, Logic, Algebraic system and Computer Science)---137

　　　　東北大学大学院情報科学研究科　　　浦本 武雄　(Uramoto,Takeo)

　

24. Compression of Palindromes and Regularity (Developments of Language, Logic, Algebraic system and Computer Science)-------------143

　　　　天理大学総合教育研究センター　　　辻 佳代子　(Shikishima-Tsuji,Kayoko)

　

25. Firefly Algorithm for Uncapacitated Facility Location Problem and Number of Fireflies (Developments of Language, Logic, Algebraic system and Computer Science)---149

　　　　秋田大学工学資源学研究科 / 秋田大学工学資源学研究科 / 秋田大学工学資源学研究科 / 秋田大学工学資源学研究科　　　津谷 航平 / 高谷 眞弓 / Fazekas Szilard Zsolt / 山村 明弘　(Tsuya,Kohei / Takaya,Mayumi / Fazekas,Szilard Zsolt / Yamamura,Akihiro)

　

26. 属性ベース署名を用いた匿名シングルサインオンの提案 (言語、論理、代数系と計算機科学の展開)--------------------------------------158

　　　　秋田大学工学資源学研究科 / 秋田大学工学資源学研究科 / 秋田大学工学資源学研究科 / 秋田大学工学資源学研究科　　　堀川 航洋 / 高谷 眞弓 / Fazekas Szilard Zsolt / 山村 明弘　(Horikawa,Koyo / Takaya,Mayumi / Fazekas,Szilard Zsolt / Yamamura,Akihiro)