>>372
確かデュドネ自身
実際は数学マシーンっつうか定理証明マシーンみたいなのではないらしい