スポーツナビ｜サッカー｜トヨタカップ｜特別インタビュー企画「トヨタカップを呼んだ男たち」
■インターコンチネンタルカップ日本開催の謎 １９８１年２月１１日の正午、イスラエル人の主審、アブラハム・クラインのホイッスルが国立競技場に鳴り響き、トヨタカップの歴史が幕を開けた。ヨーロッパ代表は、名将ブライアン・クラフに率いられ、トレバー・フランシス、ピーター・シルトンらイングランド代表選手を多数擁するノッティンガム・フォレスト。対する南米代表は、３６歳の若き指揮官、ファン・マルチン・ムヒカの手腕によって古豪復活を果たし、ワルデマール・ビクトリーノ（この大会のＭＶＰ）、アルセニオ・ルサルドなど、ウルグアイ代表メンバーをスタメンに７人揃えたナシオナル・モンテビデオである。 国立の芝が茶色い当時の映像を眺めながら、あらためて気付かされるのが、２４年間という時の重みである。２０世紀から２１世紀へ。昭和から平成へ。これだけ長きに渡って大会が継続することを、この時、スタンドを埋め尽くしていた６万
「史上最悪のソフトウェアバグ」ワースト10を紹介(下) | WIRED VISION
「史上最悪のソフトウェアバグ」ワースト10を紹介(下) 2005年11月16日 コメント： トラックバック (0) Simson Garfinkel 2005年11月16日 (11/15から続く) 1988年――バークレー版UNIX(BSD)のフィンガーデーモンによるバッファー・オーバーフロー：最初のインターネットワームとなった通称『モーリス・ワーム』は、バッファー・オーバーフローを悪用し、1日足らずで2000台から6000台のコンピューターに感染した。原因となったのは、標準入出力ライブラリー・ルーチン内の「gets()」という関数のコードだ。「gets()」関数はネットワーク越しにテキストを1行取得するように設計された。しかし、残念ながら「gets()」関数は入力を制限するようには作られていない。そのため、あまりにも大きな入力があった場合には、接続可能なあらゆるマシンをワームが占拠する元
「史上最悪のソフトウェアバグ」ワースト10を紹介(上) | WIRED VISION
「史上最悪のソフトウェアバグ」ワースト10を紹介(上) 2005年11月15日 コメント： トラックバック (0) Simson Garfinkel 2005年11月15日 トヨタ自動車は先月、何もしないのに警告灯が点灯し、ガソリンエンジンが突然停止するとの報告を受け、ハイブリッド車『プリウス』約16万台を無償修理すると発表した。しかし、今回のプリウスの問題は、これまでの大規模な自動車のリコールと違い、ハードウェアが原因ではなかった――ハイテクを駆使したこのスマートカーに組み込まれたプログラムのバグが原因だった。 今回の問題により、プリウスはバグを抱えるコンピューターの仲間入りをした。史上初のコンピューター・バグは1945年、『ハーバード・マーク2』のFパネルの70番リレーに虫が挟まった時にまでさかのぼる。乗算器と加算器のテスト中、異常に気づいた技術者が、この部分に蛾が挟まっているのを見つ
最上の日々 - 数学を表現するのに最適な媒体はコンピュータである
▼ 数学の表現の媒体としてのコンピュータつづき あのあとyoriyukiさんから有用な示唆をもらいました。 （これだけ書くのも大変だろうなあ。いつもお世話になってます。） 証明チェッカのあちら側とこちら側 私的にみたハイライトはこの辺りかな： 論理に関する部分はうまくいかなそうな気が(直観的には)します。言語や論理について一般の人が抱いている直観は誤っているか、すくなくとも混乱していることが多く、そのまま形式化しようとするとうまくいかないからです。例えば、名詞は何か対象を名指している、といった考えがその例になるでしょう。この場合、何の対象も指さない時や、複数の対象に当てはまるときにどうするか、といった問題が考えられてないのですが、にもかかわらず強固な直観としてなかなかここから自由になれないようにに思います。 言い方を変えると、自然言語に近いもの純粋に形式的に取り扱おうとすると
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.janjan.jp/culture/0609/0609040648/1.php
Rauru Blog -- 自信過剰な戦争屋