No.1106
言語，代数系および計算機システム
Languages, Algebra and Computer Systems
研究集会報告集
 　
1999/03/08〜1999/03/10
伊藤　正美
Masami Ito
　
目　次
　
1. Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)------------------1
　　　　群馬大学工学部/北陸先端科学技術大学院大学　　　青戸 等人/長谷 崇　(Aoto, Takahito/Nagaya, Takashi)
　
2. A Proof of the Krohn-Rhodes Decomposition Theorem (Languages, Algebra and Computer Systems)--------------------------------------13
　　　　A. Jozsef University, Department of Computer Science　　　Esik, Z.
　
3. オイラー小道上の同一点間の間隔について (言語,代数系および計算機システム)---------------------------------------------------------25
　　　　岡山大学工学部/岡山大学工学部/岡山大学工学部　　　神保 秀司/乾 勇治/橋口 攻三郎　(Jimbo, Shuji/Inui, Yuji/Hashiguchi, Kosaburo)
　
4. Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value (Languages, Algebra and Computer Systems)-------------------37
　　　　九州工業大学情報工学部　　　藤田 憲悦　(Fujita, Ken-etsu)
　
5. 線形符号の復号法について (言語,代数系および計算機システム)-----------------------------------------------------------------------50
　　　　大阪大学理学研究科　　　池上 大介　(Ikegami, Daisuke)
　
6. Note on Transitive Representations of Generalized Inverse *-Semigroups (Languages, Algebra and Computer Systems)-----------------61
　　　　東邦大学理学研究科/島根大学総合理工学部　　　稲田 勇/今岡 輝男　(Inata, Isamu/Imaoka, Teruo)
　
7. ハッシュ関数の構成法に関する一考察 (言語,代数系および計算機システム)-------------------------------------------------------------66
　　　　高度移動通信セキュリティ技術研究所　　　井上 徹　(Inoue, Toru)
　
8. Nondeterministic directable automata and related languages (Languages, Algebra and Computer Systems)-----------------------------81
　　　　/京都産業大学理学部　　　/伊藤 正美　(Imreh, Balazs/Ito, Masami)
　
9. On an Extension of Green's Relation and a Structure of Semigroup (Languages, Algebra and Computer Systems)-----------------------88
　　　　玉川大学工学部　　　小林 由紀男　(Kobayashi, Yukio)
　
10. Note on the semantics of logic programming (Languages, Algebra and Computer Systems)--------------------------------------------94
　　　　島根大学総合理工学部数理情報システム学科　　　近藤 通朗　(Kondo, Michiro)
　
11. 線形符号の延長定理について (言語,代数系および計算機システム)-------------------------------------------------------------------102
　　　　愛知県立大学情報科学研究科　　　丸田 辰哉　(Maruta, Tatsuya)
　
12. Some results on commutative semigroups and semigroup rings (Languages, Algebra and Computer Systems)---------------------------106
　　　　茨城大学理学部　　　松田 隆輝　(Matsuda, Ryuki)
　
13. Logic of awareness and belief with its application to economic behavior (Languages, Algebra and Computer Systems)--------------116
　　　　茨城工業高等専門学校/茨城工業高等専門学校　　　松久 隆/宇佐美 俊輔　(Matsuhisa, Takashi/Usami, Shun-Suke)
　
14. 可逆的・保存的なセル・オートマンの計算能力 (言語,代数系および計算機システム)---------------------------------------------------130
　　　　広島大学工学部/広島大学工学部　　　森田 憲一/今井 克暢　(Morita, Kenichi/Imai, Katsunobu)
　
15. Closure property of Some Codes under Composition (Languages, Algebra and Computer Systems)-------------------------------------142
　　　　国士舘大学工学部　　　守谷 哲夫　(Moriya, Tetsuo)
　
16. Strategies for Rewrite Systems : Normalization and Optimality (Languages, Algebra and Computer Systems)------------------------149
　　　　筑波大学電子情報工学部　　　Middeldorp, Aart
　
17. Lazy Narrowing Calculi : Strong Completeness, Eager Variable Elimination, Nondeterminism, Optimality (Languages, Algebra and Computer Systems)---161
　　　　/筑波大学電子情報工学部　　　/奥居 哲　(Middeldorp, Aart/Okui, Satoshi)
　
18. PDL robots represented in VRML environment (Languages, Algebra and Computer Systems)-------------------------------------------174
　　　　広島大学工学部/山口大学工学部　　　Nagylaki, Zoltan/Horvath, Geza
　
19. Algebraic Studies of Information in Cellular Automata (Languages, Algebra and Computer Systems)--------------------------------186
　　　　京都大学理学研究科 (元)　　　西尾 英之助　(Nishio, Hidenosuke)
　
20. On a homomorphic characterization of the class of slender context-free languages (Languages, Algebra and Computer Systems)-----196
　　　　会津大学コンピュータ理工学部　　　大川 知　(Okawa, Satoshi/Domosi, Pal)
　
21. Left Regular Bands and Semilattices in Finite Transformations (Languages, Algebra and Computer Systems)------------------------204
　　　　　　　斎藤 立彦　(Saito, Tatsuhiko)
　
22. Finite completely 0-simple semigroups and amalgamation bases for finite semigroups (Languages, Algebra and Computer Systems)---211
　　　　島根大学総合理学部　　　庄司 邦孝　(Shoji, Kunitaka)
　
23. An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)---------------------------213
　　　　京都大学総合人間学部/京都産業大学理学部　　　高木 理/八杉 満利子　(Takagi, Osamu/Yasugi, Mariko)
　
24. HNN extensions of finite semilattices (Languages, Algebra and Computer Systems)------------------------------------------------225
　　　　郵政省通信総合研究所情報通信部　　　山村 明弘　(Yamamura, Akihiro)