Rchr
J-GLOBAL ID：200901091243025668   Update date: Aug. 30, 2022

Kawahara Yasuo

カワハラ ヤスオ | Kawahara Yasuo
Affiliation and department：
Former Institution / Organization Kyushu University Faculty of Information Science Electrical Engineering Department of Informatics

About Former Institution / Organization Kyushu University Faculty of Information Science Electrical Engineering Department of Informatics


Job title： Professor
Homepage URL  (1)： http://www.i.kyushu-u.ac.jp
Research field  (3)： Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (8)： 関係代数 ,  プログラム検証 ,  情報意味論 ,  圏論 ,  理論計算機科学 ,  Relation Algebra ,  Category Theory ,  Theoretical Computer Science
Research theme for competitive and other funds  (6)：
  • グラフ変換システムとその設計
  • 有限セル構造オートマトンの計算機実験による挙動解析
  • 関係集合論とその情報意味論,通信分散システム,知識機構への応用
  • Graph Transformation Systems and their Design
  • Dynamical Analysis of Finite Cellular Automata by Computer Experiment
Show all
MISC (45)：
ｍore...
Books (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
ｍore...
Education (4)：
  • - 1973 Kyushu University
  • - 1973 Kyushu University Graduate School, Division of Natural Science
  • - 1968 Kyushu University School of Sciences
  • - 1968 Kyushu University Faculty of Science
Professional career (2)：
  • Doctor of Science
  • Master of Science
Work history (12)：
  • 1991 - 現在 Kyushu University
  • 1982 - 1991 Kyushu University
  • 1982 - 1991 Associate Professor, Kyushu University
  • 1991 - - Professor, Kyushu University
  • 1977 - 1982 Kyushu Institute of Technology
Show all
Association Membership(s) (4)：
統計科学研究会 ,  EACTS ,  ソフトウェア科学会 ,  数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM