※このページに掲載している原稿は 速報ファイル です。
No.1809
代数系および計算機科学基礎
Algebraic Systems and Theoretical Computer Science
RIMS 研究集会報告集
 
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 )