2026.04.26 グロタンディーク宇宙とは集合論の操作で閉じた集合のことである グロタンディーク宇宙は一見難しそうな概念に見えますが、集合論の公理をある程度理解できれば定義の意図を理解するのはそれほど難しくない、ということをこの記事で解説します。 どちらかというと集合論の公理が難しく、それき... 続きを読む
2026.03.31 祖沖之と円周率 この記事は以下の動画の補足記事です。 https://youtu.be/ObKvZhZcEto 5 世紀ごろの中国で活躍した天文学者兼数学者、祖沖之は円周率について以下の結果を残したとされています。 ... 続きを読む