河原康雄教授

所属：	システム情報科学研究院情報理学部門基礎情報学講座
担当授業科目：	学府：情報基礎論特論・演習学部：情報代数学, 情報幾何学, 計算機科学 I, 情報科学の世界
所属学会等：	日本数学会，ソフトウェア科学会 EATCS
研究テーマ：	関係計算による情報基礎論カテゴリー論的情報意味論有限セルオートマトンの挙動解析

主要著書／論文

Relations in categories with pullbacks, Mem. Fac. Sci. Kyushu Univ. Ser. A 27(1) (1973)
Period lengths of cellular automata on square lattices with rule 90, Journal of Mathematical Physics 36(3) (1995)
Relational set theory, Lecture Notes in Computer Science, 953 (1995).
A completeness theorem for extended order dependencies on relational attribute models in Dedekind categories, Lecture Notes in Computer Science 2561 (2002).
Groups in allegories, Lecture Notes in Computer Science 2561 (2002).
Tree expressions and their product formula, Bull. Inform. Cybernet. 35 (2003).
On reversible cellular automata with finite cell array, Lecture Notes in Computer Science 3699 (2005).
Tarski's fixed point theorem in Dedekind categories, to appear in Bull. Inform. Cybernet.

連絡先

〒812-8581 福岡市東区箱崎6-10-1
九州大学大学院システム情報科学府情報理学専攻
電話 +81-92-642-2691
FAX +81-92-642-2698
e-mail: kawahara@i.kyushu-u.ac.jp
www: http://www.i.kyushu-u.ac.jp/~kawahara/

河原 康雄 教授

主要著書／論文

連絡先

河原康雄教授