Sokratesさんの備忘録ないし雑記帳

書きたいことを書いている.駄文注意.

2018-01-01から1年間の記事一覧

つまようじを投げて円周率を求めてみた

この記事は Math Advent Calendar 2018 - Adventar の12/19付の分の記事です(え?10日も遅れてる?......スタンド攻撃を受けているようだな). ビュフォンの針という問題をご存じだろうか? ビュフォンの針 平面上に平行線が等間隔に多数書かれている. その間隔…

【備忘録】人生で一度は証明を追いたい命題一覧

だいぶ前にTwitterで「人生で一度は証明を追いたい定理」とかいう話題が盛り上がっていた. もとツイートを探そうかお思ったんだが, 見つからなかった(←探し方が悪い)ので誰が言い始めたのかはわからないのだが, 「なるほど, 確かにそういう定理・命題・補題…

数学と比喩~CR性は崇徳院である~

数学をやっているとすごいレベルの比喩でもって数学的な概念を説明してくれる人に出会う. 最近自分の中でヒットしたのは「CR性は崇徳院」というものだ. CR性というのは"Church Rosser 性" というものである種の順序集合の性質のことである. 正確には次のよう…