研究キーワード

定理証明

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

  • ヨシダ サトル
    Satoru YOSHIDA
    公立鳥取環境大学
    人間形成教育センター 准教授
  • コバヤシ ツトム
    Tsutomu Kobayashi
    科学技術振興機構
    ACT-I 専任研究者
  • キノシタ シュウジ
    Shuji Kinoshita
    産業技術大学院大学
    産業技術研究科 助教
  • Masahiro Sakai
    Preferred Networks, Inc.
    Engineer
  • オガワ キヨシ
    Ogawa Kiyoshi
  • Lifeng He
    愛知県立大学
    情報科学部 教授
  • Toshiaki Aoki
    北陸先端科学技術大学院大学
    先端科学技術研究科 教授
  • Kazuhiro Ogata