そろそろ関数型言語もやっとかないとね、ということでF#でプログラミングしてみる。 参考文献 プログラミングF# 実践F# 関数型プログラミング入門 SAT Solver ちょっと前に「P=NP証明か？」とか話題になったね。 DPLLアルゴリズム DPLLアルゴリズム - Wikipe…