nicolive-logo
  • 297
  • 125
コメント

【定理証明スペシャル】Congruence Closureアルゴリズムによる等式の自動証明【君はついて来れるか】

CH
有料
(2時間30分)

電脳空間カウボーイズZZ提供:株式会社UEI
本日は筑波大学大学院で、計算機を使った数学的定理の証明とソフトウェア検証への応用を研究されている坂口和彦氏をお招きしての、定理証明スペシャルです!!
真面目に聞き入るもよし...!お酒を片手に「わからないな〜」となるもよし

出演:
坂口和彦(ゲスト)
清水亮
内田政俊(シン石丸)
ゴトー博士
コンテンツツリーを見る