
	構造検索構造検索の利用方法	構造ファイル取込 MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）完全一致検索部分構造検索 (substructure) 部分構造検索 (superstructure) 部分構造検索 (sub, super) 類似構造検索

研究者

J-GLOBAL ID：201401008954779016 更新日: 2024年09月14日

樋口昌宏

ヒグチマサヒロ | Higuchi Masahiro

所属機関・部署：
職名：教授
ホームページURL (1件)： http://kaken.nii.ac.jp/d/r/00238289.ja.html

研究分野 (1件)：ソフトウェア

研究キーワード (18件)：不変式 , 時間制約 , 整数値レジスタ , タイムアウト処理 , 非有界FIFO , 弱双模倣等価 , プロセス代数 , 安全性 , 閉包性 , 物流監視システム , 通信プロトコル , 論理検証 , モデル検査 , スケジューリング , 局所的コピー , 並行制御 , 逐次化グラフ , 分散データベース

競争的資金等の研究課題 (4件)：

2013 - 2015 Ambient Calculsの拡張とそれに基づく物流監視システムの構築
2010 - 2012 時間概念を導入したAmbient Calculusによる物流システムの記述
1996 - 1996 データベースシステムにおける分散型スケジューリング手法の開発
1995 - 1995 拡張有限状態モデルの通信プロトコルの検証における不変式の記述支援

論文 (23件)：

加藤暢, 山田瞭太, 鳥山颯斗, 大倉亮介, 樋口昌宏. 多重Ambient Calculusのための統合開発環境. 情報処理学会論文誌数理モデル化と応用. 2021. 14. 1. 21-32
加藤暢, 高岡久裕, 樋口昌宏, 大山博史. 多重 Ambient Calculus を用いた動的な海上物流計画に対するモデル検査. 情報処理学会論文誌数理モデル化と応用. 2018. 11. 3. 84-99
藤坂吉秀, 稲森啓太, 樋口昌宏, 加藤暢. 物流記述のための混合型時間アンビアント計算. 情報処理学会論文誌プログラミング. 2017. 10. 4. 12-27
Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama. Integrated development environment for the multiple ambient calculus for modeling freight systems. IEEE International Conference on Automation Science and Engineering. 2016. 2016-. 367-372
Toru Kato, Atom Miyai, Masahiro Higuchi. Experiment of a Freight Management System with the Multiple Ambient Calculus. 2015 Second International Conference on Mathematics and Computers in Sciences and in Industry (MCSI). 2015. 191-198

MISC (81件)：

稲森啓太, 樋口昌宏, 加藤暢. 混合型時間アンビアント計算のCTLモデル検査. 情報処理学会論文誌プログラミング(PRO). 2017. 10. 5. 2-2
宮井亜人夢, 加藤暢, 樋口昌宏, 大山博史. 多重Ambient Calculusを用いた海上物流監視システムのための動的経路設定機能. 情報処理学会論文誌プログラミング(PRO). 2016. 9. 4. 29-29
藤坂吉秀, 樋口昌宏. A-005 混合型時間アンビアント計算の記述性 : Timed Mobile Ambientとの比較(A分野:モデル・アルゴリズム・プログラミング,一般論文). 情報科学技術フォーラム講演論文集. 2015. 14. 1. 105-106
宮井亜人夢, 加藤暢, 樋口昌宏. D-3-7 多重Ambient Calculusを用いた物流監視システムの実証実験(D-3.ソフトウェアサイエンス,一般セッション). 電子情報通信学会総合大会講演論文集. 2015. 2015. 1. 28-28
中越大輝, 樋口昌宏. D-3-6 時間アンビアント計算による物流システムの記述について(D-3.ソフトウェアサイエンス,一般セッション). 電子情報通信学会総合大会講演論文集. 2015. 2015. 1. 27-27

書籍 (2件)：

Eclipse ではじめるオブジェクト指向Javaプログラミング入門
近代科学社 2008
UNIX(増補) -基礎から簡単な応用まで、さあ使ってみよう-
コロナ社 2002

講演・口頭発表等 (11件)：

時間付きAmbient Calculus
(情報処理学会プログラミング研究会 2013)
DAOパターンを用いるWebアプリケーションのための単体テストケース補完ツール
(情報処理学会第74回全国大会 2012)
集団行動支援のための位置情報頒布方式における適正なパラメータ値の算出
(情報処理学会第74回全国大会 2012)
モバイルアドホックネットワークを用いた集団行動補助のための位置情報頒布パラメータ設定
(平成23年電気関係学会関西連合大会 2011)
Ambient Calculusの時間拡張とそれに基づく物流監視システム
(情報処理学会第73回全国大会 2011)

学位 (1件)：

博士(工学) (大阪大学)

経歴 (2件)：

2013/04 - 現在近畿大学理工学部教授
2000/04 - 2013/03 近畿大学理工学部助教授、准教授

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る


	フリーワード	※以下の同義語を加えると、ヒット件数を増やすことができます。




		～

樋口 昌宏

樋口昌宏