English
日本大学 
工学部 
情報工学科 

更新日:2017/08/01 
准教授 
関澤 俊弦 
セキザワ トシフサ 
SEKIZAWA Toshifusa 

経歴 (公開件数:10件)
日本ユニシス株式会社  1998/04-2003/05 
産業技術総合研究所 情報処理研究部門  テクニカルスタッフ  2003/06-2004/03 
科学技術振興機構 CREST  JST技術員  2004/04-2005/08 
産業技術総合研究所 システム検証研究センター  テクニカルスタッフ  2005/09-2009/03 
大阪学院大学 情報学部 情報学科  非常勤講師  2008/04-2009/03 
大阪学院大学 情報学部 情報学科  講師  2009/04/01-2013/03/31 
産業技術総合研究所 システム検証研究センター  外来研究員  2009/04-2010/03 
産業技術総合研究所 組込みシステム技術連携研究体  外来研究員  2010/04-2012/03 
大阪学院大学 情報学部 情報学科  准教授  2013/04/01-2014/03/31 
日本大学 工学部 情報工学科  准教授  2014/04/01-現在 

学歴 (公開件数:3件)
学習院大学  理学部  物理学科  1996/03/31  卒業  国内 
学習院大学  大学院自然科学研究科  物理学専攻  博士前期  1998/03/31  修了  国内 
大阪大学  大学院情報科学研究科  情報システム工学専攻  博士後期  2009/03/31  修了  国内 

学位 (公開件数:1件)
博士(情報科学)  大阪大学 

共同・受託研究実績 (公開件数:1件)
形式手法の適用によるソフトウェアの信頼性向上に関する研究  2014-2017 
詳細表示...

著書 (公開件数:4件)
"モデル検査によるシステム検証"  日科技連出版社  2014/07/16 
ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)  近代科学社  2013/12/02 
"抽象化"  電子情報通信学会  2010 
"モデル検査(総論)"  電子情報通信学会  2010 
詳細表示...

論文 (公開件数:23件)
"二次元系における自己位置推定の振舞い検証に向けて"  JSSST FOSE2016 ソフトウェア工学の基礎 XXIII  2016/12 
"Parallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -"  International Journal of Informatics Society  2016/09 
"A Case Study: Verification of an Embedded System using Abstraction Refinement with Requirements,"  Proceedings of COMPSAC 2016: The 2nd IEEE International Workshop on Dependable Software and Applications (DSA 2016)  2016/06  10.1109/COMPSAC.2016.24 
"Parallel Multiple Counter-Examples Guided Abstraction Loop to Timed Automaton"  Proceedings of International Workshop on Informatics  2015/09 
"Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances,"  Proceedings of COMPSAC 2015: The 1st IEEE International Workshop on Dependable Software and Applications (DSA 2015)  2015/07  10.1109/COMPSAC.2015.268 
詳細表示...

研究発表 (公開件数:33件)
口頭発表(一般)  "Javaのメソッド等価性判定とその応用"  電子情報通信学会技術研究報告,SS2016-65, Vol. 116, No. 512, pp. 31-36  2017/03/09 
口頭発表(一般)  Kuromojiと構文解析による要求仕様書から状態遷移系への自動変換の試み  IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, pp. 45-46,  2017/01/20 
口頭発表(一般)  ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて  IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山  2017/01/19 
ポスター発表  "移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて"  JSSST 第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016)  2016/12/03 
口頭発表(一般)  "確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化"  情報処理学会 第192回SE・第41回EMB合同研究発表会, 情報処理学会研究報告 Vol. 2016-SE-192, No. 14  2016/06/03 
詳細表示...

研究費 (公開件数:5件)
文部科学省科学研究費  組み合わせテストを応用した組込みシステムの検証項目生成の研究  2017/04/01-現在 
共同研究  組込み制御システムの制御理論と制御システム開発に おける不確定性に関する研究  2017/04/01-現在 
文部科学省科学研究費  モデルと制約に基づくソフトウェア開発に関する研究  2016-現在 
文部科学省科学研究費  動的システムに対する組込み制御プログラムの信頼性検証に関する研究  2014/04/01-2017/03/31 
研究寄付金  海外渡航費用  2013/09-2013/09 
詳細表示...

担当授業科目 (公開件数:8件)
ソフトウェア設計法及び演習 
ソフトウェア工学概論 
ソフトウェア工学及び演習 
オートマトンと言語及び演習 
コンパイラ及び演習 
詳細表示...

所属学協会 (公開件数:4件)
電子情報通信学会 
IEEE, IEEE Computer Society 
日本ソフトウェア科学会 
情報処理学会 
詳細表示...

委員歴 (公開件数:13件)
The 7th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2017)  Technical Program Committee  2017-現在 
情報処理学会 (IPSJ)  組込みシステム研究会(SIGEMB) 運営委員  2017/04-現在 
COMPSAC2017 SETA  Program Committee  2016-現在 
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会  第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016) プログラム委員  2016-2016 
COMPSAC2016 SETA  Program Committee  2015-2016 
詳細表示...