タグ

2009年4月10日のブックマーク (3件)

  • 現代数学における問題と困難(集合論)

    [ver. 3.95  ( 2012.11.11 )] ※ 「発展編」の「正しいか?」の後に「注記」を加筆した。 ( 2012.09.03 ) ※ 「専門解説編」の「公理9」の箇所 を加筆補充しました。 ( 2012.09.07 ) ※ 「新まとめ」という 専門家向けのページを公開しました。 ( 2012.11.11 ) このホームページに示すことは、「現代数学を構築するには、集合論による方法のほかに、別の方法もある」ということだ。(具体的に言えば、「区体論による方法」である。) 以下で示すのは、数学に関する学術的な話である。とはいえ、前半(Part1~Part3)に関する限りは、論文というほど堅苦しくはない。一般の人々にも理解できるようなものだ。 対象とする読者は、知的好奇心のある人々である。教わったことを単に覚えるだけでなく、自分の頭で考えようとする人々である。ただし、数学の不得意な人

    coppieee
    coppieee 2009/04/10
    しゅーごーろん
  • 無題のドキュメント 公園から嫁が居なくなった

    1 :以下、名無しにかわりましてVIPがお送りします[]:2009/04/08(水) 15:40:04.26 ID:8tuKfuCG0 仕事休んで今まで泣いてた。 突然過ぎる別れに頭が対応できなかった 3 :以下、名無しにかわりましてVIPがお送りします[]:2009/04/08(水) 15:42:00.20 ID:URVuc1ka0 公園に放置してたら管理人に捨てられるにきまってるだろ。 空気抜けば持ち運びしやすいんだからちゃんと持って帰れ 6 :以下、名無しにかわりましてVIPがお送りします[]:2009/04/08(水) 15:44:48.33 ID:G3pN4I7eO 公園にパソコン持ち込んだらフツー盗まれるべ 7 :以下、名無しにかわりましてVIPがお送りします[]:2009/04/08(水) 15:45:05.21 ID:8tuKfuCG0 そのジャングルジムと出会ったのは

    coppieee
    coppieee 2009/04/10
    理解できません
  • JavaはCより速かった — ありえるえりあ

    http://blog.liris.org/2009/03/java.html 仕事をせずに遊んでいる人のコードを、家のJava(Java6)で試してみました。 シェルで動かして、グラフはgnuplotです。ハイテク満載です。 $ seq 1 100 |xargs -n 1 java test |tee /tmp/java-cl.out $ seq 1 100 |xargs -n 1 java -server test |tee /tmp/java-sv.out 横軸は同時スレッド数、縦軸が時間(ミリ秒)です。要は低い方が速くて優秀です。 クライアントVMとサーバVMの差がすごいです。と言うか、サーバVMが優秀すぎます。と言うか、サーバVMの数値は変です。トータルでまわるループ数が線形に増えているはずなのに、処理時間があまり増えていません。 試しにと思って、Cのコードと比較してみました(コ

    coppieee
    coppieee 2009/04/10
    Javaが遅いと言われたのは昔の話。