c.l.sで興味深い議論が進行していたのでメモ。 purely functional Lisp + call/cc = ? 発端は、Nils M Holmの 「Purely functionalなマイLispにcall/ccをつけてみたよ」 という投稿。 それに対し、Schemeの大御所達から 「call/ccは、副作用を生じるよ」 と突っ込みが入る。 言い替えれば、「set!などの明示的な副作用オペレータを一切持たない purely functionalなLispに、call/ccを導入すると、それはもはや purely functionalではなくなる」ということ。 実例 これは簡単な例によって示すことができる。szgygによる例： (let ((f (lambda (x) (call/cc (lambda (k) k))))) (cons (f 0) (f 0))) (f 0)の2回

SPOJ (Sphere Online Judge) is an online judge system with over 315,000 registered users and over 20000 problems. The solution to problems can be submitted in over 60 languages including C, C++, Java, Python, C#, Go, Haskell, Ocaml, and F#. SPOJ has a rapidly growing problem set/tasks available for practice 24 hours/day, including many original tasks prepared by the community of expert problem sett

さて早いもので今年もあと40日あまりとなりました。そろそろいろんな分野で年間ベスト選出の時期になってもおります。以下ではとりあえず年間200冊ぐらい読んできた新刊経済書の中から昨年の11月末以降でたものの中から順位不同でとりあえずベスト10を作成してみました。私の専門分野というよりも一般的な関心から妥当かなと思われる中から選んでみました。皆さんはどうでしょうか。なおさすがに自著『経済政策を歴史に学ぶ』と『ベン・バーナンキ』を選ぶのは自粛しました。笑。今年は二冊出版したことになるのか。 １　安達誠司『脱デフレの歴史分析』（藤原書店） 近代から戦中までの日本経済を「政策レジーム」から総合的にとらえたすばらしい業績。 ２　中原伸之『日銀はだれのものか』（中央公論新社） 日本銀行の政策決定の表裏を活写し、なぜ日本で停滞が続いたかまで分析した稀有な書。 ３　中島隆之『障害者の経済学』（東洋経済新報社

カリフォルニア州の最高裁判所は米国時間11月20日、個人のネットユーザーは第三者が書いた誹謗中傷を再配布しても責任を問われない、という裁定を下した。ブロガーやニュースグループの参加者、ウェブパブリッシャーにとっては大きな勝利だ。 裁判官が全員一致で下したこの裁定はおそらく、1996年制定の連邦通信品位法（Communications Decency Act：CDA）が、オンラインサービスを提供する事業者だけでなくコンテンツを再配布するサービス利用者も保護することを、初めて明確にするものだ。これまでの裁定で、CDAの第230項により、AOLやeBayなどの企業は、「公序良俗に反する、猥褻、みだら、不道徳、非常に暴力的、嫌がらせなど、人を不快にさせる」と見なされる素材へのアクセスを制限する方策を十分にとっている場合、責任は問われないという解釈が確立していた。 Carol Corrigan陪席裁

Dellにはこの1年、さまざまな変化があった。しかし製造戦略の要となるノートPCの製造においては伝統を守っている。 言うまでもなく、Dellは、直販モデルを強力に推進し、見込数ではなく実際の注文数をもとにコンピュータを製造する手法で急成長を遂げた。 単純な戦略だと思うかもしれないが、デスクトップPCがノートPCより圧倒的に人気があった時代に、Dellはこのやり方にこだわってPCの最大手メーカーになったのである。しかしノートPCが全盛となった今、経費節減に熱心なPCメーカーの大半は、台湾や中国の委託製造業者がすべて組み立てたノートPCを自社製品として購入している。 だが、Dellは違う。Dellは、ノートPCのかなりの部分を自社の工場で組み立てている。これは同社が長年デスクトップPCでとってきた手法だ。 問題は、かつてその有効性が実証された「Dell流」が、ノートPC時代にも通用するかどうか

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

チームラボは「BON SAGOOL」ベータ版を、11月22日より公開すること明らかにした。 BON SAGOOLはユーザーが注目するソーシャルブックマークサービスやブログのフィードを元にして、人気URLのランキングを生成するサービスだ。メールアドレスを登録し、アカウントを作成すれば無料で利用できる。このサービスは11月2日よりアルファ版として公開されている。 ソーシャルブックマークサービスの多くは、ユーザーが登録しているURLの情報を分析、集計して「人気URLランキング」という形で紹介している。しかし、BON SAGOOLでは分析する対象をユーザー自身が決められるため「自分好みのランキングを表示できる」（チームラボ）という。 ユーザーは、自分がおもしろいと思ったソーシャルブックマークのユーザーIDやブログのフィード、ニュースサイトのURLなどをBON SAGOOLの「お気に入りリスト」に3

印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます JBossが同社のJavaソフトウェアスイートと、サービス指向アーキテクチャ（SOA）戦略の重要な要素となっているインテグレーションサーバをアップデートする予定だ。 JBossはベルリンで開催されるユーザーカンファレンスにおいて現地時間20日に、複数のアプリケーション間でデータを移動するのに利用するソフトウェア「JBoss ESB」を12月にリリースすると発表した。 同カンファレンスでは、「JBoss Application Server 5.0」に搭載が決まっている一部の機能についても、詳細が明らかにされた。同サーバは12月にベータテストを行い、2007年に一般提供が始まる予定だ。 LinuxディストリビュータRed Hat傘下にあり

昨夜は、はてな近藤邸@シリコンバレーで、シックスアパート・宮川達彦の米国本社転籍・歓迎パーティがあったので、妻と一緒に参加した。しなもんもだいぶ元気になっていたので、本当によかったね。 その席で宮川達彦に教えてもらったのがこの「スルー力」。 「高林さんがいま盛んにスルー力って言っているんですよ。僕とか高林さんはけっこうスルー力があるんだけど、○○さんはけっこうまじめだから、いろいろスルーできないんですよねぇ。スルーすればいいんだけど」(宮川) みたいに使う。ということで、使い方はなんとなく想像がついた。 だがせっかくだから、「いやなブログ」の高林哲による定義を見てみよう。 http://0xcc.net/blog/archives/000133.html スルー力カンファレンス (スルカン) 開催決定！ ものごとをやり過ごしたり見て見なかったことにしたりすることを「スルーする」と呼ぶように

以下の記事が目に留まりました。 » 10 Reasons You Should Never Get a Job 直訳すれば、「定職に就かない方がいい10の理由」ですが、「雇われない生き方」としてみました。内容としては、割と過激なことが書いてあり、「うーむ」と唸ってしまう部分もあるのですが、共感できる内容もあり、その中で特に「なるほど」と思えたことをいくつか。 まず前段です。 妻も私も1990年代から雇われない生き方をしている 多くの人は、大学卒業を控えるなど、ある年齢になると、 「仕事を探さないと」と考え始める でも、自分一人でも食っていけるならその必要はない 続いて、雇われない生き方を選ぶべき10の理由。 1．雇われている間にあなたが売っているのは時間 （Income for dummies.） あなたの本当の売り物は何か？ 何が収入の源泉になっているのか？ 雇われていると、それが分かり

毎日新聞火曜日夕刊コラム欄の第七回です。 米タイム誌が「今年の発明」に動画投稿サイトのユーチューブを選んだ。「同誌は、今年はユーチューブほど『世界を変えた』発明はないと指摘。ユーチューブは多くの人々に楽しみ、教育、ショックを与える新しい方法を未曽有の規模で実現したと述べた。」本紙(六日夕刊)もこう報じた。 ユーチューブのビジョンは「ブロードキャスト･ユアセルフ（あなた自身を放映しよう）」。誰もが自由に自分が撮影した映像を投稿し、多くの人々に視聴される可能性が開かれた。米タイム誌は、映像表現の新しい文化が生まれたことを「発明」として高く評価したのだ。 しかしユーチューブの利用者は、テレビ番組等から録画した映像の断片をもどんどん投稿することができる。日本の報道ではこの部分が特に強調される。日本からも大量の映像が著作権者に無断で流れ込んでいる。ユーチューブでは投稿における入り口の規制はせず、違法

GT Nitro: Car Game Drag Raceは、典型的なカーゲームではありません。これはスピード、パワー、スキル全開のカーレースゲームです。ブレーキは忘れて、これはドラッグレース、ベイビー！古典的なクラシックから未来的なビーストまで、最もクールで速い車とカーレースできます。スティックシフトをマスターし、ニトロを賢く使って競争を打ち破る必要があります。このカーレースゲームはそのリアルな物理学と素晴らしいグラフィックスであなたの心を爆発させます。これまでプレイしたことのないようなものです。 GT Nitroは、リフレックスとタイミングを試すカーレースゲームです。正しい瞬間にギアをシフトし、ガスを思い切り踏む必要があります。また、大物たちと競いつつ、車のチューニングとアップグレードも行わなければなりません。世界中で最高のドライバーと車とカーレースに挑むことになり、ドラッグレースの王冠

最近マスコミでは，日本と北米で発売されたソニー「PlayStation 3」や，北米で発売された任天堂「Wii」の話題がにぎわっているが，これら次世代ゲーム機を冷ややかな目で見るユーザーも多いようだ。曰く「これ以上グラフィックスが綺麗になってもゲームは面白くならない」「据え置き型よりも携帯型ゲーム機の方が有望」－－実は記者も，そう思っていたユーザーの1人である。 記者の次世代ゲーム機に対する失望は，9月に開催された「東京ゲームショウ 2006」で最大限まで高まった。東京ゲームショウ直前の9月20日，先陣を切ってまずマイクロソフトが東京・渋谷でXbox 360の新作お披露目会を開催したのだが，記者はそこで何とも言えない違和感を味わった。 「ハイデフ」（High Definition，高精細の略）を宣伝文句に売り出したXbox 360だけに，そこで披露された新作ゲームも高精細グラフィックスを強

新米と秋刀魚のわた焼き お刺身用の秋刀魚を買いました。1尾250円です 3枚におろして、秋刀魚のわたに酒、味醂、醤油で調味して1時間ほど漬け込み、グリルで焼きました 秋刀魚のわた焼き わたの、苦味が程よくマイルドに調味され、クセになる味わいです 艶やかな新米と一緒に 自家製お漬物 土…

注目動画にもなってますが、公共広告機構のCM。大好きなCMです。何度も繰り返してみてたらなぜか泣いてしまった。

2006年11月20日13:45 カテゴリArt コードとデータの合従連衡 実はその逆の設問もありうる。「プログラムはデザイナーのものなのか」。 矢野勉のはてな日記 - PHPやJavaのJSPやRubyのeRBのクールじゃないところ simfonyの10分デモを見てて考えたことがきっかけではあるんだけど、実はRuby on Railsの勉強で本を読んでた時にも思ったこと。彼らはHTMLファイルにコードを書くことをなんとも思ってないんだね。もちろん、プログラマからすればその方が早いのかもしれないけどね、私には「HTMLはプログラマのものなの？」という思いがあります。 プログラマーに限らず、「プロ」は、分業する際お互いの領域を侵さないようにするのが作法(best practice)であると、プロの多くが思い込んでいる。「コードとデータの分離」をプログラマーが耳たこのように聞かせられてきたのも

ギークと言うとオタクっぽい雰囲気もある訳ですが、だからと言って男性の専売特許ではありません。勿論、ギークな女性もいる訳です。 そこでギークな女性、Top10がCNetの記事になっています。さぁ、どんな女性が入っているのか見てみましょう！一部、「えっ、女性？」とか「えっ、二次元？」とか「えっ、絵画？」と言った人たちも並んでいますが、まぁいないよりいいという事で。 Top ten girl geeks - Crave at CNET.co.uk