研究キーワード

型理論

研究キーワードが「型理論」である研究者

  • イマイ ケイゴ
    Keigo Imai
    岐阜大学
    工学部 電気電子・情報工学科 情報コース 助教
  • ニシムタ ユウキ
    Yuki Nishimuta
  • ウエノ カツヒロ
    Katsuhiro Ueno
    東北大学
    電気通信研究所 システム・ソフトウェア研究部門 ソフトウェア構成研究室 准教授
  • オオホリ アツシ
    Atsushi Ohori
    東北大学
    電気通信研究所 システム・ソフトウェア研究部門 ソフトウェア構成研究室 ソフトウエア構成研究分野 教授
  • アキヨシ リョウタ
    Ryota Akiyoshi
    早稲田大学
    高等研究所 招聘研究員
  • ヒロカワ サチオ
    HIROKAWA SACHIO
    株式JVIS
    RDセンター
  • Yoshihiko Kakutani
    東京大学
    情報理工学系研究科 助教(退職)
  • Yawara ISHIDA
    京都大学
  • Ukyo Suzuki
    東京大学
  • ナカザワ コウジ
    Koji Nakazawa
    名古屋大学
    大学院情報学研究科 情報システム学専攻 ソフトウェア論 准教授
  • Masahito Hasegawa
    京都大学
    数理解析研究所 教授
  • イガラシ アツシ
    Atsushi Igarashi
    京都大学
    大学院情報学研究科 教授
  • YUICHI KOMORI
  • テルイ カズシゲ
    Kazushige Terui
    京都大学
    数理解析研究所 附属計算機構研究施設 助手
  • タカハシ マサコ
    Masako Takahashi
    旧所属 国際基督教大学 教養学部 理学科
    教授,名誉教授