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

2014 年度 研究概要(研究進捗評価)

高階モデル検査とその応用

研究課題

  • PDF
研究課題/領域番号 23220001
研究種目

基盤研究(S)

配分区分補助金
研究分野 情報学基礎
研究機関東京大学 (2012-2015)
東北大学 (2011)

研究代表者

小林 直樹  東京大学, 情報理工学(系)研究科, 教授 (00262155)

研究分担者 篠原 歩  東北大学, 大学院情報科学研究科, 教授 (00226151)
五十嵐 淳  京都大学, 大学院情報学研究科, 教授 (40323456)
海野 広志  筑波大学, 大学院システム情報工学研究科, 助教 (80569575)
連携研究者 寺内 多智弘  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70447150)
住井 英二郎  東北大学, 大学院情報科学研究科, 教授 (00333550)
松田 一孝  東北大学, 大学院情報科学研究科, 准教授 (10583627)
研究期間 (年度) 2011-05-31 – 2016-03-31

URL: 

公開日: 2016-06-03  

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

Powered by NII kakenhi