researchmap
 
ピックアップ研究者
国立情報学研究所
国立情報学研究所 コンテンツ科学研究系 准教授 電気通信大学 情報システム学研究科 客員准教授 賢く頼れる次世代の新しいソフトウェアのあ...
 

正当なCSSです!

 

研究キーワード  [ proof theory ]

総件数: 11件


  • アライ ノリコ
    (Noriko H. Arai)
    国立情報学研究所
    社会共有知研究センター  
    センター長・教授
  • 千葉大学
    大学院 理学研究科  
    教授
  • アキヨシ リョウタ
    早稲田大学
    高等研究所  
    准教授(任期付)
  • ナガシマ タカシ
    (三ねんせい)
    一橋大学
    大学院経済学研究科  
    名誉教授
  • コバヤシ サトシ
    京都産業大学
    コンピュータ理工学部 インテリジェントシステム学科 京都産業大学 コンピュータ理工学部  
    教授
  • タカハシ マサコ
    旧所属 国際基督教大学 教養学部 理学科
    教授,名誉教授
  • オオニシタクロウ
    京都大学
    文学部  
    研究員
  • タナカ ヨシヒト
    九州産業大学
    経済学部 経済学科  
    准教授
  • 千葉大学
    理学部 数学・情報数理学科  
    日本学術振興会特別研究員
  • ヤマガタ サトシ
    日本水処理工業株式会社
    環境事業部