No.1562

2007/02/19〜2007/02/21

庄司　邦孝

Kunitaka Shoji

目　次

1. Some constructions of Lie superalgebras from triple systems and Extended Dynkin diagrams(Algebras, Languages, Computations and their Applications)---1

　　　　University of Aizu / University of Rochester　　　Kamiya, Noriaki / Okubo, Susumu

　

2. MODULES OVER NON-COMMUTATIVE VALUATION RINGS(Algebras, Languages, Computations and their Applications)---------------------------10

　　　　島根大学総合理工学部　　　植田 玲　(Ueda, Akira)

　

3. On Separable Extensions of Noncommutative Rings(Algebras, Languages, Computations and their Applications)------------------------14

　　　　岡山大学環境理工学部　　　池畑 秀一　(IKEHATA, Shuichi)

　

4. On lattices with Elkan's formula(Algebras, Languages, Computations and their Applications)---------------------------------------19

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

　

5. Residuated mapping and CPS-translation : Extended abstract(Algebras, Languages, Computations and their Applications)-------------25

　　　　群馬大学　　　藤田 憲悦　(Fujita, Ken-etsu)

　

6. 3D Conway's Solitaire(Algebras, Languages, Computations and their Applications)--------------------------------------------------34

　　　　Department of Information Science, Toho University / Department of Information Science, Toho University　　　NAKAZAWA, KANAME / KOBAYASHI, YUJI

　

7. Grobner bases on projective bimodules and the Hochschild cohomology Part II. Critical Pairs(Algebras, Languages, Computations and their Applications)---40

　　　　Department of Information Science, Toho University　　　KOBAYASHI, YUJI

　

8. セルオートマトンの近傍系関数 : 近傍系を変える(代数、形式言語、計算システム理論とその応用)----------------------------------------46

　　　　京都大学理学部 / カールスルーエ大学情報学部　　　西尾 英之助 / ヴォルシュ トーマス　(Nishio, Hidenosuke / Worsch, Thomas)

　

9. 組合せ子 $L$ の非循環性とその応用(代数、形式言語、計算システム理論とその応用)----------------------------------------------------56

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

　

10. Logico-Algebraic Structures for Information Integration in the Brain(Algebras, Languages, Computations and their Applications)---61

　　　　Akita International University　　　Schroeder, Marcin Jan

　

11. Asymmetric secret key ciphers and encrypted data retrieval schemes(Algebras, Languages, Computations and their Applications)----73

　　　　National Institute of Information and Communications Technology　　　Yamamura, Akihiro

　

12. Verifying security protocols using theorem provers(Algebras, Languages, Computations and their Applications)--------------------79

　　　　National Institute of Information and Communications Technology　　　Tanaka, Miki

　

13. The Gauss-Bonnet theorem for PL manifolds : Banchoff's theorem and Homma's theorem(Algebras, Languages, Computations and their Applications)---87

　　　　DEPARTMENT OF MATHEMATICS, FACULTY OF ENGINEERING, TAMAGAWA UNIVERSITY　　　佐藤 健治　(SATO, Kenzi)

　

14. 組合せ構造の列挙とサンプリング(代数、形式言語、計算システム理論とその応用)------------------------------------------------------92

　　　　東海大学理学部情報数理学科　　　松井 泰子　(Matsui, Yasuko)

　

15. Labelings for the Complete Bipartite Graph and its Applications(Algebras, Languages, Computations and their Applications)-------99

　　　　Department of Information Sciences, Toho University　　　Adachi, Tomoko

　

16. Arithmetical rank of squarefree monomial ideals(Algebras, Languages, Computations and their Applications)----------------------104

　　　　名古屋大学大学院多元数理科学研究科 / 佐賀大学文化教育学部 / 名古屋大学大学院多元数理科学研究科　　　木村 杏子 / 寺井 直樹 / 吉田 健一　(KIMURA, Kyouko / TERAI, Naoki / YOSHIDA, Ken-ichi)

　

17. Some properties of an ideal based zero-divisor graph(Algebras, Languages, Computations and their Applications)-----------------114

　　　　中部大学工学部　　　金光 三男　(Kanemitsu, Mitsuo)

　

18. Bayesian Communication under Rough Sets Information(Algebras, Languages, Computations and their Applications)------------------117

　　　　茨城工業高等専門学校　　　松久 隆　(Matsuhisa, Takashi)

　

19. FINITELY GENERATED SEMIGROUPS WITH REGULAR CONGRUENCE CLASSES(Algebras, Languages, Computations and their Applications)--------127

　　　　DEPARTMENT OF MATHEMATICS, SHIMANE UNIVERSITY　　　庄司 邦孝　(SHOJI, KUNITAKA)

　

20. group code の一般化(代数、形式言語、計算システム理論とその応用)----------------------------------------------------------------132

　　　　静岡理工科大学情報システム学科　　　田中 源次郎　(Tanaka, Genjiro)

　

21. A Context Sensitive Grammer generating the set of all primitive words(Algebras, Languages, Computations and their Applications)---143

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

　

22. On primitive numerical semigroups of genus 10(Algebras, Languages, Computations and their Applications)------------------------146

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