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

大岩 寛  OIWA Yutaka

ORCIDORCID連携する *注記
研究者番号 20415649
その他のID
所属 (現在) 2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
所属 (過去の研究課題情報に基づく) *注記 2017年度 – 2018年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム長
2015年度 – 2016年度: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究グループ長
2015年度: 産業技術総合研究所, 情報技術研究部門, 研究グループ長
2014年度: 独立行政法人産業技術総合研究所, 情報・人間工学領域研究戦略部, 主任研究員
2013年度: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 研究グループ長
2012年度: 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員
審査区分/研究分野
研究代表者以外
ソフトウェア / ソフトウエア
キーワード
研究代表者以外
並行処理解析器 / 仕様記述・検証 / 有限状態マシン / ロボットソフトウェプラットフォーム / 並行処理 / 定理証明器 / 形式仕様記述・検証 / 協調ロボット制御 / 有限状態機械 / 定理証明 … もっと見る / モデル検査 / 検証 / 形式手法 / 安全性 / 制御ソフトウェア / 協調ロボット / 詳細化 / TLS / セキュリティプロトコル / 多倍長整数演算 / Coq / 定理証明支援系 / 組込みソフトウェア / アセンブリ言語 / C言語 / 形式検証 隠す
  • 研究課題

    (2件)
  • 研究成果

    (1件)
  • 共同研究者

    (6人)
  •  安全な協調ロボット制御ソフトウェア開発方法の研究

    • 研究代表者
      磯部 祥尚
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      国立研究開発法人産業技術総合研究所
  •  組込みソフトウェアの安全な構築のためのC言語のモデルとその形式検証

    • 研究代表者
      Affeldt Reynald (AFFELDT Reynald)
    • 研究期間 (年度)
      2012 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      国立研究開発法人産業技術総合研究所

すべて 2018

すべて 学会発表

  • [学会発表] 協調ロボット制御ロジックの形式的なモデル化と検証 - FSM4RTC のための有限状態マシン設計の信頼性向上 -2018

    • 著者名/発表者名
      磯部 祥尚, 安藤 慶昭, 宮本 信彦, Biggs Geoffrey, 大岩 寛
    • 学会等名
      ロボティクス・メカトロニクス講演会 ROBOMECH2018
    • データソース
      KAKENHI-PROJECT-15H02687
  • 1.  Affeldt Reynald (40415641)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  磯部 祥尚 (50356458)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 3.  花井 亮 (10521255)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  BIGGS Geoffrey (20534803)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 5.  安藤 慶昭 (50371018)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 6.  中坊 嘉宏 (70360609)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

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