Perlカンファレンス「YAPC::Asia 2008」（ヤップシーアジア）が本日より東京工業大学大岡山キャンパスにて開催されている。基調セッションではPerl作者のラリー・ウォール氏が登壇し、Perlの次期バージョンであるPerl 6の文法や拡張について解説した。 第2言語としてのPerl 午前中最後のセッションには、小飼弾氏が登壇。初心者に向けたテーマとして「第2言語としてPerlを学ぶメリット」を紹介した。 メインに使っているプログラミング言語が、Perlであれ、違うものであれ「新たに第2の言語を学ぶことはメリットがある」と小飼氏。プログラミング言語はそれぞれ重要視している機能や分野が異なるが、1つのプログラミング言語だけを学んでいると、そのプログラミング言語の特徴を理解しにくくなってしまう。違う言語と比べてみることで、メインで使っているプログラミング言語の優れている点やそうでな
Googleは5月15日、「プレイステーション 3」（PS3）に、YouTubeへの投稿機能が追加されたと発表した。APIを使い、PS3向けゲームからYouTubeに動画を投稿できる機能を実装でき、プレイ動画などをユーザー同士で共有できる。 第1弾として日本で、ダウンロードコンテンツ「まいにちいっしょ」（ソニー・コンピューターエンタテインメント）が対応した。プレイ動画をキャプチャし、YouTubeにアップロードできる。 まいにちいっしょは「どこでもいっしょ」のネコのキャラクター「トロ」「クロ」と過ごすソフト。2匹がキャスターを務める情報番組「トロ・ステーション」が人気で、これまでにもユーザーがYouTubeやニコニコ動画に動画を投稿していた（トロとクロに聞きました 「ところで、ニコ厨ですか？」）。 新機能を利用するには、同日公開された「システムソフトウェア バージョン 2.35」をPS3に
「みんながそれぞれ少しずつ不満を残しながらも、コンセンサスを得ようとしていたのに」――日本音楽著作権協会（JASRAC）の菅原瑞夫常務理事は5月14日の定例会見で、「ダビング10」や「私的録音録画補償金」をめぐるメーカー側の対応に不満を漏らした。 ダビング10と補償金については、JASRACなど著作権者団体などが「ダビング10対応機器が補償金の課金対象とならない限り受け入れられない」と主張してきた（関連記事：「JEITAの対応、憤り禁じ得ない」と権利者団体 私的録音録画補償金問題で）。 これに対して電子情報技術産業協会（JEITA）などメーカー側の団体は、「ダビング10」を含むDRMがかかったコンテンツは、補償金の対象から除外すべきと求めてきていた（関連記事：「DRMあれば録音録画補償金は不要では」――JEITAが立場を説明）。両者の意見は折り合わず、6月2日を予定していたダビング10のス
カリフォルニア州バーリンゲーム発--Googleは米国時間5月13日、地理的に関連づけられた情報をウェブサイトで利用可能にする新しい要素を検索インターフェースに追加した。 Googleで「Google Earth」と「Google Maps」を統括するJohn Hanke氏は、「Geo Search API」を一般に公開したことを当地で開催のWhere 2.0カンファレンスで発表した。これにより、Google Mapsを組み込んでいるウェブサイトは、これまではGoogleの地図サイト経由でのみ閲覧可能だった同社データベースにある地理的情報を利用できるようになる。 これまでGoogleは、検索結果として地域の商業施設を表示するなど、一部の地理的データのみを同社検索API経由で共有していた。しかし、より広範囲な結果を表示可能な検索APIを使えるようになったことで、サンフランシスコ国際空港近辺の
2008/05/15 インターネットの検索でエポックメーキングな出来事は2度しか起こっていない。1994年にジェリー・ヤン氏らが立ち上げたヤフーがインターネットに検索をもたらしたときと、1998年にラリー・ペイジ氏らがグーグルを立ち上げ、Webページの重要度を示す「PageRank」という概念を導入したときだ。検索連動広告の発明もビジネス的には大きなステップだったが、使い勝手の向上というユーザー視点での転回点は2つだけだ。いま、ベンチャー企業の米Powersetが注目を集め、3つ目のイノベーションを起こすかどうかが注目されている。 ネット検索の歴史：数から順位への転換 Powersetが解決しようとしている問題を明確にするために、インターネットの検索エンジンの歴史を少しだけ振り返ってみよう。 グーグルが登場する以前、各検索サイトは、自分たちがいかに多くのWebページをクロールし、検索に対し
の時， int r = 1; for (int i = 1; i が実行さらた際に，となることを示す（簡単化のために値の定義域は無視する）．まず，このループのloop invariant は，である．これを示すには，を証明すればよい．代入列がを真に定めて停止するweakest preconditionはなので，を示す．．次に，ループが停止すること，つまり，を示す．これには残りの繰り返し回数の上界を表す上界関数を示せば十分であり，これはである．ここで，新しい変数に対し，だから，であり，は繰り返しのたびに減少し，また，より，だから，は繰り返しが残っているときは0より大きい．以上より，であることが言えた．次に，なら，ループの開始前にが真であること，つまり，を示す．．最後に，がより弱いこと，つまりを示す．．これでちゃんと階乗が計算できることが示された．多分！
19:05 08/05/31 本 私が一番好きなSFと言えば『百万年の船』ですが、 昨日読んで『タウ・ゼロ』が二番目に好きなSFに なりました。最近本の感想が大袈裟です。このどうしようもなく取り返しのつかない方向に お話が突っ走っていくっぷりが楽しい。あと、私が感情移入する気になれる主人公ってそうそういない。 いやそれはともかく、 まだこの二冊しか読んだことないのですけど、どうも自分はポール・アンダースンを読み漁るべきっぽいな。 UTPC UTPC というのに参加してました。 みんな解いてるから解けるはず！と思って挑み続けた E が結局解けずじまいでした。 うわーん。K かせめて H に時間使うべきだった。しかし若者勢とロートル勢のバランスが絶妙だ。 → 提出物一式。 13:58 08/05/29 ICFPの ICFP Programming Contest のページが更新されてました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
