私がScalaを選んだ理由CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。
「味方のゴールにシュート」「いや、バックパスだ」 八百長疑惑に揺れる中国プロサッカー - MSN産経ニュース
【北京＝矢板明夫】中国のプロサッカー界が八百長疑惑に揺れている。９月２日に行われた公式試合で、あるチームの選手が味方のゴールに向け立て続けに３回も強烈な“バックパス”。これが大きな話題となり、闇賭博が絡んでいるのではないかと指摘されている。中国サッカー協会はすでに調査に乗り出しており、不正行為があったと認定されれば、刑事事件に発展する可能性もあるという。 中国紙「体壇週報」などによると、八百長疑惑が浮上したのは、四川省成都市で行われた２部リーグの青島チーム対四川チームの試合。終了５分前まで青島が３対０でリードしていたが、選手交代であるベテラン選手が登場すると、様子が一変した。 この選手の指示を受けた青島の選手は一斉に攻撃をやめただけでなく、自らのゴールに対しシュートと思えるような強いバックパスを連発。２人の選手が計３回打ち、１回はゴールキーパーに止められ、２回は外れ、いずれも失点にはならな
Coq - PukiWiki
Coq † http://coq.inria.fr/ Coq は、INRIA にて開発されている対話的定理証明支援系です。 Calculus of Inductive Construction (CIC) を基礎とし、Tactics と呼ばれるコマンドを駆使することにより証明を行います。 ↑ メモ † インストールする Coq 本体 Proofgeneral 証明をやってみる 簡単なものから Tactics リスト 証明の裏で何が起こっているのか 証明の実例 理論的 background Dependently Typed Lambda Calculus Curry-Howard Isomorphism ぼちぼち書いていきます。 ↑
suffix array
更新履歴 2004/01/07 O(N) 構築アルゴリズム三種追加（Ko &Alulu, Kim & al., Karkkainen & Sanders) Suffix Arrayは、最近注目を集めているデータ構造です。その理由として、 (1)大規模なデータに対して、高速に検索、情報抽出を行うことができる (2)BWTとしてデータ圧縮に用いることができる。 ことが挙げられます。(1)に関しては自然言語処理において、膨大な量のコーパスから情報（例えば、単語の出現回数など）を調べるときににSuffix Arrayを用いると非常に高速に求めることができます。 膨大な量のコーパスに基づいた自然言語処理が盛んになってきている今、Suffix Arrayが注目を集めています。 また、ゲノム情報を調べるバイオインフォマティクスにおいても、ここの配列と似ている部分（例えばCCAG）を調べるといった場合
接尾辞配列 - Wikipedia
接尾辞配列（せつびじはいれつ）やサフィックス・アレイ（英: suffix array）とは、文字列の接尾辞（開始位置を異にし終端位置を元の文字列と同じくする部分文字列）の文字列中の開始位置を要素とする配列を、接尾辞に関して辞書順に並べ替えて得られる配列である。接尾辞木の配列版。主に文字列探索、全文検索などに利用される。1990年に Udi Manber と Gene Myers が発表した[1]。
やる気に関する驚きの科学
やる気に関する驚きの科学 (TED Talks) Daniel Pink / 青木靖 訳 2009年7月 最初に告白させてください。20年ほど前にしたあることを、私は後悔しています。あまり自慢できないようなことをしてしまいました。誰にも知られたくないと思うようなことです。それでも明かさなければならないと感じています。(ざわざわ) 1980年代の後半に、私は若気の至りから、ロースクールに行ったのです。(笑) アメリカでは法律は専門職学位です。まず大学を出て、それからロースクールへ行きます。ロースクールで私はあまり成績が芳しくありませんでした。控えめに言ってもあまり良くなく、上位90パーセント以内という成績で卒業しました。(笑) どうも。法律関係の仕事はしたことがありません。やらせてもらえなかったというべきかも。(笑) しかしながら今日は、良くないことだとは思いつつ、妻の忠告にも反しながら、こ
ケイトがシリコンバレーで見たもの
Paul Graham / 青木靖 訳 2009年8月 ケイト・カートーは Y Combinatorのオフィスをデザインした建築家だ。本業の建築プロジェクトが忙しくないとき、彼女にYCの運営を手伝ってもらえることになった。彼女はYCについては当初から良く聞き知っていたが、この9ヶ月間はすっかり中に浸っていた。 私はあまりに長くスタートアップの世界にいて、それが当たり前のことに見えてしまうので、彼女がここにきて一番驚いたことは何かを聞いてみたいと思った。以下は彼女が挙げてくれた点だ。 1. たくさんのスタートアップが失敗すること スタートアップはとてもリスクが高いということをケイトは理屈として理解していたが、これほど失敗の脅威に絶えずさらされているということ――小さなものばかりでなく、YCのディナーに創業者が講演しくにるような有名なスタートアップですらそうであるといことに、とても驚いていた
亀井静香国民新党代表が入閣の意向 - MSN産経ニュース
亀井静香国民新党代表は８日、民主、社民両党との連立政権合意が整い、民主党の鳩山由紀夫代表から入閣の要請があれば応じる意向を固めた。 国民新党幹部は同日、鳩山氏が表明した党首クラスによる「基本政策に関する閣僚委員会」の設置を受け入れることを表明。さらに「閣僚委員会に党首クラスが入るのだから、亀井氏が入閣することになる」との認識を示した。 国民新党は衆院選で、代表だった綿貫民輔氏と幹事長だった亀井久興氏がそれぞれ落選。代表代行を務めていた亀井静香氏が代表に就任した。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://sta-la-sta.com/2009/09/01/1424/
Tutorials
BETA RELEASE: FLIGHT404 VERSION 8
http://www.vision.cs.chubu.ac.jp/VU/html/index.html