ノラ@腹ペコモンスター @19391_nora @suzakus 素数は2.3.5.7・・・と続きます。 これを掛け算する場合、素数は頭に2があります(残りは全部奇数ですが)結果として全ての素数を掛けた場合であっても2nで偶数になりますよ 2014-11-24 12:58:58
全ての素数の積が偶数なのが納得がいかない人たち
ノラ@腹ペコモンスター @19391_nora @suzakus 素数は2.3.5.7・・・と続きます。 これを掛け算する場合、素数は頭に2があります(残りは全部奇数ですが)結果として全ての素数を掛けた場合であっても2nで偶数になりますよ 2014-11-24 12:58:58
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
