代数と言語のアルゴリズムと計算理論

RIMS研究集会

 

京都大学数理解析研究所の共同研究事業の一つとして、下記のように研究集会を催しますので、ご案内申し上げます。

研究代表者 辻 佳代子

(天理大学・人間学部)

日時:2011(平成23) 221()10:00 223()16:40

場所:京都大学数理解析研究所 111

京都市左京区北白川追分町

市バス京大農学部前

URLhttp://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html

   

 

 

プログラム

2月21日(月)

10:0011:30     庄司 邦孝(島根大学)

                      Automaticity and presentations of semigroups

10:3011:00     田中 源次郎(静岡理工科大学)

                      Conformal codeについて

11:0011:30   神谷 徳昭 (会津大学)

On anti-structurable algebras

11:3012:00   山村 明弘 (秋田大学)

Completely Regular Semigroups Satisfying Formula for Inverse of a Product

(休憩)

13:3014:00     近藤通朗(東京電機大学)

Filters on commutative residuated lattices

14:0014:30     堀内清光 (甲南大学)

An example of trice for fuzzy theory

14:3015:00     西中 恒和 (岡山商科大学)

原始環に関する Formanek の方法の拡張

(休憩)

15:1015:40     米田 二良 (神奈川工科大学)

Numerical semigroups which are the double covering type and Hurwitz' problem

15:4016:10     池畑 秀一 (岡山大学)

未定

16:1016:40     金光 三男 (中部大学)

環の零因子や単元に関連したグラフの彩色数


2月22日(火)

10:00 - 10:30     Jian-Qin Liu(NICT)

                    A note on dynamic operators for graph rewriting in topology

10:30 - 11:00    小林英恒、小野陽子(日本大学)

                    An automated reasoning system based on isabelle/HOL

11:0011:30     日比 孝之(大阪大学)東谷 章弘(大阪大学)

木村 杏子(静岡大学)Augustine B.OKeefe(Tulane University)

On the depth of edge rings

11:3012:00     渡辺 識、大川 知(会津大学)

Time Complexity of Square Pattern Generation on Two Dimensinal Cellular Automata

(休憩)

13:3014:20     [招待講演] 小林ゆう (東邦大学)

A short history of repetition-free words

14:2014:50     Peter Leupold(University of Kassel)

Compression via Unduplication

(休憩)

15:0015:50     [招待講演] Zoltan Esik (University of Szeged)

Equational theories and the behavior of finite automata

15:5016:20     守谷 哲夫 (国士舘大学)

Morphisms preserving some kinds of languages

 

懇親会

 

2月23日(水)

10:00 - 10:30    國持 良行(静岡理工科大学)

              An Extension of Automorshims of a Petri net

10:3011:00     Szilard Fazekas (京都産業大学)

Inequalities between subword histories

11:0011:30     Pál Dömösi (京都産業大学)

Some results on bounded context-free languages

11:3012:00     町田 元(国際基督教大学)

                     Centralizing monoids and minimal clones

(休憩)

13:3014:00     Marcin J. Schroeder Akita International University

Structural characteristics of closure spaces

14:0014:30     岩見宗弘、青戸等人 (島根大学)

無限項書換えシステムにおける性質に関する考察

14:3015:00     竹花 靖彦 (函館工業高等専門学校)

CQF−3’加群と遺伝的捩れ理論の双対の一般化

 (休憩)

15:1015:40     竹内 泉 (産業技術総合研究所)、足立智子 (東邦大学)

秘密分散法に於ける秘匿の確率論的証明

15:4016:10     藤井聖子、足立智子 (東邦大学)

ベクトル空間アクセス構造を用いた秘密分散法

16:1016:40     西尾 英之助 (元・京大理)

未定

 

 

 

「懇親会」 下記の通り開催いたしますのでご参加ください.

 

日時: 2011222() 18:30

場所:がんこ 二条高瀬苑

      604-0922 京都府京都市中京区木屋町通二条下ル東生洲町484-6

      075-223-3456

費用:5,000

 

参加のご回答:2/22()1200までに名簿の名前の横に○をつけてください

 

四角形吹き出し: がんこ 
二条高瀬苑

 

 


最終更新年月日 2011/2/20()