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

Kato Toru

カトウ トオル | Kato Toru
Affiliation and department：
Kindai University Faculty of Science and Engineering, Department of Informatics

About Kindai University Faculty of Science and Engineering, Department of Informatics


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)：
ｍore...
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

Copyright (c) 2009 Japan Science and Technology Agency. All Rights Reserved

TOP