研究キーワード (5件):
形式モデル
, 物流システム
, プロセス代数
, プログラミング言語意味論
, Semantics for Programming Languages
競争的資金等の研究課題 (6件):
2021 - 2022 Feasibility Study for Realization of Physical Internet Service for Modal Shift to Coastal Feeder Transport 内航フィーダー輸送へのモーダルシフトを目的としたフィジカルイ ンターネットサービス実現のためのフィージビリティスタディ
Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama. Integrated development environment for the multiple ambient calculus for modeling freight systems. IEEE International Conference on Automation Science and Engineering. 2016. 2016-. 367-372
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)