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

No.1809

2012/02/20〜2012/02/22

山村　明弘

Akihiro Yamamura

目　次

1. On Chomsky Hierarchy of Palindromic Languages (Algebraic Systems and Theoretical Computer Science)--------------------------------1

　　　　C. Nyiregyhaza / / 京都産業大学理学部　　　Domosi Pal / / 伊藤 正美 　(Domosi,Pal / Fazekas,Szilard / Ito,Masami)

　

2. The Eulerian Recurrent Lengths of Complete Graphs (Algebraic Systems and Theoretical Computer Science)---------------------------17

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

　

3. ユークリッド TSP の近似アルゴリズムについて (代数系および計算機科学基礎)---------------------------------------------------------24

　　　　秋田大学工学資源学研究科 / 秋田大学工学資源学研究科　　　石郷岡 直輝 / 山村 明弘　(Ishigouoka,Naoki / Yamamura,Akihiro )

　

4. 立方体表面上の数理パズルについて (代数系および計算機科学基礎)--------------------------------------------------------------------34

　　　　秋田大学工学資源学研究科 / 秋田大学工学資源学部　　　山村 明弘 / 藤原 美早紀　(Yamamura,Akihiro / Fujiwara,Misaki )

　

5. On Construction of Lie Superalgebras from Flexible Lie-admissible Algebras : $sl_2$ loop algebra and tetrahedron algebra : In memory of Professor Hyo Chul Myung (Algebraic Systems and Theoretical Computer Science)---42

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

　

6. ON DECOMPOSABLE RATIONAL FUNCTIONS WITH GIVEN NUMBER OF SINGULARITIES (Algebraic Systems and Theoretical Computer Science)-------54

　　　　ETH Zurich / U. Debrecen / U. Debrecen 　　　Fuchs,Clemens / Petho,Attila / Tengely,Szabolcs

　

7. 疑似平方数に基づいた素数判定アルゴリズム (代数系および計算機科学基礎)------------------------------------------------------------65

　　　　岡山大学自然科学研究科 / 岡山大学自然科学研究科　　　桑木 康佑 / 神保 秀司　(Kuwagi,Kosuke / Jimbo,Shuji )

　

8. Composite residuosity and its application to cryptography (Algebraic Systems and Theoretical Computer Science)-------------------73

　　　　東邦大学理学部　　　足立 智子　(Adachi,Tomoko )

　

9. Coppersmith 法の連立方程式への拡張と RSA 暗号への応用について (代数系および計算機科学基礎)---------------------------------------79

　　　　情報通信研究機構　　　青野 良範　(Aono,Yoshinori )

　

10. Filter theory of non-commutative residuated lattices (Algebraic Systems and Theoretical Computer Science)-----------------------87

　　　　東京電機大学情報環境学部　　　近藤 通朗　(Kondo,Michiro)

　

11. A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)----------------------------93

　　　　計算論理研究室 / 横浜市立大学国際総合科学部　　　小林 英恒 / 小野 陽子　(Kobayashi,Hidetune / Ono,Yoko )

　

12. On Automorphism Groups of Petri Nets Based on Place Connectivity (Algebraic Systems and Theoretical Computer Science)----------100

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

　

13. Marcus External Contextual Grammars with Choice of the Languages of Primitive and Generalized Primitive Words. An Alternative Proof (Algebraic Systems and Theoretical Computer Science)---110

　　　　C. Nyiregyhaza / C. Nyiregyhaza 　　　Domosi,Pal / Fazekas,Szilard

　

14. Algebraic Structure Theory of Automata (Algebraic Systems and Theoretical Computer Science)------------------------------------119

　　　　京都産業大学理学部　　　伊藤 正美　(Ito,Masami )

　

15. Palindromic completion : a new operation (Algebraic Systems and Theoretical Computer Science)----------------------------------128

　　　　京都産業大学理学部 / / 天理大学総合教育研究センター　　　Fazekas Szilard Zsolt / / 辻 佳代子　(Fazekas,Szilard Zsolt / Mercas,Robert / Shikishima-Tsuji,Kayoko )

　

16. Reduction of Squares in Suffix Arrays (Algebraic Systems and Theoretical Computer Science)-------------------------------------140

　　　　Rovira i Virgili U.　　　Leupold,Peter

　

17. On Classification of Closure Spaces: Search for the Methods and Criteria (Algebraic Systems and Theoretical Computer Science)---145

　　　　国際教養大学　　　Schroeder,Marcin J.

　

18. 一般導分の双対概念について (代数系および計算機科学基礎)------------------------------------------------------------------------155

　　　　岡山県立大学情報工学部　　　小松 弘明　(Komatsu,Hiroaki)

　

19. Circle Generation on Two-Dimensional Cellular Automata (Algebraic Systems and Theoretical Computer Science)--------------------161

　　　　会津大学 / 会津大学　　　渡辺 識 /大川 知　(Watanabe,Satoru / Okawa,Satoshi )

　

20. SEMIGROUPS PRESENTED BY FINITE CONGRUENCE CLASSES (Algebraic Systems and Theoretical Computer Science)-------------------------169

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

　

21. Centralizing Monoids with Minimal Function Witnesses on a Three-Element Set (Algebraic Systems and Theoretical Computer Science)---171

　　　　国際基督教大学 / U. Montreal 　　　町田 元 / Rosenberg Ivo G.　(Machida,Hajime / Rosenberg,Ivo G.)

　

22. Are group rings of one-relator groups with torsion primitive? (Algebraic Systems and Theoretical Computer Science)-------------181

　　　　岡山商科大学経営学部　　　西中 恒和　(Nishinaka,Tsunekazu )

　

23. 安定的捻れ理論の一般化 (代数系および計算機科学基礎)----------------------------------------------------------------------------188

　　　　函館工業高等専門学校　　　竹花 靖彦　(Takehana,Yasuhiko)

　

24. The fractional map by two and the parent map of numerical semigroups (Algebraic Systems and Theoretical Computer Science)------198

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

　

25. Homogenized modular algorithms for Grobner bases (Algebraic Systems and Theoretical Computer Science)--------------------------205

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

　

26. Correction to ”Derivational complexity of string-rewriting systems” (Algebraic Systems and Theoretical Computer Science)-----213

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

　

27. 歪多項式環における宮下の定理の別証明 (代数系および計算機科学基礎)--------------------------------------------------------------214

　　　　岡山大学自然科学研究科 / 岡山大学自然科学研究科　　　山中 聡 / 池畑 秀一　(Yamanaka,Satoshi / Ikehata,Shuichi )