甲南大学フロンティア研究推進機構

KONAN INFINITY

理工系シーズ一覧

シーズ名称
コンピュータで数学をする – Do math with software –
キーワード
proof assistant、Isabelle/HOL
研究者名
高橋 正
PDF
学部
知能情報学部
学科
知能情報学科
連携方法
  • 共同研究