researchmap
 

研究キーワード  [ lambda calculus ]

総件数: 6件


  • <
  • >
  • スミイ エイジロウ
    東北大学
    大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野  
    教授
  • ナカザワ コウジ
    名古屋大学
    大学院情報学研究科  情報システム学専攻 ソフトウェア論  
    准教授
  • 京都大学
    数理解析研究所  
    教授
  • キムラダイスケ
    東邦大学
    理学部  
    講師
  • 慶應義塾大学
    文学研究科  
  • イマイヨシヒロ
    株式会社ドワンゴ
    DMC開発部  
    エンジニア

  • <
  • >