このページの本文へ移動します。

教員情報詳細

2018年5月18日 現在

氏名 加藤 暢 (カトウ トオル)
所属 理工学部 情報学科
職名 准教授
学位 博士(工学)
専門 プロセス代数と、論理型言語の意味論
コメント プロセス代数とは、現実世界の対象を代数式でモデル化しその動作を代数の計算過程として表現する枠組みです。現在その中で最も新しいAmbient Calculus について研究しています。
researchmap http://researchmap.jp/read0193189 
ジャンル 科学・技術 / 数学

検索キーワード:プロセス代数

取材に関するお問い合わせ先

学校法人近畿大学 総務部広報室
TEL (06)4307-3007 FAX (06)6727-5288
E-mail:koho@kindai.ac.jp
※在学生の方へ 教員の個人メールアドレスではありません。
授業についてのお問い合わせは学部事務を通じてお願いします。

  • 取材申込フォーム

©Kindai University All Rights Reserved.このウェブサイトの内容の無断転載・複製を禁じます。