仮想数学史:会円術の先にあったかもしれない数学