ATP研究会のページへようこそ！
当会では「数学のATP」の研究をしています。ATPとはautomated theorem prover(自動定理証明機)の略で、機械に数学を行わせることを目指しています。
ここでの数学とは、大学の数学科での研究対象である抽象数学です。
当会は2023年に発足し、現在数名の会員が主にweb上で活動をしています。
創作物はwebで公開していきますが、作りかけや間違いも出てくるでしょう。
御案内
機械数学は絶対にホットな研究分野です🔥
当会では、一緒に研究をしていただける会員を募集しています。
数学、論理学、プログラミング、どれか得意な方はぜひ！新しい数学世界を作りたい方はぜひ！ちょっとのお手伝いでもぜひ！
興味はあるんだけど…という方もお知らせください。当システムでの証明を見てみたいだけ、というのでも構いません。
当会をご支援していただける方のご連絡もお待ちしております💰
代表：須田智彦[t@mshk1201.com]まで。