研究者
J-GLOBAL ID:200901052102284923   更新日: 2018年08月29日

加藤 暢

カトウ トオル | Kato Toru
所属機関・部署:
職名: 准教授
ホームページURL (1件): http://www.info.kindai.ac.jp/~kato/torukato.html
研究分野 (2件): ソフトウェア ,  情報学基礎論
研究キーワード (4件): 形式モデル ,  物流システム ,  プロセス代数 ,  プログラミング言語意味論
競争的資金等の研究課題 (4件):
  • 2015 - 2017 多重Ambient 計算RFID機器を用いた物流監視システム構築に関する研究
  • 2005 - プロセス代数を用いた物流システムのモデル化
  • 分散環境上の並行モバイル計算に対する基礎的研究
  • 並行プログラミング言語に関する基礎的研究
論文 (6件):
MISC (2件):
書籍 (5件):
  • オブジェクト指向Javaプログラミング入門
    近代科学社 2018
  • 数理論理学
    コロナ社 2014
  • Eclipse ではじめるオブジェクト指向Javaプログラミング入門
    近代科学社 2008
  • 例題で学ぶJavaの言語
    近代科学社 2003
  • UNIX(増補)-基礎から応用まで、さあ使ってみよう-
    コロナ社 2002
講演・口頭発表等 (3件):
  • The Implementation of Ambient Calculus with HORB for Mobile Agents
    (IIIS 2003)
  • An Equivalence Relation for Typed Ambient Calculus
    (IIIS 2002)
  • Formal Models of Mobile Concurrent Computations in Distributed Environments
    (SSGRR 2000)
学歴 (2件):
  • - 1997 岡山大学 自然科学研究科 知能開発科学
  • - 1991 岡山大学 工学部 情報工学科
学位 (1件):
  • 博士(工学) (岡山大学)
所属学会 (3件):
電子情報通信学会 ,  ソフトウェア科学会 ,  情報処理学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る