和算で扱われた計算幾何学問題に対する記号的消去計算アルゴリズムの現代化の研究

点击翻译按钮获取中文摘要

従来から取り組んできた「円内接多角形問題」の研究を引き続き行った。特に、七角形および八角形の場合の「面積×半径」公式の計算を主要な目標として取り組んだ。この問題に関する解法としては、(A)『終結式による消去計算によるもの』と、(B)『式の対称性や同次性に基づき、想定される結果に対する数値補間によるもの』の2方法が考えられる。(A)の方法では計算機のメモリが不足することが早々に明らかになったため、主として(B)の方法を模索した結果、七角形の場合には計算が完了し、全体で31,590項の式になることが判明した。このときの結果とアルゴリズムの詳細をまとめて、査読付き学術雑誌論文として刊行することができたのが、今年度の主要な成果である。先行研究では、「31,590項になる」という事実だけが指摘されていて、アルゴリズムが明らかにはなっていなかったので、「計算可能なアルゴリズムをひとつ明らかにした」点では、新たな成果であるといえる。その結果を受け、引き続き、八角形の場合に取り組んだが、七角形の場合に比べて急激に計算すべき項数が増えるため、ストレートな計算の延長では計算機のメモリが不足して、全体を計算することは不可能であることが判明した。そこで、同じ「円内接多角形問題」でも、「面積公式」を扱ったMaley他の先行研究を参考に、新たな定式化と消去計算アルゴリズムを模索している。現在は、そのための予備的な実験を継続して行っている。