研究者
J-GLOBAL ID：201401051858480363   更新日: 2024年04月10日

関澤 俊弦

セキザワ トシフサ | SEKIZAWA Toshifusa
所属機関・部署：
日本大学 工学部 情報工学科

日本大学 工学部 情報工学科 について


職名： 准教授
研究分野 (1件)： ソフトウェア
競争的資金等の研究課題 (7件)：
  • 2024 - 2027 モデル検査を用いたプログラミング課題評価と課題提出システム構築
  • 2021 - 2025 自然語解析と反例解析を活用したソフトウェア開発
  • 2017 - 2020 組み合わせテストを応用した組込みシステムの検証項目生成の研究
  • 2016 - 2019 モデルと制約に基づくソフトウェア開発に関する研究
  • 2017 - 2018 組込み制御システムの制御理論と制御システム開発に,おける不確定性に関する研究
全件表示
論文 (40件)：
  • Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi. Probabilistic evaluation of self-localization on ad-hoc network using model checking. IEICE Communications Express. 2023. 12. 1. 13-18
  • 関澤俊弦, 河野一輝. プログラミング教育におけるモデル検査を用いたC言語プログラムの学修目標の達成度評価に向けて. 情報処理学会論文誌. 2022. 63. 11. 1679-1683
  • 名倉正剛, 関澤俊弦, 沢田篤史. 第28回ソフトウェア工学の基礎ワークショップ (FOSE2021) 開催報告. 日本ソフトウェア科学会「コンピュータソフトウェア」. 2022. 39. 4 (2022). 3-9
  • Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. Procedia Computer Science. 2022. 207. 532-541
  • Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa. 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. International Journal of Informatics Society. 2021. 12. 3. 143-156
もっと見る
書籍 (5件)：
  • ソフトウェア工学の基礎 28 (レクチャーノート ソフトウェア学 第47巻)
    近代科学社 2021 ISBN:9784764960282
  • モデル検査による状態遷移システムの検証手法
    日科技連出版社 2014 ISBN:9784817195197
  • ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)
    近代科学社 2013 ISBN:9784764904521
  • モデル検査(総論)
    電子情報通信学会 2010
  • 抽象化
    電子情報通信学会 2010
講演・口頭発表等 (51件)：
  • Javaにおける変数宣言の重複に起因するコンパイルエラーの自動修正に向けた静的解析による重複宣言の特定
    (令和5年度第66回日本大学工学部学術研究報告会 2023)
  • 充電データ列のシミュレーションに向けた電圧値の解析と変異の生成
    (令和4年度 情報処理学会東北支部研究会 2023)
  • 演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて
    (令和4年度第65回日本大学工学部学術研究報告会 2022)
  • 変異を含む充電データ列のシミュレーションに向けた最尤法を用いた解析
    (令和4年度第65回日本大学工学部学術研究報告会 2022)
  • 妨害されたDSRCデータに基づく統計処理による新規妨害データ列の生成
    (令和4年度第65回日本大学工学部学術研究報告会 2022)
もっと見る
学歴 (3件)：
  • 2006 - 2009 大阪大学 大学院情報科学研究科 情報システム工学専攻
  • 1996 - 1998 学習院大学 大学院自然科学研究科 物理学専攻
  • 1992 - 1996 学習院大学 理学部 物理学科
学位 (1件)：
  • 博士(情報科学) (大阪大学)
経歴 (10件)：
  • 2014/04 - 現在 日本大学 工学部 情報工学科 准教授
  • 2013/04 - 2014/03 大阪学院大学 情報学部 情報学科 准教授
  • 2009/04 - 2013/03 大阪学院大学 情報学部 情報学科 講師
  • 2010/04 - 2012/03 産業技術総合研究所 組込みシステム技術連携研究体 外来研究員
  • 2009/04 - 2010/03 産業技術総合研究所 システム検証研究センター 外来研究員
全件表示
委員歴 (27件)：
  • 2020/04 - 現在 電子情報通信学会 ソフトウェアサイエンス研究会 専門委員
  • 2023/04 - 2024/03 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 第30回 ソフトウェア工学の基礎ワークショップ (FOSE2023) プログラム委員
  • 2022/03 - 2023/03 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 第29回 ソフトウェア工学の基礎ワークショップ (FOSE2022) プログラム委員
  • 2021/10 - 2022/03 日本ソフトウェア科学会 コンピュータソフトウェア特集号編集委員
  • 2020/10 - 2022/03 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 第28回 ソフトウェア工学の基礎ワークショップ (FOSE2021) プログラム共同委員長
全件表示
所属学会 (4件)：
情報処理学会 ,  日本ソフトウェア科学会 ,  IEEE, IEEE Computer Society ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM