ATP研究会へようこそ！
当会では「数学のATP」の研究をしています。ATPとはautomated theorem prover(自動定理証明機)の略で、機械に抽象数学を行わせることを目指しています。
現在、数名の会員で活動中で、web上で実験を行ったり創作物を公開しています。
入会案内
当会では、一緒に研究をしていただける会員を募集しています。
数学、論理学、プログラミング、どれか得意な方はぜひ！新しい数学世界を作りたい方はぜひ！ちょっとのお手伝いでもぜひ！
代表：須田智彦[t@mshk1201.com]までご連絡下さい。