プログラミング好きの備忘録

関数型言語とか、証明とか