代数系形式言语と计算论-岛根大学总合理工学部数理科学科.DOC

　　　　　　　代数、形式言語、計算システム理論とその応用 　　　　　　　　　　　　　　　　　研　究　集　会 　京都大学数理解析研究所の共同研究事業の一つとして、下記のように研究集会 を催しますので、ご案内申し上げます。 　　　　　　　　　　　　　　　　　　　　　研究代表者　　庄　司　邦　孝 　　　　　　　　　　　　　　　　　　　　　　　（島根大学?総合理工学部） 記 　　　　　　　日　時：２００７年２月１９日（月）１０：２５～ 　　　　　　　　　　　　　　　　２月２１日（水）１５：１０ 　　　　　　　場　所：京都大学数理解析研究所　１１５号室 　　　　　　　　　　　京都市左京区北白川追分町 　　　　　　　　　　　市バス京大農学部前または北白川下車 　　　　　　　　　　　　　 プ ロ グ ラ ム ２月１９日(月） １０：２５　開会 １０：３０～１１：００ 　神谷徳昭（会津大学） 　　 Some constructions of Lie superalgebras from triple systems 　and extended Dynkin diagrams １１：００～１１：３０　植田玲（島根大学総合理工学部） 　　 付値環上の加群について １１：３０～１２：００　池畑秀一（岡山大学環境理工学部） 　　 環の分離拡大について １３：３０～１３：５０　近藤通朗（東京電機大学情報環境学部） 　　 Elkan 式をもつ束について １３：５０～１４：２０　藤田憲悦（群馬大学工学部） 　　 Residuated mapping and CPS-translation １４：２０～１４：５０　中沢要、小林ゆう治（東邦大学理学部） 　　 3D Conways solitaire １５：００～１５：３０　小林ゆう冶 (東邦大学理学部) Groebner bases on projective bimodule and the Hochshild cohomology II. １５：３０～１６：００　Jian-Qin Liu （情報通信研究機構） On the graph structure of pathway-like automata for generating a McNaughton language １６：００～１６：３０　西尾英之助（元?京大理）、トーマス?ヴォルシュ（カールスルーエ大学情報学部） セルオートマトンの近傍系関数 ２月２0日（火） １０：００～１０：３０　岩見宗弘（島根大学総合理工学部） 　　 Confluence of left-linear and K-development closed term rewriting systems １０：３０～１１：００　Marcin J. Schroeder（秋田国際大学） Logico-algebraic structures of information integration １１：００～１１：３０　山村明弘（情報通信研究機構） 　　 Family of commutative symmetric ciphers １１：３０～１２：００　田中三貴（情報通信研究機構） 　　 セキュリティプロトコル検証と形式的手法 １３：３０～１４：００　佐藤健治（玉川大学工学部） 　　 PL多様体のGauss-Bonnetの定理 ～Banchoffの定理と本間の定理～ １４：００～１４：５０　松井泰子 (東海大学理学部) 　　 組合せ構造の列挙とサンプリング １５：００～１５：３０　足立智子（東邦大学理学部） 　　 完全二部グラフのラベル付けとディスク?アレイへの応用 １５：３０～１６：００　木村杏子（名古屋大学多元数理）、寺井直樹（佐賀大学文化教育学部）、吉田健一（名古屋大学多元数理） 　　 Arithmetical rank of squarefree monomial ideals １６：００～１６：３０　Sz.Z. Fazekas (Rovirai Virgili University, 辻佳代子（天理大学）, 伊藤正美（京都産業大学理学部） 　　 Duplication closure of languages over a binary alphabet １８：００～　懇親会 ２月２１日（水） １０：３０～１１：００　金光三男（愛知教育大学教育学部） 　　 Some properties of an ideal-based zero-divisor graph １１：００～１１：３０　松久隆（茨城工業高専） 　　 Bayesian communication under rough set