研究キーワード

型システム

研究キーワードが「型システム」である研究者

  • Hiroshi Unno
    筑波大学
    システム情報系 准教授
  • Takeshi Tsukada
    東京大学
    大学院情報理工学系研究科
  • クワバラ ヒロアキ
    Hiroaki Kuwabara
    南山大学
    情報センター 講師
  • Ryosuke Sato
    九州大学
    大学院システム情報科学研究院 情報知能工学部門 助教
  • コバヤシ ナオキ
    Naoki Kobayashi
    東京大学
    大学院情報理工学系研究科 教授
  • キセリヨーヴ エヴケニエヴイチ オレツグ
    KISELYOV OLEG EVGENIEVICH
    東北大学
    大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 助教
  • スミイ エイジロウ
    Eijiro Sumii
    東北大学
    大学院情報科学研究科 情報基礎科学専攻 ソフトウェア科学講座 ソフトウェア基礎科学分野 教授
  • イマイ ケイゴ
    Keigo Imai
    岐阜大学
    工学部 助教
  • Kanae Tsushima
  • スエナガ コウヘイ
    Kohei Suenaga
    京都大学
    大学院情報学研究科 通信情報システム専攻 准教授
  • イガラシ アツシ
    Atsushi Igarashi
    京都大学
    教授
  • テラウチ タチオ
    Tachio Terauchi
    早稲田大学
    理工学術院 基幹理工学部 情報理工学科 教授
  • ユキタ シュウイチ
    Shuichi Yukita
    法政大学
    情報科学部ディジタルメディア学科 教授