researchmap
 
ピックアップ研究者
名古屋学院大学
妻と二人暮らし。趣味は声楽とクラシック音楽鑑賞、そして時おり、デパ地下・スーパーの食料品売り場を歩くこと。キリスト教の教会礼拝には毎週出席...
 

正当なCSSです!

 


JST Home Page
 

研究キーワード  [ type theory ]

総件数: 7件


  • <
  • >
  • アキヨシ リョウタ
    早稲田大学
    高等研究所  
    招聘研究員
  • ナカザワ コウジ
    名古屋大学
    大学院情報学研究科  情報システム学専攻 ソフトウェア論  
    准教授
  • 京都大学
    数理解析研究所  
    教授
  • テルイ カズシゲ
    京都大学
    数理解析研究所 附属計算機構研究施設  
    助手
  • タカハシ マサコ
    旧所属 国際基督教大学 教養学部 理学科
    教授,名誉教授
  • 慶應義塾大学
    文学研究科  
  • スギモト ヨウイチ
    Kagawa university
    Faculty of Engineering and Design  
    准教授

  • <
  • >