数学者の理想じゃね?