researchmap
 
ピックアップ研究者
(国)宇宙航空研究開発機構
嶋田 徹(しまだ とおる) 宇宙航空研究開発機構 宇宙科学研究所 宇宙飛翔工学研究系 教授 1985年 東京大学大学院工学系研究科航空学専...
 

正当なCSSです!

 


JST Home Page
 

研究キーワード  [ 型理論 ]

総件数: 14件


  • ヒロカワ サチオ
    九州大学
    情報基盤研究開発センター  
    教授
  • オオホリ アツシ
    東北大学
    電気通信研究所 システム・ソフトウェア研究部門 ソフトウェア構成研究室 ソフトウエア構成研究分野  
    教授
  • イガラシ アツシ
    京都大学
    教授
  • アキヨシ リョウタ
    早稲田大学
    高等研究所  
    招聘研究員
  • ナカザワ コウジ
    名古屋大学
    大学院情報学研究科  情報システム学専攻 ソフトウェア論  
    准教授
  • 京都大学
    数理解析研究所  
    教授
  • テルイ カズシゲ
    京都大学
    数理解析研究所 附属計算機構研究施設  
    助手
  • タカハシ マサコ
    旧所属 国際基督教大学 教養学部 理学科
    教授,名誉教授
  • 慶應義塾大学
    文学研究科