king算という究極の演算ができあがれば数学はさらに発展するだろう。