Rchr
J-GLOBAL ID:200901052102284923   Update date: Sep. 30, 2020

Kato Toru

カトウ トオル | Kato Toru
Affiliation and department:
Job title: Lecturer
Homepage URL  (1): http://www.info.kindai.ac.jp/~kato/torukato.html
Research field  (2): Software ,  Information theory
Research keywords  (5): 形式モデル ,  物流システム ,  プロセス代数 ,  プログラミング言語意味論 ,  Semantics for Programming Languages
Research theme for competitive and other funds  (9):
  • 2019 - 2021 組合せ爆発を計算可能な小さなAI「fineOptimAI(ファインオプティマイ)」の事業化
  • 2018 - 2019 小さなAIで実現する食品スーパーの仕入れ最適化
  • 2015 - 2017 多重Ambient 計算RFID機器を用いた物流監視システム構築に関する研究
  • 2005 - プロセス代数を用いた物流システムのモデル化
  • 2005 - Freight Management Systems with the Ambient Calculus
Show all
Papers (8):
MISC (5):
Books (5):
  • オブジェクト指向Javaプログラミング入門
    近代科学社 2018
  • 数理論理学
    コロナ社 2014
  • Eclipse ではじめるオブジェクト指向Javaプログラミング入門
    近代科学社 2008
  • 例題で学ぶJavaの言語
    近代科学社 2003
  • UNIX(増補)-基礎から応用まで、さあ使ってみよう-
    コロナ社 2002
Lectures and oral presentations  (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)
Education (4):
  • - 1997 Okayama University
  • - 1997 Okayama University
  • - 1991 Okayama University
  • - 1991 Okayama University
Professional career (1):
  • (BLANK)
Association Membership(s) (3):
電子情報通信学会 ,  ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page