補題：新しい関数“Ｃr（Ω）”を定義する - Plus Le Toolの定理（＊Ｃ）の証明。今まで証明がなかったものをさきさんが証明してくれました。ありがとうございます！ この記事ではさきさんの証明を参考にしつつ、しかし同じこと書いても２番煎じなので別路線で…

初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。 使う記号の定義は[id:plusletool:20130427:p2]参照。 ここでは関数 を定義する。 なぜ定義するのか、何に使うのか、どんな意味なのか、……ｅｔｃは次回の記事で分かるはずなので、今回は細…