研究キーワード

定理証明

研究キーワードが「定理証明」である研究者

  • Toshiaki Aoki
    北陸先端科学技術大学院大学
    先端科学技術研究科 教授
  • Kazuhiro Ogata
    北陸先端科学技術大学院大学
  • ヨシダ サトル
    Satoru YOSHIDA
    公立鳥取環境大学
    General Education Center 准教授
  • コバヤシ ツトム
    Tsutomu Kobayashi
    国立研究開発法人科学技術振興機構
    ACT-I 専任研究者
  • キノシタ シュウジ
    Shuji Kinoshita
    東京都立産業技術大学院大学
    産業技術研究科 助教
  • Lifeng He
    愛知県立大学
    情報科学部 教授
  • オガワ キヨシ
    Ogawa Kiyoshi
  • サカイ マサヒロ
    Masahiro Sakai
    Preferred Networks, Inc.
    Engineer