デイヴィッド・スピヴァックの著作物を読むときに注意しなくてはならないのは、彼が好んで例に出しているものを彼が好んでいるかどうか分からないことです。評価・価値判断にはあえて触れないのかも知れないし、好悪の感情や批判も称賛もほんとに興味ないのかも知れません。 僕は最初、Functorial Data Migration（http://arxiv.org/abs/1009.1166）は、関係（リレーショナル）データモデルを圏論の立場から合理化するものかと思いました。例として出しているのが関係（リレーショナル）データベースだからです。しかし実際は、スピヴァック理論は関係データモデルの諸概念をほとんど無意味化してしまいます。 RDF(Resource Description Framework）もしょっちゅう例に出しているので、RDFを推奨している印象もありましたが、スピヴァック理論からの帰結は「R
ソフトとの対局3日前、「棋界の武蔵」三浦八段が漏らした本音 「人間対コンピュータ将棋」頂上決戦の真実【前編】 【訂正】GPS将棋開発者の金子知適氏より、本文中の金子氏の発言に関する記述に2ヵ所、事実と違う点があるとのご指摘をいただき、検討しましたところ、筆者の誤認であることがわかりましたので、訂正いたします（該当箇所に注釈があります）。金子氏に多大なご迷惑をおかけしましたことを、謹んでお詫びいたします。 人間が機械と引き分けて泣く日が来ようとは･･･ 「人間がコンピュータに負けちゃ、だめだよね?」 高校生になったばかりの息子がニュースを見ていてそう問いかけてきたのだけど、どう答えたものだろうか──ある友人からそんなメールが届いたのは、4月19日の夜だった。 親子ともに、将棋についての知識はほとんどない。そして、その息子さんは「人間」を応援するニュアンスでそう言ったのだという。 将棋のプロ棋
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
