めもめも

このブログに記載の内容は個人の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。

2012-10-28から1日間の記事一覧

論理式の推論規則適用を関数化する

この記事は、「The Monad.Reader Issue 6(PDF)」にあるDan Piponi氏のエッセイが元ネタです。Dan氏の話はもっと奥深いところまで突き進むのですが、これは、その導入部分のネタを冗長に解説したものです。 何をするのかというと ちょっとしたお遊びなんです…