タグ

2013年2月12日のブックマーク (6件)

  • 衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)

    デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか? と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。 さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。 [追記 date="翌日"]取り急ぎ勢いで書きましたので、不注意と早とちりが混じっていました。追記と取り消し線の形で訂正と注記を足しました。字句レベルの表現の変更は直接編集しています。 あとそれと、圏論の基用語を知りたいときはコチラ、… って、……、ゴメン![/追記] 内容: はじめに の購入のサンプル スキーマのグラフ表現 キーとか計算カラムとか 圏としてのスキーマ 関手としてのデータベース状態 テーブルの変化 自然変換としてのデータ操作 データベースに圏論が使

    衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)
  • 何で日本の左派なひとは「成長」が嫌いか - hamachanブログ(EU労働法政策雑記帳)

    メモ書きとして: ジョブ型社会では、経済成長すると、「ジョブ」が増える。「ジョブ」が増えると、その「ジョブ」につける人が増える。失業者は減る。一方で、景気がいいからといって、「ジョブ」の中身は変わらない。残業や休日出勤じゃなく、どんどん人を増やして対応するんだから、働く側にとってはいいことだけで、悪いことじゃない。 だから、ブログでも百万回繰り返してきたように、欧米では成長は左派、社民派、労働運動の側の旗印。 http://eulabourlaw.cocolog-nifty.com/blog/2012/01/post-5bad.html(「成長」は左派のスローガンなんだが・・・) http://eulabourlaw.cocolog-nifty.com/blog/2012/01/post-211d.html(「成長」は労組のスローガンなんだし) メンバーシップ型社会では、景気が良くなって

    何で日本の左派なひとは「成長」が嫌いか - hamachanブログ(EU労働法政策雑記帳)
    morita_non
    morita_non 2013/02/12
    自分以外の人間が金持ちになるからでしょ?
  • Land of Lisp

    地球上でもっともパワフルなプログラミング言語であると言われながら、その謎めいたシンタックスやアカデミックな評判の高さなどから敬遠されることもあったLisp。そんなLispの不遇な時代に終わりを告げるのが書『Land of Lisp』(Lispの国)です。不思議なマンガやout-of-this-worldなゲームの数々とともに、ベテランLisperの著者が、謎多きCommon Lispを伝授。リストの操作、入出力、再帰などの基礎から始めて、さらにマクロや高階プログラミング、ドメイン特化言語などへと話題をすすめながら、Lispのより高度なテクニックについて解説しています。 翻訳者によるサポートページ(http://practical-scheme.net/wiliki/wiliki.cgi/Shiro:LandOfLisp) 謝辞 はじめに Lispがクールで、そして奇妙なわけ Lispがそ

    Land of Lisp
    morita_non
    morita_non 2013/02/12
    電子版が出たら買ってみるか。
  • Erlangの評価は? Bashoに参加した力武健次氏に聞いた

    分散システムの開発に優れているなどの理由で、関数型プログラミング言語に注目が集まっています。Bashoが開発する分散キーバリューストアのRiakや、オブジェクトストアのRiak CSは、関数型言語の1つであるErlang(アーラン)が開発に使われています。 Bashoジャパンのシニアソフトウェアエンジニア 力武健次氏と、Bashoのシニアソフトウェアエンジニア Scott Lystig Fritchie氏 Bashoへのインタビューにあたり、2月から同社に参加しErlangへの造詣も深い力武健次氏と、同社シニアソフトウェアエンジニアのScott Lystig Fritchie氏が同席していました。お二人にErlangへの評価を短く聞きました。 Erlanは視認性が高く簡潔な記述ができる ──── 製品を開発する立場としてErlangをどう評価されますか? 力武氏 例えばCで書くと何千行もか

    Erlangの評価は? Bashoに参加した力武健次氏に聞いた
    morita_non
    morita_non 2013/02/12
    本文が
  • 善意で貧困はなくせるのか? | 貧乏人の行動経済学 | みすず書房

    マイクロファイナンスのパンフレットにきれいな女性の写真を載せると申し込みは増える? 検査を受けた人にお金を払えばHIV感染率は下がる? 貴重な善意を最大限に活かすためにはどうしたらいいの? ガーナ、ケニア、南アフリカ、インド、フィリピン、ペルー、メキシコ……理論と現実が一致しない途上国の複雑な世界にわけいって、そこから「クール」な答えを、次々と導き出している〈新しい経済学〉のいまを紹介。 人間心理が陥りがちな落とし穴をやんわりと回避させるための後押し(=ナッジ)の手法をふんだんに盛り込み、開発経済学の新しい知見を一般向けにやさしく語ります。 その新しさの特徴は、開発プロジェクトの「なにがうまくいって、なにがだめなのか」を社会実験ではっきり実証する点、そして人間の非合理性を考慮した新しい発想に基づいている点にあります。 「このには世界を変えるアイデアが詰まっている!」 P・シンガー(プリン

    善意で貧困はなくせるのか? | 貧乏人の行動経済学 | みすず書房
  • 何のために生きている?

    最近自分は何のために生きているんだろう?何を目指せばいいんだろうって思うことが多い。 ちなみに今自分は30代で一応結婚して子供もいる。 仕事も出世はないものの、一応首にならずに続けることができている。 世間一般的ないわゆる平均にいるスペックだと思う。 でも満足できていない自分が確実にいる。 趣味を極めているわけでもなく、仕事で大きな仕事をしているでもなく、美人な嫁がいるわけでもなく、 お金をたくさんもっているわけでもなく、でも日々忙しい日々を送っていてなかなか将来の自分の 理想をゆっくり考えたりできていなかった。 自分って偶然この世に生まれてきて(親のきまぐれで生まれたも同然)、偶然知り合った周りの環境で なんとなく価値観が形成されていって、、なんとなく理想していた仕事を目標に大学まで通って だからなんなんだ、、自分がこの世間に何か貢献できているんだろうか? 自分ひとりくらいいなくたってき

    何のために生きている?
    morita_non
    morita_non 2013/02/12
    女房子供蹴り飛ばして、出家して、修行三昧とか、和歌を詠みまくりとかいかがか。