樋口昌宏 Higuchi Masahiro

研究者番号	00238289
その他のID
所属 (現在)	2025年度: 近畿大学, 情報学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2013年度 – 2015年度: 近畿大学, 理工学部, 教授 2010年度 – 2012年度: 近畿大学, 理工学部, 准教授 1995年度 – 1996年度: 大阪大学, 基礎工学部, 講師
審査区分/研究分野	研究代表者ソフトウェア / ソフトウエア / 情報通信工学研究代表者以外計算機科学
キーワード	研究代表者時間制約 / モデル検査 / プロセス代数 / 仕様記述 / 時間的性質 / 物流監視 / 物流監視システム / タイムアウト処理 / 閉包性 / 弱双模倣等価 … もっと見る / タイムアウト / 仕様検証 / 非有界FIFO / 整数値レジスタ / 不変式 / 安全性 / 論理検証 / 通信プロトコル … もっと見る研究代表者以外局所的コピー / 逐次化グラフ / スケジューリング / 並行制御 / 分散データベース隠す

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築研究代表者
- 研究代表者
  
  樋口昌宏
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  近畿大学
時間概念を導入したAmbient Calculusによる物流システムの記述研究代表者
- 研究代表者
  
  樋口昌宏
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  近畿大学
データベースシステムにおける分散型スケジューリング手法の開発
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
拡張有限状態モデルの通信プロトコルの検証における不変式の記述支援研究代表者
- 研究代表者
  
  樋口昌宏
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  情報通信工学
- 研究機関
  大阪大学

すべて 2016 2015 2013 2012 2011 その他

すべて雑誌論文学会発表

[雑誌論文] 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム2013
- 著者名/発表者名
  橋本隆弘、加藤暢、樋口昌宏
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: 6 ページ: 1-12
- NAID
  110009602855
- 査読あり
- データソース
  KAKENHI-PROJECT-25330095
[雑誌論文] 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査2012
- 著者名/発表者名
  樋口昌宏、森田哲平、加藤暢
- 雑誌名
  
  情報処理学会論文誌　プログラミング
  
  巻: 5巻　3号ページ: 50-60
- NAID
  40019468726
- 査読あり
- データソース
  KAKENHI-PROJECT-22500040
[雑誌論文] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012
- 著者名/発表者名
  樋口昌宏、森田哲平、加藤暢
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: 5巻、3号ページ: 50-60
- NAID
  40019468726
- 査読あり
- データソース
  KAKENHI-PROJECT-22500040
[雑誌論文] 物流システム記述のための多重Ambient Calculus2012
- 著者名/発表者名
  樋口昌宏、加藤暢
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: 5巻2号ページ: 79-87
- NAID
  40019257089
- 査読あり
- データソース
  KAKENHI-PROJECT-22500040
[雑誌論文] 物流システム記述のための多重Ambient Calculus2012
- 著者名/発表者名
  樋口昌宏、加藤暢
- 雑誌名
  
  情報処理学会論文誌プログラミング
  
  巻: 5巻、2号ページ: 79-87
- NAID
  40019257089
- 査読あり
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 多重Ambient Calculus を用いた海上物流監視システムのための動的経路設定機能2016
- 著者名/発表者名
  宮井亜人夢、加藤暢、樋口昌宏
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  東京都目黒区
- 年月日
  2016-02-28
- データソース
  KAKENHI-PROJECT-25330095
[学会発表] Experiment of a Freight Management System with the Multiple Ambient Calculus2015
- 著者名/発表者名
  Toru Kato, Atom Miyai, Masahiro Higuchi
- 学会等名
  2nd Int'l Conf. on Mathematics and Computers in Sciences and in Industry
- 発表場所
  マルタ共和国　スリーマ
- 年月日
  2015-08-17
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25330095
[学会発表] 混合型時間アンビアント計算の記述性; Timed Mobile Ambientとの比較2015
- 著者名/発表者名
  藤坂吉秀、樋口昌宏
- 学会等名
  第14回情報科学技術フォーラム
- 発表場所
  愛媛県松山市
- 年月日
  2015-09-15
- データソース
  KAKENHI-PROJECT-25330095
[学会発表] 混合型時間アンビアント計算のCTLモデル検査2015
- 著者名/発表者名
  樋口昌宏、稲森啓太
- 学会等名
  第14回情報科学技術フォーラム
- 発表場所
  愛媛県松山市
- 年月日
  2015-09-15
- データソース
  KAKENHI-PROJECT-25330095
[学会発表] 多重Ambient Calculus とUHF 帯RFID 機器を用いた海上物流監視システム2013
- 著者名/発表者名
  橋本隆弘、加藤暢、樋口昌宏
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  奄美市
- 年月日
  2013-01-15
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 時間付きAmbient Calculus2013
- 著者名/発表者名
  樋口昌宏
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  奄美市
- 年月日
  2013-01-15
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] A Handling Management System for Freight with the Ambient Calculus and UHF tags2012
- 著者名/発表者名
  Toru Kato and Masahiro Higuchi
- 学会等名
  15th International Conference on Network-Based Information Systems
- 発表場所
  Melbourne, Australia
- 年月日
  2012-09-26
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 多重Ambient Calculusによる物流記述に対する弱双模倣等価性を用いたモデル検査2012
- 著者名/発表者名
  樋口昌宏、森田哲平、加藤暢
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  イーフ情報プラザ(沖縄県)
- 年月日
  2012-01-24
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 多重Ambient Calculus を用いた物流管理システムの構築に関する研究2012
- 著者名/発表者名
  橋本隆弘、加藤暢、樋口昌宏
- 学会等名
  情報処理学会第74回全国大会
- 発表場所
  名古屋市
- 年月日
  2012-03-07
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 多重Ambient Calculus による物流記述に対する弱双模倣等価性を用いたモデル検査2012
- 著者名/発表者名
  樋口昌宏、森田哲平、加藤暢
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  久米島町
- 年月日
  2012-01-24
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 物流システム記述のための多重Ambient Calculus2011
- 著者名/発表者名
  樋口昌宏、加藤暢
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  横浜市
- 年月日
  2011-11-02
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 物流システム記述のための多重Ambient Calculus2011
- 著者名/発表者名
  樋口昌宏、加藤暢
- 学会等名
  情報処理学会プログラミング研究会
- 発表場所
  神奈川近代文学館(神奈川県)
- 年月日
  2011-11-02
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] Ambient Calculusの時間拡張とそれに基づく物流監視システム2011
- 著者名/発表者名
  村山静香、樋口昌宏
- 学会等名
  情報処理学会第73回全国大会
- 発表場所
  東京工業大学
- 年月日
  2011-03-03
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] Ambient Loglcモデル検査におけるプロセス式のグループ化による検証の効率化2011
- 著者名/発表者名
  森田哲平、加藤暢、樋口昌宏
- 学会等名
  情報処理学会第73回全国大会
- 発表場所
  東京工業大学
- 年月日
  2011-03-03
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] Ambient Calculusの時間拡張とそれに基づく物流監視システム2011
- 著者名/発表者名
  村山静香、樋口昌宏
- 学会等名
  情報処理学会第73回全国大会
- 発表場所
  東京都目黒区
- 年月日
  2011-03-03
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] AmbientLogic モデル検査におけるプロセス式のグループ化による検証の効率化2011
- 著者名/発表者名
  森田哲平、加藤暢、樋口昌宏
- 学会等名
  情報処理学会第73回全国大会
- 発表場所
  東京都目黒区
- 年月日
  2011-03-03
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 時間付きAmbient Calculus
- 著者名/発表者名
  樋口昌宏
- 学会等名
  情報処理学会　プログラミング研究会
- 発表場所
  AiAiひろば（鹿児島県）
- データソース
  KAKENHI-PROJECT-22500040
[学会発表] 多重Ambient Calculusを用いた物流監視システムの実証実験
- 著者名/発表者名
  宮井亜人夢、加藤暢、樋口昌宏
- 学会等名
  電子情報通信学会2015年総合大会
- 発表場所
  立命館大学 (草津市)
- 年月日
  2015-03-10 – 2015-03-13
- データソース
  KAKENHI-PROJECT-25330095
[学会発表] 時間アンビアント計算による物流システムの記述について
- 著者名/発表者名
  中越大輝、樋口昌宏
- 学会等名
  電子情報通信学会2015年総合大会
- 発表場所
  立命館大学 (草津市)
- 年月日
  2015-03-10 – 2015-03-13
- データソース
  KAKENHI-PROJECT-25330095

1. 藤井護 (00029464)

共同の研究課題数: 1件

共同の研究成果数: 0件

樋口 昌宏 Higuchi Masahiro

研究課題

研究成果

共同研究者

Ａｍｂｉｅｎｔ Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

時間概念を導入したAmbient Calculusによる物流システムの記述研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

データベースシステムにおける分散型スケジューリング手法の開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

拡張有限状態モデルの通信プロトコルの検証における不変式の記述支援研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 物流システム記述のための多重Ambient Calculus2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 物流システム記述のための多重Ambient Calculus2012

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Experiment of a Freight Management System with the Multiple Ambient Calculus2015

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 混合型時間アンビアント計算の記述性; Timed Mobile Ambientとの比較2015

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 混合型時間アンビアント計算のCTLモデル検査2015

著者名/発表者名

学会等名

発表場所

年月日

データソース

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

著者名/発表者名

学会等名

樋口昌宏 Higuchi Masahiro

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築研究代表者

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