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

更新日:2019/02/18 
准教授 
関澤 俊弦 
セキザワ トシフサ 
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 
詳細表示...

論文 (公開件数:30件)
"Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices"  Proceedings of 27th International Conference on Computer Communication and Networks (ICCCN 2018)  2018/10/11  10.1109/ICCCN.2018.8487444 
"Analysis of Specification in Japanese Using Natural Language Processing"  Knowledge-Based Software Engineering: 2018  2018/08/04  10.1007/978-3-319-97679-2_2 
自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法  信学技法  2018/02/22 
"Towards Verification of Robot Design for Self-localization"  13th International Haifa Verification Conference (HVC 2017), Lecture Notes in Computer Science  2017/11/14  10.1007/978-3-319-70389-3 
"Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability"  26th International Conference on Computer Communication and Networks, ICCCN 2017,  2017/09/21  10.1109/ICCCN.2017.8038505 
詳細表示...

研究発表 (公開件数:43件)
口頭発表(一般)  "確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析"  平成30年度 第4回情報処理学会東北支部研究会  2019/01/12 
口頭発表(一般)  "ロボットの振る舞いの確率的な解空間からの選択手法の提案と協調解析の考察"  平成30年度 第4回情報処理学会東北支部研究会  2019/01/12 
口頭発表(一般)  "要求仕様書の記述支援及び曖昧性評価に向けた自然言語処理に基づくツールの妥当性の評価"  第61回日本大学工学部学術研究報告会  2018/12/08 
口頭発表(一般)  "ロボットの確率的な解空間からの解の選択手法の提案と協調解析の考察"  第61回日本大学工学部学術研究報告会  2018/12/08 
口頭発表(一般)  "動作時間を考慮に入れた自律移動ロボットの確率的な振舞い検証"  平成29年度 第5回情報処理学会東北支部研究会  2018/02/10 
詳細表示...

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

担当授業科目 (公開件数:6件)
オートマトンと言語及び演習 
ソフトウェア設計法及び演習 
プログラミングの基礎及び演習 
コンパイラ及び演習 
オートマトンと言語特論 
詳細表示...

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

委員歴 (公開件数:20件)
IEEE COMPSAC 2019 SETA  Program Committee  2018-現在 
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会  第25回 ソフトウェア工学の基礎ワークショップ (FOSE2018) プログラム委員  2018-2018 
COMPSAC 2018 SETA  Program Committee  2018-2018 
The 8th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2018)  Technical Program Committee  2018-2018 
情報処理学会 (IPSJ)  東北支部研究会  2018/04-現在 
詳細表示...