研究者
J-GLOBAL ID：201401008954779016   更新日: 2024年02月01日

樋口 昌宏

ヒグチ マサヒロ | 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 拡張有限状態モデルの通信プロトコルの検証における不変式の記述支援
論文 (22件)：
もっと見る
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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM