Kato Toru

カトウトオル | Kato Toru

Affiliation and department：
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 (29)：

T. Kato, Y. Hirashima. The Synchronized Ambient Calculus. Theoretical Computer Science. 2024. 994. 114479
Kato Toru, Sakakibara Yuma, Higuchi Masahiro. A Logistics Simulator with the Ambient Calculus for Modeling Intra-regional Truck Transportation. 49th Annual Conference of the IEEE Industrial Electronics Society. 2023
Kato Toru, Higuchi Masahiro, Ohyama Hiroshi, Kawamura Yosiaki, Ohno Ryotaro. Container Shipping Route Recommendation System by Modeling Logistics System with the Ambient Calculus. Proc of 20th IEEE International Symposium on Parallel and Distributed Processing with Applications. 2022. 755-763
Toru Kato, Ryota Yamada, Hayato Toriyama, Ryousuke Okura, Masahiro Higuchi. The Integrated Development Environment for the Multiple Ambient Calculus. 2020
Toru Kato, Hisahiro Takaoka, Masahiro Higuchi, Hiroshi Ohyama. Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus. 2018. 11. 3. 84-99

ｍore...

MISC (13)：

CTL Model Checking for Hybrid Timed Ambient Calculus. 2017. 10. 5. 2-2
The Dynamic Routing Function for the Freight Management System with the Multiple Ambient Calculus. 2016. 9. 4. 29-29
Miyai Atom, Kato Toru, Higuchi Masahiro. D-3-7 Experiment on the Freight Management System with the Multiple Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 28-28
IDE for the Ambient Calculus. 2014. 7. 4. 40-40
橋本隆弘, 加藤暢, 樋口昌宏. 多重Ambient Calculusを用いた物流監視システムの構築に関する研究. 全国大会講演論文集. 2012. 2012. 1. 473-475

ｍore...

Books (5)：

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)
A Freight Management System with the Ambient Calculus
(PROCEEDINGS OF THE 8TH WSEAS INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS AND INFORMATICS 2009)

ｍore...

Education (3)：

1993 - 1997 Okayama University
1991 - 1993 Okayama University Graduate School, Division of Science and Technology
1987 - 1991 Okayama University Faculty of Engineering

Professional career (1)：

Association Membership(s) (6)：

システム制御情報学会 , 日本物流学会 , IEEE , 電子情報通信学会 , ソフトウェア科学会 , 情報処理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page