計算機科学
2のn乗の話(Turingマシンについて)
2020年6月28日
セミナー概要 今回の「楽しい数学」のトピックは、2のn乗の話です。なにか簡単な話に見えますが、意外と広がりがあります。お楽しみに。いずれの話も、特別の数学的な前提知識は必要ではありません。皆さんのおこしをお待ちしています […]
はじめてのCoq (サイレント version )
2019年11月7日
Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ Hello Coq! Coqとのはじ […]