2010-01-29 計算機言語で定理証明 第2回 ATNDにページを作っておきました。http://atnd.org/events/2989恐らく今回の問題とかはWikiの方に書く(もしくは参加する人がガンガン書き込んでください)ので、興味の有る方はそちらも見てください。 (ATNDの参考URLにWikiのURLがあります)