Higuchi Masahiro 樋口昌宏

… Alternative Names

HIGUCHI Masahiro 樋口昌宏

樋口昌宏ヒグチマサヒロ

Less

Researcher Number	00238289
Other IDs
Affiliation (Current)	2025: 近畿大学, 情報学部, 教授
Affiliation (based on the past Project Information) *help	2013 – 2015: 近畿大学, 理工学部, 教授 2010 – 2012: 近畿大学, 理工学部, 准教授 1995 – 1996: 大阪大学, 基礎工学部, 講師
Review Section/Research Field	Principal Investigator Software / Software / 情報通信工学 Except Principal Investigator 計算機科学
Keywords	Principal Investigator 時間制約 / モデル検査 / プロセス代数 / 仕様記述 / 時間的性質 / 物流監視 / 物流監視システム / タイムアウト処理 / 閉包性 / 弱双模倣等価 … More / タイムアウト / 仕様検証 / 非有界FIFO / 整数値レジスタ / 不変式 / 安全性 / 論理検証 / 通信プロトコル … More Except Principal Investigator 局所的コピー / 逐次化グラフ / スケジューリング / 並行制御 / 分散データベース Less

Extension of the Ambient Calculus and Freight Management Systems based on itPrincipal Investigator
- Principal Investigator
  
  HIGUCHI Masahiro
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kinki University
Timed Extension of the Ambient Calculus and its Application for Freight System SpecificationsPrincipal Investigator
- Principal Investigator
  
  HIGUCHI Masahiro
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kinki University
データベースシステムにおける分散型スケジューリング手法の開発
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
拡張有限状態モデルの通信プロトコルの検証における不変式の記述支援Principal Investigator
- Principal Investigator
  
  樋口昌宏
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University

All 2016 2015 2013 2012 2011 Other

All Journal Article Presentation

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

1. 藤井護 (00029464)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Higuchi Masahiro 樋口 昌宏

HIGUCHI Masahiro 樋口 昌宏

樋口 昌宏 ヒグチ マサヒロ

Research Projects

Research Products

Co-Researchers

Extension of the Ambient Calculus and Freight Management Systems based on itPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Timed Extension of the Ambient Calculus and its Application for Freight System SpecificationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

NAID

Data Source

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

Author(s)

Journal Title

NAID

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] 混合型時間アンビアント計算の記述性; Timed Mobile Ambientとの比較2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Higuchi Masahiro 樋口昌宏

HIGUCHI Masahiro 樋口昌宏

樋口昌宏ヒグチマサヒロ

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