法学部を出て数学者となり、機械が...