楽しい数学
数学的認識について / 数学の基礎と計算科学
2020年8月28日
マルゼミ 「Interactive Proof 入門」に向けて blog集 人は、正しくないことを信ずることがあること 数学者の「不実さ」について 嘘つきが盲人に色を教える話 人は、正しくないことを信ずること […]
2のn乗の話(Turingマシンについて)
2020年6月28日
セミナー概要 今回の「楽しい数学」のトピックは、2のn乗の話です。なにか簡単な話に見えますが、意外と広がりがあります。お楽しみに。いずれの話も、特別の数学的な前提知識は必要ではありません。皆さんのおこしをお待ちしています […]
「同じ」を考える -- 「型の理論」入門
2019年1月29日
2019/01/29 「同じ」を考える -- 「型の理論」入門 概要 セミナーの呼びかけ 数学では、「同じ」「等しい」というのは、もっとも基本的な概念の一つです。 「2 x 3 は、3 x 2 と同じである」 「2辺と […]
計算理論入門 -- 「やさしい計算」と「むずかしい計算」
2018年10月15日
10月15日 楽しい数学 第三回 テーマ:「計算理論入門 -- 「やさしい計算」と「むずかしい計算」」 概要:https://mathnight3.peatix.com/ 資料:https://goo.gl/9pAU1W […]