No.1769

2011/02/21～2011/02/23

辻　佳代子

Kayoko Tsuji

目　次

1. AUTOMATICITY AND PRESENTATIONS OF SEMIGROUPS (Algebras, Languages, Algorithms and Computations)-----------------------------------1

　　　　島根大学総合理工学部　　　庄司邦孝　(SHOJI,KUNITAKA)

2. Conformal code について (代数と言語のアルゴリズムと計算理論)----------------------------------------------------------------------7

　　　　静岡理工科大学総合情報学部コンピュータシステム学科　　　田中源次郎　(Tanaka,Genjiro)

3. On anti-structurable algebras (Algebras, Languages, Algorithms and Computations)-------------------------------------------------13

　　　　会津大学 / Center for Mathematical Sciences Lund University / Department of Physics University of Rochester　　　神谷徳昭 / MONDOC DANIEL / 大久保進　(KAMIYA,NORIAKI / MONDOC,DANIEL / OKUBO,SUSUMU)

4. Krull-Schmidt like decompositions of orthocryptogroups (Algebras, Languages, Algorithms and Computations)------------------------23

　　　　秋田大学工学資源学研究科　　　山村明弘　(Yamamura,Akihiro)

5. Classification of residuated lattices by filters (Algebras, Languages, Algorithms and Computations)------------------------------33

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

6. An example of trice for fuzzy theory (Algebras, Languages, Algorithms and Computations)------------------------------------------39

　　　　甲南大学理工学部　　　堀内清光　(Horiuchi,Kiyomitsu)

7. 群環に関する Formanek の方法の拡張 (代数と言語のアルゴリズムと計算理論)----------------------------------------------------------49

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

8. Numerical semigroups of double covering type and Hurwitz's problem (Algebras, Languages, Algorithms and Computations)------------60

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

9. On Galois extensions of rings with an inner automorphism group (Algebras, Languages, Algorithms and Computations)----------------66

　　　　岡山大学大学院自然科学研究科　　　池畑秀一　(IKEHATA,Shuichi)

10. 環の零因子や単元に関連したグラフの彩色数 (代数と言語のアルゴリズムと計算理論)---------------------------------------------------70

　　　　中部大学現代教育学部　　　金光三男　(Kanemitsu,Mitsuo)

11. An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)--------------------------75

　　　　日本大学理工学部 / 新潟国際情報大学　　　小林英恒 / 小野陽子　(Kobayashi,Hidetsune / Ono,Yoko)

12. On the depth of edge rings (Algebras, Languages, Algorithms and Computations)---------------------------------------------------83

　　　　大阪大学大学院情報科学研究科 / 大阪大学大学院情報科学研究科 / 静岡大学理学部 / Department of Mathematics Tulane University　　　日比孝之 / 東谷章弘 / 木村杏子 / O'Keefe Augustine B. 　(Hibi,Takayuki / Higashitani,Akihiro / Kimura,Kyouko / O'Keefe,Augustine B. )

13. Time Complexity of Square Pattern Generation on Two Dimensional Cellular Automata (Algebras, Languages, Algorithms and Computations)---90

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

14. A short history of repetition-free words (Algebras, Languages, Algorithms and Computations)------------------------------------101

　　　　東邦大学理学部　　　小林ゆう治　(KOBAYASHI,YUJI)

15. Compression via Unduplication (Algebras, Languages, Algorithms and Computations)-----------------------------------------------111

　　　　Research Group in Mathematical Linguistics, Rovira i Virgili University　　　Leupold,Peter

16. Equational theories and the behavior of finite automata (Algebras, Languages, Algorithms and Computations)---------------------122

　　　　Dept. of Computer Science, University of Szeged　　　Esik,Zoltan

17. Morphism preserving some kinds of languages (Algebras, Languages, Algorithms and Computations)---------------------------------124

　　　　国士舘大学理工学部　　　守谷哲夫　(MORIYA,Tetsuo)

18. An Extension of Automorphisms of a Petri Net (Algebras, Languages, Algorithms and Computations)--------------------------------131

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