Prelude 数学セミナーで「圏論で歩き方」 今回は圏の定義くらいしか載ってない。 今日はICFPCの最中らしい。 Duality 3.1 The duality principle CT*を作ると、(3.1)のセンテンスが全部入れ替わっただけなので=CTCTからシグマが導かれるならば、CT*でもシグ…

情報処理技術者試験対策をやっている方がいたので。 問題にあった暗号化処理を見せてもらって書いてみた。http://gist.github.com/1024627

Wikipediaに参考コードがありますが。 http://ja.wikipedia.org/wiki/%E5%A5%87%E5%81%B6%E8%BB%A2%E7%BD%AE%E3%82%BD%E3%83%BC%E3%83%88 (defn- oe-swap [v] (loop [src v dest [] swapped? false] (if (< (count src) 2) [(concat dest src) swapped?] (if…

新人研修でのアルゴリズム演習から。 (defn find? ([lst v] (find? lst v 0 (dec (count lst)))) ([lst v left-i right-i] (if (or (< v (lst left-i)) (< (lst right-i) v)) false (let [middle-i (+ (quot (- right-i left-i) 2) left-i) middle-v (lst mi…

CoqでMonad 当日発表資料 http://study-func-prog.blogspot.com/2011/06/coq-type-class-in-coq.html Polymorphism "On Understanding Types, Data Abstruction, and Polymorphism" adhoc polymorphismで実装 モナド 「不完全にしておよそ正しくないプログラ…