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

萩原 茂樹

ハギハラ シゲキ | Hagihara Shigeki
所属機関・部署：
公立千歳科学技術大学 理工学部 情報システム工学科

公立千歳科学技術大学 理工学部 情報システム工学科 について


職名： 准教授
研究分野 (3件)： 情報セキュリティ ,  情報学基礎論 ,  ソフトウェア
競争的資金等の研究課題 (2件)：
  • 2016 - 2022 形式手法による定量的制約を満たす組み込みシステムの自動合成
  • 2012 - 2015 形式手法による欠陥のある現実規模の組み込みシステム仕様からの修正情報抽出
MISC (2件)：
  • 冨田尭, 上野篤史, 萩原茂樹, 米崎直樹. 協調的リアクティブシステムの合成手法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2014. 31st
  • 冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2013. 30th
学位 (1件)：
  • 博士(工学) (東京工業大学)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM