{{flash.message}}
researchmap
  • 日本語 | English
  • 新規登録
  • ログイン
アバター

石井 大輔

Daisuke ISHII
更新日: 04/24
  • ホーム
  • 研究キーワード
  • 研究分野
  • 経歴
  • 受賞
  • 論文
  • MISC
  • 所属学協会
  • 委員歴

委員歴

  9
表示件数
  • 20件
  • 50件
  • 100件
  • 2016年 - 現在
    日本ソフトウェア科学会 ディペンダブルシステム研究会, 運営委員 
  • 2015年 - 現在
    日本ソフトウェア科学会, 『コンピュータソフトウェア』編集委員 
  • 2015年 - 現在
    電子情報通信学会 システム数理と応用研究会, 専門委員 
  • 2025年
    ARITH, PC member 
  • 2014年 - 2019年
    CyPhy Workshop, PC member 
  • 2018年
    NSV Workshop, PC member 
  • 2016年 - 2017年
    IEEE GCCE OS-ACE, Co-chair 
  • 2016年
    CSD&M, PC member 
  • 2015年9月
    湘南会議 "Validated Numerics Meets Reachability Analysis for CPS Design", オーガナイザ 
マイポータルへ

メニュー

マイポータル 研究ブログ資料公開

共著者の一覧

まだ共著者が1人も登録されていません。
アバター
{{coauthor.Related.name_str}}

{{coauthor.Related.last_modified}} 更新

2017 researchmap
利用規約
Japan Science and Technology Agency