• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

関澤 俊弦  sekizawa toshifusa

ORCIDORCID連携する *注記
研究者番号 10549314
その他のID
所属 (現在) 2025年度: 日本大学, 工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記 2021年度 – 2024年度: 日本大学, 工学部, 准教授
2014年度 – 2019年度: 日本大学, 工学部, 准教授
審査区分/研究分野
研究代表者
ソフトウェア / 小区分62030:学習支援システム関連
研究代表者以外
小区分60050:ソフトウェア関連 / ソフトウェア
キーワード
研究代表者
確率系 / モデル検査 / プログラミング課題評価 / 仕様記述 / 検査項目生成 / 形式検証 / 情報工学 / ゲートウェイ配置 / 自己位置推定 / アドホックネットワーク … もっと見る / ロボティックス / 確率的振舞い / 自律移動ロボット / 組込みシステム / 確率モデル検査 … もっと見る
研究代表者以外
機械学習 / 自然語解析 / 形態素解析 / 反例解析 / バグ局所化 / 有界モデル検査 / 時間オートマトン / 自然語処理 / 制約指向 / ソフトウエア学 / CYKアルゴリズム / モデル検査 / オートマトン / 形式記述 / 要求仕様 / 構文解析 / 状態遷移 / 要求仕様書 / NLP / 仕様記述解析 / ソフトウェア工学 / モデル / 検証 / 仕様記述 隠す
  • 研究課題

    (5件)
  • 研究成果

    (27件)
  • 共同研究者

    (4人)
  •  モデル検査を用いたプログラミング課題評価と課題提出システム構築研究代表者

    • 研究代表者
      関澤 俊弦
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分62030:学習支援システム関連
    • 研究機関
      日本大学
  •  自然語解析と反例解析を活用したソフトウェア開発

    • 研究代表者
      岡野 浩三
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      信州大学
  •  組み合わせテストを応用した組込みシステムの検証項目生成の研究研究代表者

    • 研究代表者
      関澤 俊弦
    • 研究期間 (年度)
      2017 – 2019
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      日本大学
  •  モデルと制約に基づくソフトウェア開発に関する研究

    • 研究代表者
      岡野 浩三
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      信州大学
  •  動的システムに対する組込み制御プログラムの信頼性検証に関する研究研究代表者

    • 研究代表者
      関澤 俊弦
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      日本大学

すべて 2022 2019 2018 2017 2016 2015 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] 確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化2016

    • 著者名/発表者名
      小林佳正,岡野浩三,関澤俊弦
    • 雑誌名

      情報処理学会研究報告

      巻: Vol. 2016-SE-192, No. 14 ページ: 1-6

    • データソース
      KAKENHI-PROJECT-26330092
  • [雑誌論文] Parallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -2016

    • 著者名/発表者名
      Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto
    • 雑誌名

      International Journal of Informatics Society

      巻: Vol. 8, No. 2 ページ: 103-116

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] A Bounded Model Checker for Timed Automata and Its Application to LTL Properties2022

    • 著者名/発表者名
      Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamotod Daisuke Bekki
    • 学会等名
      26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11826
  • [学会発表] Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking using Probability Removed Model2019

    • 著者名/発表者名
      Ryo Watanabe, and Toshifusa Sekizawa
    • 学会等名
      IEEE 4th International Conference on Computer and Communication Systems
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks2019

    • 著者名/発表者名
      Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi
    • 学会等名
      Tenth International Symposium on Information and Communication Technology
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] 確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析2019

    • 著者名/発表者名
      渡邉亮,関澤俊弦
    • 学会等名
      IPSJ 東北支部研究会
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] ロボットの振る舞いの確率的な解空間からの解の選択手法の提案と協調解析の考察2019

    • 著者名/発表者名
      矢吹光,関澤俊弦
    • 学会等名
      IPSJ 東北支部研究会
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] A review assistance system for class diagram with voice assistance based on NLP2019

    • 著者名/発表者名
      Masashi Nakamura, Kozo Okano, Shinpei Ogata, and Toshifusa Sekizawa
    • 学会等名
      International Workshop on Informatics
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices2018

    • 著者名/発表者名
      Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen
    • 学会等名
      The 8th International Workshop on Internet on Things: Privacy, Security and Trust
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法2018

    • 著者名/発表者名
      岡野浩三 高橋一真 仲悠介 小形真平 関澤俊弦
    • 学会等名
      知能ソフトウェア工学研究会
    • データソース
      KAKENHI-PROJECT-16K00094
  • [学会発表] Analysis of Specification in Japanese using Natural Language Processing2018

    • 著者名/発表者名
      Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
    • 学会等名
      12th Joint Conference on Knowladge-Based Software Engineering
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00094
  • [学会発表] Analysis of Specification in Japanese Using Natural Language Processing2018

    • 著者名/発表者名
      Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
    • 学会等名
      Joint Conference on Knowledge-Based Software Engineering 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] Kuromoji と構文解析による要求仕様書から状態遷移系への自動変換の試み2017

    • 著者名/発表者名
      田幸玄陽,小形真平,岡野浩三,関澤俊弦
    • 学会等名
      ウィンターワークショップ2017・イン・飛騨高山
    • 発表場所
      高山 高山市民文化会館
    • 年月日
      2017-01-19
    • データソース
      KAKENHI-PROJECT-16K00094
  • [学会発表] ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて2017

    • 著者名/発表者名
      渡辺誠人,岡野浩三,関澤俊弦
    • 学会等名
      IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山
    • 発表場所
      高山市民文化会館
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] 自己位置推定をするロボットの確率的な振舞いの協調解析に向けて2017

    • 著者名/発表者名
      矢吹光,関澤俊弦
    • 学会等名
      JSSST FOSE2017
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] 自己位置推定を行なうロボット設計の検証に向けて2017

    • 著者名/発表者名
      渡邊亮,岡野浩三 ,関澤俊弦
    • 学会等名
      IPSJ/SIGSE SES2017 ワークショップ
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] Towards Verification of Robot Design for Self-localization2017

    • 著者名/発表者名
      Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
    • 学会等名
      13th International Haifa Verification Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] モデル検査を用いたロボット設計の検証2017

    • 著者名/発表者名
      渡邊亮,岡野浩三,関澤俊弦
    • 学会等名
      JSSST FOSE2017
    • データソース
      KAKENHI-PROJECT-17K00111
  • [学会発表] 一次元系における自己位置推定の振舞い検証に向けて2016

    • 著者名/発表者名
      関澤俊弦,岡野浩三
    • 学会等名
      IEICE/SIGSS ソフトウェアサイエンス研究会
    • 発表場所
      沖縄県立宮古青少年の家 (沖縄県宮古島市)
    • 年月日
      2016-03-11
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] 移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて2016

    • 著者名/発表者名
      小林佳正,岡野浩三,関澤俊弦
    • 学会等名
      JSSST 第 23 回ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ことひら温泉 琴参閣
    • 年月日
      2016-12-01
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] 二次元系における自己位置推定の振舞い検証に向けて2016

    • 著者名/発表者名
      渡邊亮,岡野浩三,関澤俊弦
    • 学会等名
      JSSST 第 23 回ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ことひら温泉 琴参閣
    • 年月日
      2016-12-01
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] 自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査に向けて -2016

    • 著者名/発表者名
      遠藤健,小形真平,岡野浩三,関澤俊弦
    • 学会等名
      IPSJ/SIGSE ウィンターワークショップ 2016・イン・逗子
    • 発表場所
      湘南国際村センター (神奈川県三浦郡)
    • 年月日
      2016-02-04
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] 時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けて2015

    • 著者名/発表者名
      小林佳正,岡野浩三,関澤俊弦
    • 学会等名
      JSSST 第22回 ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ほほえみの宿 滝の湯 (山形県天童市)
    • 年月日
      2015-11-27
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] 自律移動ロボットの誤差検出と振舞い検証に向けて2015

    • 著者名/発表者名
      大槻文也,伊藤和己,岡野浩三,関澤俊弦
    • 学会等名
      ウィンターワークショップ 2015
    • 発表場所
      沖縄,宜野湾
    • 年月日
      2015-01-22
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] Parallel Multiple Counter-Examples Guided Abstraction Loop to Timed Automaton2015

    • 著者名/発表者名
      Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto
    • 学会等名
      International Workshop on Informatics 2015
    • 発表場所
      Amsterdam, Netherlands
    • 年月日
      2015-09-06
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances2015

    • 著者名/発表者名
      Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano
    • 学会等名
      The 1st IEEE International Workshop on Dependable Software and Applications
    • 発表場所
      Taichung, Taiwan
    • 年月日
      2015-07-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330092
  • [学会発表] Safety Verification of Multiple Autonomous Systems by Formal Approach

    • 著者名/発表者名
      Kozo Okano, and Toshifusa Sekizawa
    • 学会等名
      3rd Workshop on Architecting Safety in Collaborative Mobile Systems
    • 発表場所
      イタリア,フィレンツェ
    • 年月日
      2014-09-10 – 2014-09-12
    • 招待講演
    • データソース
      KAKENHI-PROJECT-26330092
  • 1.  岡野 浩三 (70252632)
    共同の研究課題数: 5件
    共同の研究成果数: 21件
  • 2.  小形 真平 (10589279)
    共同の研究課題数: 2件
    共同の研究成果数: 4件
  • 3.  見越 大樹 (00634114)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 4.  岡本 圭史 (00308214)
    共同の研究課題数: 1件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi