研究者
J-GLOBAL ID：200901091243025668   更新日: 2022年08月30日

河原 康雄

カワハラ ヤスオ | Kawahara Yasuo
所属機関・部署：
旧所属 九州大学 大学院システム情報科学研究院 情報理学部門

旧所属 九州大学 大学院システム情報科学研究院 情報理学部門 について


職名： 教授,教授
ホームページURL (1件)： http://www.i.kyushu-u.ac.jp
研究分野 (3件)： 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (8件)： 関係代数 ,  プログラム検証 ,  情報意味論 ,  圏論 ,  理論計算機科学 ,  Relation Algebra ,  Category Theory ,  Theoretical Computer Science
競争的資金等の研究課題 (6件)：
  • グラフ変換システムとその設計
  • 有限セル構造オートマトンの計算機実験による挙動解析
  • 関係集合論とその情報意味論,通信分散システム,知識機構への応用
  • Graph Transformation Systems and their Design
  • Dynamical Analysis of Finite Cellular Automata by Computer Experiment
全件表示
MISC (45件)：
もっと見る
書籍 (7件)：
  • デデキント圏における束論
    2001
  • Lattices in Dedekind categories.
    Relational Methods for Computer Science Applications, Physica-Verlag 2001
  • コンピュータ基礎理論ハンドブックII,形式的モデルと意味論,第3章 形式言語とべき級数(分担翻訳)
    丸善株式会社 1994
  • Handbook of Theoretical Computer Science, II, Formal Models and Semantics, Ch3, Formal Languages and Power Series
    Maruzen Co. 1994
  • 関係計算と圏論的公理的意味論(共著)
    1993
もっと見る
学歴 (4件)：
  • - 1973 九州大学 理学研究科 数学
  • - 1973 九州大学
  • - 1968 九州大学 理学部 数学
  • - 1968 九州大学
学位 (2件)：
  • 理学博士 (九州大学)
  • 理学修士 (九州大学)
経歴 (12件)：
  • 1991 - 現在 九州大学 教授
  • 1982 - 1991 九州大学 助教授
  • 1982 - 1991 Associate Professor, Kyushu University
  • 1991 - - Professor, Kyushu University
  • 1977 - 1982 九州工業大学 助教授
全件表示
所属学会 (4件)：
統計科学研究会 ,  EACTS ,  ソフトウェア科学会 ,  数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM