Kato Toru 加藤暢

… Alternative Names

KATO Toru 加藤暢

Less

Researcher Number	00330233
Other IDs
Affiliation (Current)	2025: 近畿大学, 情報学部, 准教授
Affiliation (based on the past Project Information) *help	2015 – 2017: 近畿大学, 理工学部, 准教授 2011 – 2013: 近畿大学, 理工学部, 准教授
Review Section/Research Field	Principal Investigator Mathematical informatics / Computer system/Network
Keywords	Principal Investigator Ambient Calculus / RFID / モデル検査 / プロセス代数 / 物流システム / 自動監視 / モデル化 / 海上物流システム / サービス構築基盤技術

Research Projects
(2 results)
Research Products
(21 results)

A Handling Management System for Freight with Multiple Ambient Calculus and RFID DevicesPrincipal Investigator
- Principal Investigator
  
  KATO Toru
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Mathematical informatics
- Research Institution
  Kindai University
A Handling Management System for Freight with Process AlgebraPrincipal Investigator
- Principal Investigator
  
  KATO Toru
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  Kinki University

All 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation

[Journal Article] 物流記述のための混合型時間アンビアント計算2017
- Author(s)
  藤坂吉秀, 稲森啓太, 樋口昌宏, 加藤暢
- Journal Title
  
  情報処理学会論文誌 (プログラミング)
  
  Volume: 印刷中
- NAID
  170000148797
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00040
[Journal Article] 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム2013
- Author(s)
  橋本隆弘 , 加藤暢 , 樋口昌宏
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: 6 Pages: 1-12
- NAID
  110009602855
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500104
[Journal Article] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム2013
- Author(s)
  橋本隆弘, 加藤暢, 樋口昌宏
- Journal Title
  
  情報処理学会論文誌 : プログラミング
  
  Volume: Vol. 6, No. 2 Pages: 1-12
- NAID
  110009602855
- URL
  https://ipsj.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=94937&item_no=1&page_id=13&block_id=8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500104
[Journal Article] 物流システム記述のための多重 Ambient Calculus2012
- Author(s)
  樋口昌宏, 加藤暢
- Journal Title
  
  情報処理学会論文誌:プログラミング
  
  Volume: Vol. 5, No. 2 Pages: 79-87
- NAID
  40019257089
- URL
  https://ipsj.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=81617&item_no=1&page_id=13&block_id=8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500104
[Journal Article] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012
- Author(s)
  樋口昌宏, 森田哲平, 加藤暢
- Journal Title
  
  情報処理学会論文誌 : プログラミング
  
  Volume: Vol. 5, No. 3 Pages: 50-60
- NAID
  40019468726
- URL
  https://ipsj.ixsq.nii.ac.jp/ej/index.php?active_action=repository_view_main_item_detail&item_id=83514&item_no=1&page_id=13&block_id=8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] 多重Ambient Calculus を用いた動的な海上物流計画に対するモデル検査2018
- Author(s)
  加藤暢, 高岡久裕, 樋口昌宏, 大山博史
- Organizer
  情報処理学会数理モデル化と問題解決研究会
- Data Source
  KAKENHI-PROJECT-15K00040
[Presentation] A Freight Management System with the Multiple Ambient Calculus2017
- Author(s)
  Toru Kato
- Organizer
  2017 International Conference for Leading and Young Computer Scientists
- Place of Presentation
  沖縄県宜野湾市沖縄コンベンションセンター
- Year and Date
  2017-02-25
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00040
[Presentation] Integrated Development Environment for the Multiple Ambient Calculus for Modeling Freight Systems2016
- Author(s)
  Toru Kato
- Organizer
  IEEE 12th Conference on Automation Science and Engineering
- Place of Presentation
  米国テキサス州ワーシントンルネッサンスホテル
- Year and Date
  2016-08-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00040
[Presentation] 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能2016
- Author(s)
  宮井亜人夢, 加藤暢, 樋口昌宏, 大山博史
- Organizer
  情報処理学会プログラミング研究会
- Place of Presentation
  東京大学
- Year and Date
  2016-02-27
- Data Source
  KAKENHI-PROJECT-15K00040
[Presentation] Experiment of a Freight Management System with the Multiple Ambient Calculus2015
- Author(s)
  T. Kato, A. Miyai, M. Higuchi
- Organizer
  Second International Conference on Mathematics and Computers in Sciences and in Industry
- Place of Presentation
  マルタ共和国スリーマ市 The Palaceホテル
- Year and Date
  2015-08-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00040
[Presentation] Ambient Calculus のための統合開発環境2014
- Author(s)
  加藤暢
- Organizer
  情報処理学会プログラミング研究会第98回プログラミング研究発表会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] Ambient Calculus のための統合開発環境2014
- Author(s)
  加藤暢, 宮井亜人夢, 佐々木大和, 樋口昌宏
- Organizer
  情報処理学会プログラミング研究第98回研究発表会
- Place of Presentation
  東京大学
- Year and Date
  2014-03-18
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] Integrated Development Environment for the Ambient Calculus2013
- Author(s)
  加藤暢
- Organizer
  14th International Conference on Automation & Information (ICAI '13)
- Place of Presentation
  スペインババレンシア TRYP Oceanic ホテル
- Year and Date
  2013-08-08
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム2013
- Author(s)
  橋本隆弘, 加藤暢, 樋口昌宏
- Organizer
  情報処理学会プログラミング研究第92回研究発表会
- Place of Presentation
  鹿児島県奄美市 AiAi ひろば
- Year and Date
  2013-01-15
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] Integrated Development Environment for the Ambient Calculus2013
- Author(s)
  Toru Kato
- Organizer
  14th WSEAS International Conference on Automation & Information
- Place of Presentation
  スペインバレンシア州TRYP Oceanicホテル
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012
- Author(s)
  樋口昌宏, 森田哲平, 加藤暢
- Organizer
  情報処理学会プログラミング研究第87回研究発表会
- Place of Presentation
  沖縄県久米島町イーフ情報プラザ
- Year and Date
  2012-01-24
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] A Handling Management System for Freight with the Ambient Calculus and UHF RFID tags(査読付き)2012
- Author(s)
  加藤暢
- Organizer
  The 15th International Conference on Network-Based Information Systems
- Place of Presentation
  La Trobe University（オーストラリア)
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags2012
- Author(s)
  加藤暢, 樋口昌宏
- Organizer
  The 15th International Conference on Network-Based Information Systems
- Place of Presentation
  豪州メルボルンLa Trobe大学
- Year and Date
  2012-09-27
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] 多重Ambient Calculus を用いた物流監視システムの構築に関する研究2012
- Author(s)
  橋本隆弘, 加藤暢, 樋口昌宏
- Organizer
  情報処理学会第74回全国大会
- Place of Presentation
  名古屋工業大学
- Year and Date
  2012-03-07
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] 物流システム記述のための多重 Ambient Calculus2011
- Author(s)
  樋口昌宏, 加藤暢
- Organizer
  情報処理学会プログラミング研究第86回研究発表会
- Place of Presentation
  横浜市神奈川近代文学館
- Year and Date
  2011-11-02
- Data Source
  KAKENHI-PROJECT-23500104
[Presentation] 多重Ambient Calculusを用いた物流監視システムの構築に関する研究
- Author(s)
  橋本隆弘，加藤　暢，樋口昌宏
- Organizer
  第74回情報処理学会全国大会
- Place of Presentation
  名古屋工業大学(愛知県名古屋市)
- Data Source
  KAKENHI-PROJECT-23500104

Kato Toru 加藤 暢

KATO Toru 加藤 暢

Research Projects

Research Products

A Handling Management System for Freight with Multiple Ambient Calculus and RFID DevicesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Handling Management System for Freight with Process AlgebraPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 物流記述のための混合型時間アンビアント計算2017

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム2013

Author(s)

Journal Title

NAID

URL

Data Source

[Journal Article] 物流システム記述のための多重 Ambient Calculus2012

Author(s)

Journal Title

NAID

URL

Data Source

[Journal Article] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012

Author(s)

Journal Title

NAID

URL

Data Source

[Presentation] 多重Ambient Calculus を用いた動的な海上物流計画に対するモデル検査2018

Author(s)

Organizer

Data Source

[Presentation] A Freight Management System with the Multiple Ambient Calculus2017

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Integrated Development Environment for the Multiple Ambient Calculus for Modeling Freight Systems2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Experiment of a Freight Management System with the Multiple Ambient Calculus2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Ambient Calculus のための統合開発環境2014

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Ambient Calculus のための統合開発環境2014

Author(s)

Organizer

Kato Toru 加藤暢

KATO Toru 加藤暢