2010年1月25日のブックマーク (4件)

  • The monad laws

    モナド則 三つの基則 「失敗」は付けたし 出口はない Zero と Plus 要約 このチュートリアルではいままで、技術的な議論を避けてきました。しかし、 モナドについて考えるべき技術的な要点が2、3あります。モナド演算は、 「モナド公理」として知られている、いくつかの法則群に従わなければ なりません。これらの法則は Haskell のコンパイラが強制するものでは ありません。したがって、すべての Monad のインスタンスと 宣言したものが、これらの法則に従うことを保証するのはプログラマ自身です。 Haskell の Monad クラスは、まだ見ていませんが、最小限の定義 以上にいくつかの関数を含んでいます。結局、多くのモナドは標準のモナド則 以外の規則にも従っています。Haskell のクラスにはこうした拡張されたモナド をサポートするためのものがあります。 三つの基則 モナドの概

    unno_hideyuki
    unno_hideyuki 2010/01/25
    monad則
  • 制約プログラミングのススメ - あどけない話

    IIJ 社内でやったチュートリアル 純粋関数型言語Haskellの紹介 〜制約プログラミングのススメ〜 の資料を公開しました。

    制約プログラミングのススメ - あどけない話
  • [今日の早川さん] ドラマCDキャスティング発表 - coco's bloblog - Horror & SF

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    [今日の早川さん] ドラマCDキャスティング発表 - coco's bloblog - Horror & SF
    unno_hideyuki
    unno_hideyuki 2010/01/25
    おお、豪華キャスト!(←しったかぶり
  • そんなツモリはないのにニセ科学扱いされちゃう理由 - あぶすとらくつ

    ニセ科学側の人を見ていると、「ワタシ、ひと言だって科学なんて言ってないのに、なんでニセ科学扱いされにゃならんのだっ」というウラミをひしひしと感じたりすることがあります。 血液型性格判断を信じるのは、みんなでわいわい盛り上がるのが楽しいだけ。 マクロビをやってるのは、安心でおいしいものをべて健康になりたいだけ。 別に「科学」だなんて思ってないし、言ってないもん。 でも、世間の評価は「ニセ科学」。 自分の信じているものを否定され、あまつさえ批判されちゃったりします。もしかしたら、どういう言動がニセ科学と見なされるのか、という認識にずれがあるのかも。 そこで、こんなコト言うと、ニセ科学扱いされちゃうかもしれませんよー、というのを、ちょっとまとめてみたいと思います(一部トップエントリの焼き直しですが)。 <質は装うこと> ニセ科学とそれ以外を分ける基準は「装う」ことにあります。「科学」ではない

    そんなツモリはないのにニセ科学扱いされちゃう理由 - あぶすとらくつ
    unno_hideyuki
    unno_hideyuki 2010/01/25
    こういう歩み寄りは大切なのかもしれません。