2020年2月1日 MathematicsQuantum たとえ話で理解する量子の世界(4) — 「数」にもいろいろある 状態を表すのに、数字一個が必要か数字二個が必要かという話をしてきました。最も単純な量子の状態を表すqubitは、二つの数字で表されます。 ところで、数字といってもいろいろあります。自然数、整数、有理数、実数。さらにそれを […]
2020年1月29日 CoqlogicMathematics 1/28 マルゼミ「論理学入門 I」ダイジェスト 1/28マルゼミ「論理学入門 I」の音声でのダイジェスト版です。 イントロ エンディング 講演資料 講演資料はこちらです。https://www.marulabo.net/docs/logic1/ 当日の様子です
2020年1月26日 logicMathematics 1月のセミナー「論理学入門 I」のお知らせ 丸山の1月のセミナーのお知らせです。 1/28 マルゼミ 「論理学入門 I — 命題論理の演繹ルール」 https://logic1.peatix.com/view