• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

加藤 暢  Kato Toru

ORCIDORCID連携する *注記
研究者番号 00330233
その他のID
所属 (現在) 2025年度: 近畿大学, 情報学部, 准教授
所属 (過去の研究課題情報に基づく) *注記 2015年度 – 2017年度: 近畿大学, 理工学部, 准教授
2011年度 – 2013年度: 近畿大学, 理工学部, 准教授
審査区分/研究分野
研究代表者
数理情報学 / 計算機システム・ネットワーク
キーワード
研究代表者
Ambient Calculus / RFID / モデル検査 / プロセス代数 / 物流システム / 自動監視 / モデル化 / 海上物流システム / サービス構築基盤技術
  • 研究課題

    (2件)
  • 研究成果

    (21件)
  •  多重Ambient 計算とRFID機器を用いた物流監視システム構築に関する研究研究代表者

    • 研究代表者
      加藤 暢
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      数理情報学
    • 研究機関
      近畿大学
  •  物流システムに対するプロセス代数を用いた配送監視システムの構築に関する研究研究代表者

    • 研究代表者
      加藤 暢
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      近畿大学

すべて 2018 2017 2016 2015 2014 2013 2012 2011 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] 物流記述のための混合型時間アンビアント計算2017

    • 著者名/発表者名
      藤坂吉秀, 稲森啓太, 樋口昌宏, 加藤暢
    • 雑誌名

      情報処理学会論文誌 (プログラミング)

      巻: 印刷中

    • NAID

      170000148797

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00040
  • [雑誌論文] 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム2013

    • 著者名/発表者名
      橋本 隆弘 , 加藤 暢 , 樋口 昌宏
    • 雑誌名

      情報処理学会論文誌プログラミング

      巻: 6 ページ: 1-12

    • NAID

      110009602855

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500104
  • [雑誌論文] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム2013

    • 著者名/発表者名
      橋本隆弘, 加藤 暢, 樋口昌宏
    • 雑誌名

      情報処理学会論文誌 : プログラミング

      巻: Vol. 6, No. 2 ページ: 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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500104
  • [雑誌論文] 物流システム記述のための多重 Ambient Calculus2012

    • 著者名/発表者名
      樋口昌宏, 加藤 暢
    • 雑誌名

      情報処理学会論文誌:プログラミング

      巻: Vol. 5, No. 2 ページ: 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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500104
  • [雑誌論文] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012

    • 著者名/発表者名
      樋口昌宏, 森田哲平, 加藤暢
    • 雑誌名

      情報処理学会論文誌 : プログラミング

      巻: Vol. 5, No. 3 ページ: 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

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] 多重Ambient Calculus を用いた動的な海上物流計画に対するモデル検査2018

    • 著者名/発表者名
      加藤暢, 高岡久裕, 樋口昌宏, 大山博史
    • 学会等名
      情報処理学会数理モデル化と問題解決研究会
    • データソース
      KAKENHI-PROJECT-15K00040
  • [学会発表] A Freight Management System with the Multiple Ambient Calculus2017

    • 著者名/発表者名
      Toru Kato
    • 学会等名
      2017 International Conference for Leading and Young Computer Scientists
    • 発表場所
      沖縄県宜野湾市 沖縄コンベンションセンター
    • 年月日
      2017-02-25
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00040
  • [学会発表] Integrated Development Environment for the Multiple Ambient Calculus for Modeling Freight Systems2016

    • 著者名/発表者名
      Toru Kato
    • 学会等名
      IEEE 12th Conference on Automation Science and Engineering
    • 発表場所
      米国テキサス州 ワーシントンルネッサンスホテル
    • 年月日
      2016-08-21
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00040
  • [学会発表] 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能2016

    • 著者名/発表者名
      宮井亜人夢, 加藤暢, 樋口昌宏, 大山博史
    • 学会等名
      情報処理学会プログラミング研究会
    • 発表場所
      東京大学
    • 年月日
      2016-02-27
    • データソース
      KAKENHI-PROJECT-15K00040
  • [学会発表] Experiment of a Freight Management System with the Multiple Ambient Calculus2015

    • 著者名/発表者名
      T. Kato, A. Miyai, M. Higuchi
    • 学会等名
      Second International Conference on Mathematics and Computers in Sciences and in Industry
    • 発表場所
      マルタ共和国スリーマ市 The Palaceホテル
    • 年月日
      2015-08-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00040
  • [学会発表] Ambient Calculus のための統合開発環境2014

    • 著者名/発表者名
      加藤暢
    • 学会等名
      情報処理学会プログラミング研究会第98回プログラミング研究発表会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] Ambient Calculus のための統合開発環境2014

    • 著者名/発表者名
      加藤 暢, 宮井亜人夢, 佐々木大和, 樋口昌宏
    • 学会等名
      情報処理学会プログラミング研究第98回研究発表会
    • 発表場所
      東京大学
    • 年月日
      2014-03-18
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] Integrated Development Environment for the Ambient Calculus2013

    • 著者名/発表者名
      加藤 暢
    • 学会等名
      14th International Conference on Automation & Information (ICAI '13)
    • 発表場所
      スペインババレンシア TRYP Oceanic ホテル
    • 年月日
      2013-08-08
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] 多重Ambient Calculus と UHF 帯 RFID 機器を用いた海上物流監視システム2013

    • 著者名/発表者名
      橋本隆弘, 加藤 暢, 樋口昌宏
    • 学会等名
      情報処理学会プログラミング研究第92回研究発表会
    • 発表場所
      鹿児島県奄美市 AiAi ひろば
    • 年月日
      2013-01-15
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] Integrated Development Environment for the Ambient Calculus2013

    • 著者名/発表者名
      Toru Kato
    • 学会等名
      14th WSEAS International Conference on Automation & Information
    • 発表場所
      スペインバレンシア州TRYP Oceanicホテル
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012

    • 著者名/発表者名
      樋口昌宏, 森田哲平, 加藤 暢
    • 学会等名
      情報処理学会プログラミング研究第87回研究発表会
    • 発表場所
      沖縄県久米島町イーフ情報プラザ
    • 年月日
      2012-01-24
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] A Handling Management System for Freight with the Ambient Calculus and UHF RFID tags(査読付き)2012

    • 著者名/発表者名
      加藤暢
    • 学会等名
      The 15th International Conference on Network-Based Information Systems
    • 発表場所
      La Trobe University(オーストラリア)
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] A Handling Management System for Freight with the Ambient Calculus and UHF RFID Tags2012

    • 著者名/発表者名
      加藤暢, 樋口昌宏
    • 学会等名
      The 15th International Conference on Network-Based Information Systems
    • 発表場所
      豪州メルボルンLa Trobe大学
    • 年月日
      2012-09-27
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] 多重Ambient Calculus を用いた物流監視システムの構築に関する研究2012

    • 著者名/発表者名
      橋本隆弘, 加藤 暢, 樋口昌宏
    • 学会等名
      情報処理学会第74回全国大会
    • 発表場所
      名古屋工業大学
    • 年月日
      2012-03-07
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] 物流システム記述のための多重 Ambient Calculus2011

    • 著者名/発表者名
      樋口昌宏, 加藤 暢
    • 学会等名
      情報処理学会プログラミング研究第86回研究発表会
    • 発表場所
      横浜市神奈川近代文学館
    • 年月日
      2011-11-02
    • データソース
      KAKENHI-PROJECT-23500104
  • [学会発表] 多重Ambient Calculusを用いた物流監視システムの構築に関する研究

    • 著者名/発表者名
      橋本隆弘,加藤 暢,樋口昌宏
    • 学会等名
      第74回情報処理学会全国大会
    • 発表場所
      名古屋工業大学(愛知県名古屋市)
    • データソース
      KAKENHI-PROJECT-23500104

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi