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つにわけ、その関係を述べる。
2018.04.28
ドメイン変更
独自ドメインを取得し、サイトを移行しました。
2018.04.23
Web ページリニューアル
当ウェブサイトをリニューアルしました。