楽しい数学

楽しい数学
数学的認識について / 数学の基礎と計算科学

マルゼミ 「Interactive Proof 入門」に向けて  blog集 人は、正しくないことを信ずることがあること 数学者の「不実さ」について 嘘つきが盲人に色を教える話 人は、正しくないことを信ずること […]

続きを読む
楽しい数学
2のn乗の話(Turingマシンについて)

2020/06/30 楽しい数学 概要と申し込み https://powerof2.peatix.com/ 「2のn乗の話」 講演ビデオ 第1章 2のn乗の様々な解釈 第2章 𝔠 = 2^(ℵ_0) : 連続体仮説 第3 […]

続きを読む
楽しい数学
「同じ」を考える -- 「型の理論」入門

2019/01/29 「同じ」を考える -- 「型の理論」入門  概要 セミナーの呼びかけ 数学では、「同じ」「等しい」というのは、もっとも基本的な概念の一つです。 「2 x 3 は、3 x 2 と同じである」 「2辺と […]

続きを読む
楽しい数学
計算理論入門 -- 「やさしい計算」と「むずかしい計算」

10月15日 楽しい数学 第三回 テーマ:「計算理論入門 -- 「やさしい計算」と「むずかしい計算」」 概要:https://mathnight3.peatix.com/ 資料:https://goo.gl/9pAU1W […]

続きを読む
楽しい数学
数とは何か?

7月3日 楽しい数学:特別編 テーマ:「数とは何か?」 概要:https://math-special.peatix.com/ 資料:https://goo.gl/UwdKUo by 佐藤文広    

続きを読む
マルラボ
集合論入門

2018/05/29 MaruLabo数理ナイト「集合論入門」概要 集合論は、19世紀後半に、ドイツの数学者ゲオルグ・カントールが創り出した数学の一分野です。それまでの数学が、微分や積分や無限級数や幾何学的図形や物理的な […]

続きを読む
マルラボ
数理哲学への招待

2018/04/25 MaruLabo数理ナイト「数理哲学への招待」概要 ディープラーニングや量子コンピュータなど、新しいIT技術をすこし詳しく知ろうとすると、いろんな数学的知識が要求されることがあります。そこで立ち止ま […]

続きを読む