新しい記事

  • 2020.03.13
    自然数の加法 (ペアノ算術)
    この記事では、ペアノの公理を満たす『自然数』の加法を定義し、その性質を論じる。(いずれ自然数の記事シリーズを作ってそこに編入した

  • 2019.02.16
    お月様カレンダー
    React と Typescript の練習として、月の満ち欠けを表示するカレンダーを作りました。Javascriptファイルを

  • 2018.06.23
    包除原理とBonferroni inequalities
    包除原理 (inclusion-exclusion principle) は、集合の要素数・確率・面積などにおいて成立するべきと

  • 2018.06.18
    Turán's theorem
    Turán's theorem はグラフに関する定理であり、Turán number $T(n,r+1,2)$ と $\text

  • 2018.06.15
    2つの Turán number
    文献によって Turán number の定義が異なるようだったので、それを大きく2つにわけ、その関係を述べる。

最近の更新