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

研究者

J-GLOBAL ID：201901008311210382 更新日: 2025年04月03日

萩原茂樹

ハギハラシゲキ | Hagihara Shigeki

所属機関・部署：
職名：教授

研究分野 (3件)：情報セキュリティ , 情報学基礎論 , ソフトウェア

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

論文 (1件)：

Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki. Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. Proceedings of the 8th International Conference on Software and Computer Applications(ICSCA). 2019. 347-352

MISC (2件)：

冨田尭, 上野篤史, 萩原茂樹, 米崎直樹. 協調的リアクティブシステムの合成手法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2014. 31st
冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法. 日本ソフトウェア科学会大会講演論文集(CD-ROM). 2013. 30th

学位 (1件)：

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


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




		～

萩原 茂樹