教員情報詳細
2024年10月1日 現在
- 加藤 暢 （カトウ トオル）
- 准教授
| 所属 | 情報学部 情報学科 |
|---|---|
| 学位 | 博士（工学） |
| 専門 | プロセス代数と、論理型言語の意味論 |
| コメント | プロセス代数とは、現実世界の対象を代数式でモデル化しその動作を代数の計算過程として表現する枠組みです。現在その中で最も新しいAmbient Calculus について研究しています。 |
| リサーチマップ | https://researchmap.jp/read0193189 |
| ジャンル | 科学・技術 / 情報技術 |
|---|
検索キーワード：プロセス代数
取材に関するお問い合わせ先
学校法人近畿大学 広報室
TEL：(06)4307-3007 FAX：(06)6727-5288
E-mail： koho@kindai.ac.jp
※在学生の方へ、教員の個人メールアドレスではありません。授業についてのお問い合わせは、各学部学生センターを通じてお願いします。