日本語
NIHON UNIVERSITY's 
College of Engineering 
Department of Computer Science 

Updated : 2019/09/04 
Associate Professor 
SEKIZAWA Toshifusa 

Career (Number of the published data : 10)
Nihon Unisys Ltd.  1998/04-2003/05 
Information Technology Research Institute ,National Institute of Industrial Science and Technology (AIST)  Technical Staff  2003/06-2004/03 
CREST, Japan Science and Technology Agency (JST)  Engineer  2004/04-2005/08 
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST)  Technical Staff  2005/09-2009/03 
Faculty of Informatics, Osaka Gakuin University  Part-time Lecturer  2008/04-2009/03 
Faculty of Informatics, Osaka Gakuin University  Lecturer  2009/04/01-2013/03/31 
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST)  Visiting Researcher  2009/04-2010/03 
Collaborative Facilities for Verification and Specification, National Institute of Advanced Industrial Science and Technology (AIST)  Visiting Researcher  2010/04-2012/03 
Faculty of Informatics, Osaka Gakuin University  Associate Professor  2013/04/01-2014/03/31 
Department of Computer Science, College of Engineering, Nihon University  Associate Professor  2014/04/01-Present 

Academic background (Number of the published data : 3)
Gakushuin University  Faculty of Science  Department of Physics  1996/03/31  Graduated  Domestic 
Gakushuin University  Graduate School of Science  Course of Physics  Doctor prophase  1998/03/31  Completed  Domestic 
Osaka University  Graduate School of Information Science and Technology  Information System Engineering Major  Doctor later  2009/03/31  Completed  Domestic 

Achievements of joint or funded research (Number of the published data : 1)
形式手法の適用によるソフトウェアの信頼性向上に関する研究  2014-2017 
View details...

Bibliography (Number of the published data : 4)
"モデル検査によるシステム検証"  日科技連出版社  2014/07/16 
ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)  近代科学社  2013/12/02 
"抽象化"  電子情報通信学会  2010 
"モデル検査(総論)"  電子情報通信学会  2010 
View details...

Papers (Number of the published data : 32)
"Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model"  Proceedings of 2019 IEEE 4th International Conference on Computer and Communication Systems  2019/09/02  10.1109/CCOMS.2019.8821644 
"Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench"  IEICE TRANSACTIONS on Information and Systems  2019/08/01  10.1587/transinf.2018EDP7254 
"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 
Analysis of Specification in Japanese using Natural Language Processing and Review Supporting with Speech Synthesis  Technical Report of IEICE  2018/02/22 
View details...

Research presentations (Number of the published data : 43)
Oral presentation(general)  "確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析"  4th IPSJ Tohoku branch workshop, AY2018  2019/01/12 
Oral presentation(general)  "ロボットの振る舞いの確率的な解空間からの選択手法の提案と協調解析の考察  4th IPSJ Tohoku branch workshop, AY2018  2019/01/12 
Oral presentation(general)  "要求仕様書の記述支援及び曖昧性評価に向けた自然言語処理に基づくツールの妥当性の評価"  第61回日本大学工学部学術研究報告会  2018/12/08 
Oral presentation(general)  "ロボットの確率的な解空間からの解の選択手法の提案と協調解析の考察"  第61回日本大学工学部学術研究報告会  2018/12/08 
Oral presentation(general)  "動作時間を考慮に入れた自律移動ロボットの確率的な振舞い検証"  5th IPSJ Tohoku branch workshop, AY2017  2018/02/10 
View details...

Research expenses (Number of the published data : 5)
Joint research  組込み制御システムの制御理論と制御システム開発に おける不確定性に関する研究  2017/04-2018/03 
Grant-in-Aid for Scientific Research  組み合わせテストを応用した組込みシステムの検証項目生成の研究  2017/04/01-Present 
Grant-in-Aid for Scientific Research  モデルと制約に基づくソフトウェア開発に関する研究  2016/04-2019/03 
Grant-in-Aid for Scientific Research  動的システムに対する組込み制御プログラムの信頼性検証に関する研究  2014/04/01-2017/03/31 
Donation  Overseas Travel Expense  2013/09-2013/09 
View details...

Alloted class (Number of the published data : 5)
オートマトンと言語及び演習 
ソフトウェア設計法及び演習 
プログラミングの基礎及び演習 
コンパイラ及び演習 
オートマトンと言語特論 
View details...

Memberships of academic societies (Number of the published data : 4)
IEICE 
IEEE, IEEE Computer Society 
JSSST 
IPSJ 
View details...