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 (9)：

ｍore...

MISC (20)：

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 (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)：

Professional career (1)：

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