岡本圭史

J-GLOBALへ         更新日: 18/07/18 13:26
 
アバター
研究者氏名
岡本圭史
URL
http://kaken.nii.ac.jp/ja/r/00308214
所属
仙台高等専門学校
部署
総合工学科
職名
准教授
学位
博士(理学)(早稲田大学)
科研費研究者番号
00308214

プロフィール

 

研究分野

 
 

経歴

 
2012年
   
 
仙台高等専門学校 准教授
 
2011年4月
   
 
仙台高等専門学校 准教授
 
2004年4月
 - 
2011年3月
独立行政法人産業技術総合研究所 招聘研究員他
 
2003年4月
 - 
2003年9月
横浜国立大学 非常勤講師
 
2002年4月
 - 
2003年3月
湘北短期大学 非常勤講師
 
2002年4月
 - 
2005年3月
早稲田大学 非常勤講師
 
2000年4月
 - 
2004年3月
東京女子大学 非常勤講師
 
1998年4月
 - 
2001年3月
早稲田大学 助手
 

受賞

 
2014年11月
石田實記念財団 石田實記念財団研究奨励賞
 

論文

 
Hiroyuki Kido,Keishi Okamoto
Knowledge Science, Engineering and Management - 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings   160-173   2017年   [査読有り]
Takashi Kitamura,Keishi Okamoto
IEICE Transactions   E96-D(12) 2555-2564   2013年12月   [査読有り]
Hiroyuki Kido,Keishi Okamoto
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017   249-255   2017年   [査読有り]
Takashi Kitamura,Keishi Okamoto
ICNC 2012   240-246   2012年   [査読有り]
A Case Study: Meyer’s Formulation of a Specification and Theorem Proving with an SMT Solver Z3
岡本圭史
京都大学数理解析研究所講究録   2002 9-18   2016年7月

Misc

 
小松秀生, 岡本圭史
情報処理学会全国大会講演論文集   80th(1) 1.213‐1.214   2018年3月
岡野 浩三, 小形 真平, 楊 盼, 岡本 圭史
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   117(477) 1-6   2018年3月
岡本圭史, 岡本圭史, 岡野浩三, 岡野浩三
SEC Journal   13(4) 42‐47   2018年3月
小松秀生, BAUDELET Geoffrey, 岡本圭史
電気関係学会東北支部連合大会講演論文集(CD-ROM)   2017(0) ROMBUNNO.1F01-72   2017年8月
岡本圭史, 岡本圭史, 平鍋健児
SEC Journal   13(4) 23‐29   2018年3月

書籍等出版物

 
はじめてのSTAMP/STPA(実践編)~システム思考に基づく新しい安全性解析手法~
兼本茂他 (担当:分担執筆)
独立行政法人情報処理推進機構   2017年3月   
大規模・複雑化した組込みシステムのための障害診断手法 ~ 事後V&Vの体系と要素技術 ~
兼本茂他 (担当:分担執筆)
独立行政法人情報処理推進機構   2017年3月   
モデル検証技術の活用
岡野 浩三,岡本 圭史 (担当:分担執筆)
日経テクノロジーOnline   2016年11月   
はじめてのSTAMP/STPA ~システム思考に基づく新しい安全性解析手法~
荒木啓二郎他 (担当:分担執筆)
独立行政法人情報処理推進機構   2016年4月   

講演・口頭発表等

 
Formal Proofs of Theorems of Programs with an SMT Solver
Shusei Komatsu, Geoffrey BAUDELET, Keishi Okamoto
2017 RIMS Model Theory Workshop   2017年12月4日   
STAMP/STPA事例の振り返りとGSNを用いたSTPAプロセスの説明支援
秋山泰澄,岡本圭史,松野裕
第2回STAMPワークショップ in Japan   2017年11月29日   
STAMPベース・ハザード分析ツールの紹介
岡本圭史
第2回STAMPワークショップ in Japan   2017年11月28日   
STAMPベース・ハザード分析支援ツールの概説とi-STAMP紹介
岡本圭史
Embedded Technology 2017 SEC先端技術入門ゼミ   2017年11月17日   
Balancing Between Cognitive and Semantic Acceptability of Arguments
The 10th International Conference on Knowledge Science, Engineering and Management   2017年8月   

担当経験のある科目

 
 

競争的資金等の研究課題

 
文部科学省: 科学研究費補助金(基盤研究(C))
研究期間: 2010年 - 2010年    代表者: 岡本圭史

社会貢献活動

 
ソフトウェア高信頼化推進委員会 委員
【情報提供, 報告書執筆】  独立行政法人情報処理推進機構  2014年4月1日