Rchr
J-GLOBAL ID：200901052102284923   Update date: Mar. 07, 2024

Kato Toru

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

About Kindai University Faculty of Informatics


Job title： Associate Professor
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  (6)：
  • 2021 - 2022 Feasibility Study for Realization of Physical Internet Service for Modal Shift to Coastal Feeder Transport
  • 2019 - 2021 Commercialization of “FineOptimAI” a Fine AI for Solving Combinatorial Explosion Problems
  • 2018 - 2019 小さなAIで実現する食品スーパーの仕入れ最適化
  • 2015 - 2017 多重Ambient 計算RFID機器を用いた物流監視システム構築に関する研究
  • 2011 - 2013 A Handling Management System for Freight with Process Algebra
Show all
Papers (14)：
ｍore...
MISC (20)：
ｍore...
Books (5)：
  • オブジェクト指向Javaプログラミング入門
    近代科学社 2018
  • 数理論理学
    コロナ社 2014
  • Eclipse ではじめるオブジェクト指向Javaプログラミング入門
    近代科学社 2008
  • 例題で学ぶJavaの言語
    近代科学社 2003
  • UNIX(増補)-基礎から応用まで、さあ使ってみよう-
    コロナ社 2002
Lectures and oral presentations  (7)：
  • A Logistics Simulator with the Ambient Calculus for Modelling Intraregional Truck Transportation
    (the 49th Annual Conference of the IEEE Industrial Electronics Society 2023)
  • Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus
    (the 20th IEEE International Symposium on Parallel and Distributed Processing with Applications 2022)
  • 内航フィーダー輸送へのモーダルシフトを目的としたフィジカルインターネットサービス実現のためのフィージビリティスタディ
    (内航海運研究会 2022)
  • 内航フィーダー輸送へのモーダルシフトを目的としたフィジカルインターネットサー ビス実現
    (日本物流学会関西部会定例会議 2022)
  • The Implementation of Ambient Calculus with HORB for Mobile Agents
    (IIIS 2003)
ｍore...
Education (4)：
  • - 1997 Okayama University
  • - 1997 Okayama University Graduate School, Division of Science and Technology
  • - 1991 Okayama University Faculty of Engineering
  • - 1991 Okayama University Faculty of Engineering
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

TOP

BOTTOM