Kindai University · Faculty of Informatics · 准教授

Research keywords形式モデル・プロセス代数・プログラミング言語意味論・Semantics for Programming Languages・物流システム

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• The Synchronized Ambient Calculus
• An Equational Relation for Ambient Calculus
• A handling management system for freight with the ambient calculus
• The Implementation of Ambient Calculus with HORB for Mobile Agents

• 小さなAIで実現する食品スーパーの仕入れ最適化
• 多重Ambient 計算RFID機器を用いた物流監視システム構築に関する研究
• 並行プログラミング言語に関する基礎的研究
• 組合せ爆発を計算可能な小さなAI「fineOptimAI(ファインオプティマイ)」の事業化

• Official profile