ATP研究会へようこそ！
当会では「数学のATP」の研究をしています。ここでの数学とは、大学の数学科での研究対象である抽象数学です。ATPとはautomated theorem prover(自動定理証明機)の略で、機械に数学を行わせることを目指しています。実用的なソフトを作るべく、理論から機械実装まで総合的に開発を進めています。
現在、数名の会員で活動中で、web上で実験を行ったり創作物を公開しています。
ほとんどのものは書きかけ・未完成です。
御案内
当会では、一緒に研究をしていただける会員を募集しています。
数学、論理学、プログラミング、どれか得意な方はぜひ！新しい数学世界を作りたい方はぜひ！ちょっとのお手伝いでもぜひ！お金持ちになりたい人もぜひ！
当会をご支援していただける方のご連絡もお待ちしております。何卒よろしくお願いいたします💰
代表：須田智彦[t@mshk1201.com]まで。