Coq を含む生放送が 1 件 (1番組) 見つかりました ( 1 - 1 件目を表示 )
本日は筑波大学大学院で、計算機を使った数学的定理の証明とソフトウェア検証への応用を研究されている坂口...
電脳空間カウボーイズZZ