研究

最終更新日: 2020-12-31

主な研究プロジェクト

主な研究トピック

  • 制約ソルバー,制約プログラミングシステム

  • SATソルバー

  • 論理プログラミング

    • Prologコンパイラ

    • Prologマシン

  • 定理証明

  • 自然言語処理

  • See also softwares

共同研究者など

  • 宋 剛秀 (神戸大学 情報基盤センター 准教授)

  • 番原 睦則 (名古屋大学大学院 情報科学研究科 教授)

  • 井上 克巳 (国立情報学研究所 情報学プリンシプル研究系 教授)

  • 鍋島 英知 (山梨大学大学院 総合研究部 准教授)

  • Daniel Le Berre (Centre de Recherche en Informatique de Lens)

  • Torsten Schaub (University of Potsdam)