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