計算機科学

楽しい数学
2のn乗の話(Turingマシンについて)

セミナー概要 今回の「楽しい数学」のトピックは、2のn乗の話です。なにか簡単な話に見えますが、意外と広がりがあります。お楽しみに。いずれの話も、特別の数学的な前提知識は必要ではありません。皆さんのおこしをお待ちしています […]

続きを読む
その他講演
はじめてのCoq (サイレント version )

Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ Hello Coq! Coqとのはじ […]

続きを読む