2013-05-04から1日間の記事一覧
初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。使う記号の定義は[id:plusletool:20130427:p2]参照。 【追記】 計算ミスを直したら、重要になるはずだったリード・マラー標準形がいらない子になった。 その結果、積和標準形とリード・マラ…
初期seedから日時を求める無謀な挑戦 - Plus Le Toolのための補題。使う記号の定義は[id:plusletool:20130427:p2]参照。 【追記】 計算ミスを直したら、重要になるはずだったリード・マラー標準形がいらない子になった。 その結果、積和標準形とリード・マラ…