基本情報

所属
電気通信大学 大学院情報理工学研究科、情報理工学域情報学専攻、Ⅰ類 (情報系) 准教授
学位
理学修士(東京大学)
博士(情報科学)(早稲田大学)

研究者番号
30390602
J-GLOBAL ID
200901029687174590
researchmap会員ID
6000010503

外部リンク

学歴

  1

受賞

  1

論文

  158

MISC

  1
  • 吉岡 信和, 田辺 良則, 田原 康之, 長谷川 哲夫, 磯部 祥尚
    日本ソフトウェア科学会コンピュータソフトウェア 31(4) 4_40-4_65 2014年12月  

書籍等出版物

  4
  • 大須賀 昭彦, 田原 康之, 中川 博之, 川村 隆浩 (担当:共著, 範囲:第2章 自律ソフトウェア設計のためのエージェント技術,第6章 自律Webアプリケーション)
    コロナ社 2017年7月21日 (ISBN: 9784339028188)
  • 大須賀 昭彦, 長谷川 哲夫, 田原 康之, 磯部 祥尚 (担当:共著, 範囲:第4章 ケーススタディ(1) オートクラッチ車ギア制御)
    近代科学社 2012年9月28日
  • 田中 譲, 磯部 祥尚, 粂野 文洋, 櫻庭 健年, 田口 研治, 田原 康之 (担当:共著, 範囲:第3章 並行プログラム―並行性に特有の概念と知識を学ぶ 第8章 モデル検査実装―検証モデル記述のノウハウを利用する 第9章 抽象解釈―モデル検査の複雑さを軽減する)
    近代科学社 2008年9月26日
  • 萩谷 昌巳, 吉岡 信和, 青木 利晃, 田原 康之 (担当:共著, 範囲:第7章 検証の実践:抽象化・効率化・デバッグ)
    近代科学社 2008年9月26日

講演・口頭発表等

  31