ニコニコ生放送

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

【会場のご案内】

2017/02/13(月) 開場:18:57 開演:19:00
この番組は2017/02/13(月) 21:30に終了いたしました。
来場者数:296人 コメント数:125
本日は筑波大学大学院で、計算機を使った数学的定理の証明とソフトウェア検証への応用を研究されている坂口和彦氏をお招きしての、定理証明スペシャルです!!
真面目に聞き入るもよし...!お酒を片手に「わからないな〜」となるもよし

出演:
坂口和彦(ゲスト)
清水亮
内田政俊(シン石丸)
ゴトー博士

CHANNEL INFO

2 5 9 3 1 9 2 ch