関澤俊弦 (Toshifusa SEKIZAWA) - マイポータル

基本情報

所属: 日本大学工学部情報工学科教授

学位: 博士(情報科学)(2009年3月大阪大学)

研究者番号: 10549314
ORCID iD: https://orcid.org/0000-0003-2001-0073
J-GLOBAL ID: 201401051858480363
researchmap会員ID: 7000007760

研究分野

情報通信 / ソフトウェア /

経歴

2026年4月 - 現在

日本大学, 工学部情報工学科, 教授
2014年4月 - 2026年3月

日本大学, 工学部情報工学科, 准教授
2013年4月 - 2014年3月

大阪学院大学, 情報学部情報学科, 准教授
2009年4月 - 2013年3月

大阪学院大学, 情報学部情報学科, 講師
2010年4月 - 2012年3月

産業技術総合研究所, 組込みシステム技術連携研究体, 外来研究員
2009年4月 - 2010年3月

産業技術総合研究所システム検証研究センター, 外来研究員
2008年4月 - 2009年3月

大阪学院大学, 情報学部情報学科, 非常勤講師
2005年9月 - 2009年3月

産業技術総合研究所システム検証研究センター, テクニカルスタッフ
2004年4月 - 2005年8月

科学技術振興機構 CREST, JST技術員
2003年6月 - 2004年3月

産業技術総合研究所情報処理研究部門, テクニカルスタッフ
1998年4月 - 2003年5月

日本ユニシス株式会社

学歴

2006年4月 - 2009年3月

大阪大学, 大学院情報科学研究科, 情報システム工学専攻
1996年4月 - 1998年3月

学習院大学, 大学院自然科学研究科, 物理学専攻
1992年4月 - 1996年3月

学習院大学, 理学部, 物理学科

委員歴

2026年4月 - 現在

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第33回ソフトウェア工学の基礎ワークショップ (FOSE2026) プログラム委員
2025年8月 - 2026年4月

ICIET2026 publication chair
2025年4月 - 2026年3月

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第32回ソフトウェア工学の基礎ワークショップ (FOSE2025) プログラム委員
2020年4月 - 2026年3月

電子情報通信学会, ソフトウェアサイエンス研究会専門委員
2024年4月 - 2025年3月

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第31回ソフトウェア工学の基礎ワークショップ (FOSE2024) プログラム委員
2023年4月 - 2024年3月

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第30回ソフトウェア工学の基礎ワークショップ (FOSE2023) プログラム委員
2022年3月 - 2023年3月

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第29回ソフトウェア工学の基礎ワークショップ (FOSE2022) プログラム委員
2021年10月 - 2022年3月

日本ソフトウェア科学会, コンピュータソフトウェア特集号編集委員
2020年10月 - 2022年3月

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第28回ソフトウェア工学の基礎ワークショップ (FOSE2021) プログラム共同委員長
2020年10月 - 2021年3月

日本ソフトウェア科学会, コンピュータソフトウェア特集号編集委員
2017年4月 - 2021年3月

情報処理学会 (IPSJ), 組込みシステム研究会(SIGEMB) 運営委員
2018年4月 - 2020年3月

情報処理学会 (IPSJ), 東北支部研究会
2018年 - 2019年

IEEE COMPSAC 2019 SETA, Program Committee
2017年 - 2019年

IPSJ/SIGSE, ウィンターワークショップ2019 実行委員長
2014年4月 - 2018年3月

情報処理学会 (IPSJ), ソフトウェア工学研究会(SIGSE) 運営委員
2018年 - 2018年

The 8th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2018), Technical Program Committee
2018年 - 2018年

COMPSAC 2018 SETA, Program Committee
2018年 - 2018年

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第25回ソフトウェア工学の基礎ワークショップ (FOSE2018) プログラム委員
2017年 - 2017年

The 7th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2017), Technical Program Committee
2017年 - 2017年

日本ソフトウェア科学会ソフトウェア工学の基礎研究会, 第24回ソフトウェア工学の基礎ワークショップ (FOSE2017) プログラム委員

もっとみる

受賞

2025年9月

IWIN2025 Best Paper Award, Automatic Translation from PlantUML Description to NuSMV Using LLM, INFSOC (Informatics Society)

Kansei Inoue, Shinpei Ogata, Toshifusa Sekizawa, Kozo Okano

論文

Comparative Evaluation of Large Language Models for Model Generation in Software Engineering Processes

Kansei Inoue, Shinpei Ogata, Toshifusa Sekizawa, Kozo Okano

20th International Workshop on Informatics (IWIN2026) (accepted, to appear) 2026年8月査読有り
Verifying the Topical-Content-Proportion Reflectiveness of LLM Relevance Scores Using Lecture Materials

Satoshi Okubo, Shinpei Ogata, Toshifusa Sekizawa, Kozo Okano

20th International Workshop on Informatics (IWIN2026) (accepted, to appear) 2026年8月査読有り
Analyzing Structural Characteristics and Instructional Design of Programming Courses through Morphological Similarity

Toshifusa Sekizawa, Hiroto Yamakawa

AIeSE2026 (16th International Conference on Artificial Intelligence-empowered Software Engineering) / IISA2026 (The Seventeenth International Conference on Information, Intelligence, Systems and Applications) (to be published) 2026年7月9日査読有り筆頭著者責任著者
Statement-level Evaluation of C Programs with Tree Edit Distance on Normalized AST

Wataru Tatsukawa, Toshifusa Sekizawa

Proceedings of 2026 14th International Conference on Information and Education Technology (ICIET) 520-524 2026年4月17日査読有り責任著者
通信障害を考慮した速度制御での1次元系における追従ロボットに対するSPINを用いたモデル検査

佐藤広大, 関澤俊弦

レクチャーノート/ソフトウェア学，ソフトウェア工学の基礎 32 51 117-122 2025年11月査読有り責任著者
Automatic Translation from PlantUML description to NuSMV using LLM

Kansei Inoue, Shinpei Ogata, Toshifusa Sekizawa, Kozo Okano

Proceedings of 19th International Workshop on Informatics 2025年9月2日査読有り
A study of multi-robot tracking problem in one-dimensional system using probabilistic model checking

Toshifusa Sekizawa, Naoaki Yonezawa, Kozo Okano, Keitaro Naruse

IEICE Transactions on Information and Systems E108-D(8) 1033-1036 2025年8月1日査読有り筆頭著者責任著者
Probabilistic evaluation of self-localization on ad-hoc network using model checking

Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi

IEICE Communications Express 12(1) 13-18 2023年1月1日査読有り筆頭著者責任著者
プログラミング教育におけるモデル検査を用いたC言語プログラムの学修目標の達成度評価に向けて

関澤俊弦, 河野一輝

情報処理学会論文誌 63(11) 1679-1683 2022年11月15日査読有り筆頭著者責任著者
第28回ソフトウェア工学の基礎ワークショップ (FOSE2021) 開催報告

名倉正剛, 関澤俊弦, 沢田篤史

日本ソフトウェア科学会「コンピュータソフトウェア」 39(4 (2022)) 3-9 2022年10月25日
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties

Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki

Procedia Computer Science 207 532-541 2022年10月19日査読有り
Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data structures by SAW: Case Studies of Linear Structures and Binary Trees

Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa

International Journal of Informatics Society 12(3) 143-156 2021年3月査読有り
Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks

Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi

Proceedings of the Tenth International Symposium on Information and Communication Technology 441-448 2019年12月4日査読有り筆頭著者
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model

Ryo Watanabe and Toshifusa Sekizawa

Proceedings of 2019 IEEE 4th International Conference on Computer and Communication Systems 111-114 2019年9月2日査読有り責任著者
A review assistance system for class diagram with voice assistance based on NLP

Masashi Nakamura, Kozo Okano, Shinpei Ogata, and Toshifusa Sekizawa

Proceedings of International Workshop on Informatics 195-202 2019年9月査読有り
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, and Shin Nakajima

IEICE TRANSACTIONS on Information and Systems E102-D(8) 1498-1505 2019年8月1日査読有り
Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices

Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen

Proceedings of 27th International Conference on Computer Communication and Networks (ICCCN 2018) 1-7 2018年10月11日査読有り筆頭著者
Analysis of Specification in Japanese Using Natural Language Processing

Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa

Knowledge-Based Software Engineering: 2018 12-21 2018年8月4日査読有り
自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法

岡野浩三,高橋一真,仲悠介,小形真平,関澤俊弦

信学技法 117(465) 79-84 2018年2月22日
Equivalence checking of Java methods: Toward ensuring IoT dependability

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakashima

2017 26th International Conference on Computer Communications and Networks, ICCCN 2017 1-6 2017年9月14日査読有り

もっとみる

MISC

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について

湯浅能史, 武山誠, 関澤俊弦, 関澤俊弦, 田辺良則, 田辺良則, 高橋孝一

日本ソフトウェア科学会大会講演論文集(CD-ROM) 23rd 2006年

書籍等出版物

ソフトウェア工学の基礎 28 (レクチャーノートソフトウェア学第47巻)

(担当:編者(編著者)) (原著:名倉正剛, 関澤俊弦)

近代科学社 2021年11月19日 (ISBN: 9784764960282)
モデル検査による状態遷移システムの検証手法

関澤俊弦, 高橋孝一 (担当:共著, 範囲:新版信頼性ハンドブック第V部 D-4章) (原著:関澤俊弦,高橋孝一)

日科技連出版社 2014年7月16日 (ISBN: 9784817195197)
ソフトウェア工学の基礎XX FOSE2013 (レクチャーノートソフトウェア学)

(担当:編者(編著者)) (原著:岡野浩三, 関澤俊弦)

近代科学社 2013年12月2日 (ISBN: 9784764904521)
モデル検査(総論)

関澤俊弦, 高橋孝一 (担当:共著, 範囲:ハンドブック“知識ベース” 7 群1 編2 章2-4 節) (原著:関澤俊弦, 高橋孝一)

電子情報通信学会 2010年
抽象化

高橋孝一, 関澤俊弦 (担当:共著, 範囲:ハンドブック “知識ベース” 7 群1 編3 章3-1節) (原著:高橋孝一, 関澤俊弦)

電子情報通信学会 2010年

講演・口頭発表等

テラヘルツ光で探る土器の光学特性―吸収スペクトルと屈折率―

鎌田紘彰, 南康夫, 碇智文, 道山哲幸, 野邑寿仁亜, 関澤俊弦, 四方潤一, 瀧川道生, 小林一彦, 武井紀子, 山本孝文, 浜田晋介, 石澤淳

日本文化財学会第43回大会 2026年7月25日
木の編集距離による文単位でのCプログラムの定量的評価に向けて

達川航充, 関澤俊弦

教育システム情報学会 2025年度学生研究発表会 2026年2月27日
形態素解析を用いた演習問題の内容推定に向けた類似度の比較

野林緑朗, 山川広人, 関澤俊弦

第32回ソフトウェア工学の基礎ワークショップ（FOSE2025） 2025年11月7日
協調動作を行う1次元系における追従ロボット2台に対するSPINを用いたモデル検査

佐藤広大, 関澤俊弦

令和6年度第67回日本大学工学部学術研究報告会 2024年12月7日
C言語の復習に向けた形態素解析と類似度に基づく問題文の検討

野林緑朗, 関澤俊弦

第31回ソフトウェア工学の基礎ワークショップ (FOSE2024) 2024年11月29日
プログラミング演習における学生の苦手度と理解度の定量化に向けて

村井祐実, 関澤俊弦

第31回ソフトウェア工学の基礎ワークショップ (FOSE2024) 2024年11月29日
Javaにおける変数宣言の重複に起因するコンパイルエラーの自動修正に向けた静的解析による重複宣言の特定

三城学, 関澤俊弦

令和5年度第66回日本大学工学部学術研究報告会 2023年12月2日
充電データ列のシミュレーションに向けた電圧値の解析と変異の生成

中里佳樹,関澤俊弦

令和4年度情報処理学会東北支部研究会 2023年1月21日
演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて

南條匠, 関澤俊弦

令和4年度第65回日本大学工学部学術研究報告会 2022年12月3日
変異を含む充電データ列のシミュレーションに向けた最尤法を用いた解析

中里佳樹, 関澤俊弦

令和4年度第65回日本大学工学部学術研究報告会 2022年12月3日
妨害されたDSRCデータに基づく統計処理による新規妨害データ列の生成

若林奎佑, 関澤俊弦

令和4年度第65回日本大学工学部学術研究報告会 2022年12月3日
Cプログラム評価に向けたカバレッジを用いた検査項目の記述手法の提案

網野颯人, 関澤俊弦

令和3年度第64回日本大学工学部学術研究報告会 2021年12月4日
DSRC通信におけるパケット改ざん攻撃のAutoware上での再現手法の提案

冨樫悠星郎, 関澤俊弦

令和3年度第64回日本大学工学部学術研究報告会 2021年12月4日
リチウムイオンバッテリーの充電データ列解析による妨害の検出

中里佳樹, 関澤俊弦

令和3年度第64回日本大学工学部学術研究報告会 2021年12月4日
ロボットの振る舞いの確率的な解空間からの選択手法の提案と協調解析の考察

矢吹光,関澤俊弦

平成30年度第4回情報処理学会東北支部研究会 2019年1月12日
確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析

渡邊亮,関澤俊弦

平成30年度第4回情報処理学会東北支部研究会 2019年1月12日
ロボットの確率的な解空間からの解の選択手法の提案と協調解析の考察

矢吹光,関澤俊弦

第61回日本大学工学部学術研究報告会 2018年12月8日
要求仕様書の記述支援及び曖昧性評価に向けた自然言語処理に基づくツールの妥当性の評価

柿沼翔太,関澤俊弦

第61回日本大学工学部学術研究報告会 2018年12月8日
動作時間を考慮に入れた自律移動ロボットの確率的な振舞い検証

小林佳正,関澤俊弦

平成29年度第5回情報処理学会東北支部研究会 2018年2月10日
動作の実行順序を考慮に入れたロボットの確率的な振舞いのモデル化

小林佳正,関澤俊弦

第60回日本大学工学部学術研究報告会 2017年12月9日

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

信頼性保証のある機械学習ベースのソフトウェア開発

日本学術振興会科学研究費助成事業基盤研究(C) 2026年4月 - 2029年3月

岡野浩三, 関澤俊弦
高品質テラヘルツセンシング技術による日本列島の古代物流ネットワーク起源の探索

日本大学特別研究 2025年8月 - 2027年3月

石澤淳, 南康夫, 野邑寿仁亜, 四方潤一, 碇智文, 関澤俊弦, 道山哲幸, 山本孝文, 武井紀子, 瀧川道生, 小林一彦
モデル検査を用いたプログラミング課題評価と課題提出システム構築

日本学術振興会科学研究費助成事業基盤研究(C) 2024年4月 - 2027年3月

関澤俊弦, 岡野浩三
自然語解析と反例解析を活用したソフトウェア開発

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2025年3月

岡野浩三, 岡本圭史, 関澤俊弦, 小形真平
組み合わせテストを応用した組込みシステムの検証項目生成の研究

日本学術振興会科学研究費助成事業基盤研究(C) 2017年4月 - 2020年3月

関澤俊弦, 岡野浩三, 見越大樹
モデルと制約に基づくソフトウェア開発に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 2016年4月 - 2019年3月

岡野浩三, 関澤俊弦, 小形真平
組込み制御システムの制御理論と制御システム開発に,おける不確定性に関する研究

国立情報学研究所平成29年度公募型共同研究 2017年4月 - 2018年3月
動的システムに対する組込み制御プログラムの信頼性検証に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 2014年4月 - 2017年3月

関澤俊弦, 岡野浩三
海外渡航費用

公益財団法人電気通信普及財団福祉・文化事業援助 2013年9月 - 2013年9月

関澤俊弦

基本情報

研究分野

経歴

学歴

委員歴

受賞

論文

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧