| ホーム > www.textfile.org > 2006年5月 | 検索 | 更新情報 |
| 情報投稿 | 記事一覧 | カテゴリ一覧 | RSS |
|
JugemKey認証APIにシーケンス図。
「ブラウザに返しまし。」はtypo。→修正されました。
[blog][security] 2006年5月31日 15:56 | feedback | top
はてながエンジニア募集だそうです。 「はてなのサーバーは現在 250 台以上あり、月間の PV は 5 億くらいあります」へえ…。
[hatena] 2006年5月30日 09:02 | feedback | top
「きみがよは ちよにやちよに さざれいしの いわおとなりて こけのむすまで」と音が似ている歌 「Kiss me, girl, your old one. Till you're near, it is years till you're near. Sounds of the dead will she know? She wants all told, now retained, for, cold caves know the moon's seeing the mad and dead.」 を歌うという話題。 政治的なことはさておいたとしても、こういうのを作るという心意気がすごい。 マリア観音と少し似ている話。
via http://kazuho.exblog.jp/4846928
[language] 2006年5月30日 08:17 | feedback | top
さくらインターネットでSubversionもあわせて。
via http://www.machu.jp/diary/20060527.html#p01
[development] 2006年5月28日 20:35 | feedback | top
一定のエラーを許容することによって効率の向上を図るヒープ。 おもしろそう。 こういうのはロッシーなデータ構造とでも言うのだろうか。
[math][programming] 2006年5月25日 23:34 | feedback | top
[blog][education][web] 2006年5月25日 06:25 | feedback | top
青木峰郎さんによる、ふつうのプログラマに贈る関数型言語入門。 (詳細目次)山下伸夫さん(nobsun)監修。 アマゾンにて取扱中。
[book][language][programming] 2006年5月23日 07:36 | feedback | top
via http://www.baldanders.info/spiegel/log/200605.html#d20_t1
[aozora][writing] 2006年5月21日 08:16 | feedback | top
J2SE 5.0で導入されたjava.util.concurrentの、アトミックな変数操作ライブラリの使用例。 リスト2で中括弧が一つ落ちてる。 ところで、マルチスレッドに興味がある方は、 拙著 『増補改訂版Java言語で学ぶデザインパターン入門マルチスレッド編』もぜひどうぞ、と宣伝。
[java] 2006年5月20日 07:15 | feedback | top
法的には誤っていないのかもしれないけれど、 現場として萎縮するかもしれないという懸念は理解できる。 出版社としても、日本全国の読み聞かせ団体からFAXが届いたら困るような気もする。 絵本の出版社が「読み聞かせOK!」マークを絵本につけるというのはどうでしょうね。
[book][copyright][license] 2006年5月13日 18:23 | feedback | top
青木峰郎さんによる、ふつうのプログラマに贈る関数型言語入門。 (詳細目次)山下伸夫さん(nobsun)監修。
[book][language][programming] 2006年5月13日 09:28 | feedback | top
via http://d.hatena.ne.jp/onishi/20060512#p1
[development] 2006年5月12日 21:04 | feedback | top
via http://d.hatena.ne.jp/higepon/20060512/1147430567
[development] 2006年5月12日 20:54 | feedback | top
[google] 2006年5月12日 18:07 | feedback | top
トレンド比較。
[google] 2006年5月11日 22:50 | feedback | top
高木さんによる。 ところで、高木さんのこのエントリ自体が巧妙な宣伝活動だとしたらどうかという仮定。
しまった。textfile.orgも荷担してしまった :-)
[fun][microsoft] 2006年5月11日 01:07 | feedback | top
Googleの検索結果を擬似乱数生成器の種にするという話。 でも、この場合にはGoogleに与える検索語のほうが「種」になるのではないかと思います。 つまり、検索語をどうやってランダムに選ぶかという堂々巡りになっていますね。
[security] 2006年5月10日 19:01 | feedback | top
試してみた。結城は「λ」だけ間違っていた。きっと漢字の「入」の影響だと思う。
via おれカネゴンさん
[language][math] 2006年5月10日 15:16 | feedback | top
すごく面白い。読んでいてどきどきする。
[art] 2006年5月10日 00:04 | feedback | top
「MatzさんのMath Complexをチェック」とのこと。 弾さんに座布団一枚。
それにしても、exp(i*pi) = [1,pi] は確かに格好いいなあ。
s/以外/意外/
[math][perl][ruby] 2006年5月9日 14:10 | feedback | top
「命題⇔型」や「証明⇔プログラム」という対応のお話。 何だかすごいなあ。 ところで「ゲーデルの不完全性定理」とか「チューリングマシンの停止問題」なども、 プログラミング的に「証明」できたりするのでしょうか。
追記: 読者さんから以下のページを教えていただきました。感謝! Chaitinの例を書き直したものらしいですね。 なるほど。
追記: k.inabaさんが、上記のコメントを受けてエントリを書いてくださいました。 「証明」できるみたいですね。へええ。
[language][math][programming] 2006年5月8日 22:50 | feedback | top
via http://subtech.g.hatena.ne.jp/miyagawa/20060505/1146815851
[web][xml] 2006年5月8日 07:57 | feedback | top
[book] 2006年5月8日 04:06 | feedback | top
ConTestは「スレッド間の相対順序が実行結果に影響を与える可能性のある場所に、コンテキストスイッチのコードを自動的に埋め込む」というツールのようですね。
「リスト3. 印刷キュー」を見て、
一瞬でバグを見つけられなかったJavaプログラマは、
『増補改訂版Java言語で学ぶデザインパターン入門マルチスレッド編』をぜひどうぞ (^_^)。
[java] 2006年5月5日 01:36 | feedback | top
ふむふむ。 微妙に関係する記事。
[fun][security] 2006年5月2日 16:07 | feedback | top
via http://kazuhiko.tdiary.net/20060501.html#p01
[news][ruby] 2006年5月2日 13:17 | feedback | top
[education][writing] 2006年5月2日 07:32 | feedback | top
yucoさん、中国へ。 検証もよいのですが、ご無事でお戻りくださいませ。
[people][web] 2006年5月1日 05:13 | feedback | top
へえ。
via http://www.kmonos.net/wlog/60.html#_2158060429