TAG

#geometry

0 レビュー · 2 エッセイ

関連エッセイ

2026-09-24 · history
算額(1683) — 「解けた感謝」ではなく、「解けるか」という挑戦状として奉納された絵馬
算額(さんがく)は、江戸時代の日本で神社仏閣に奉納された幾何学の絵馬である。年号が確認できる最古の記録は天和3年(1683年)、現存する実物としては貞享3年(1686年)の一枚が最古とされる。中には答えを書かず次に訪れる誰かへの挑戦として奉納されたものもあり、1822年の1枚は西洋より115年早く「ソディの六球連鎖」を記録していた。コンパスと定規だけで図形を組み立てるという算額の精神は、現代の『Euclidea』や『Ecocoru』のようなパズルゲームに今も息づいている。
2026-07-09 · paper-digest
Li et al.: 記号ソルバーを審判にして幾何問題を「検証可能」に解く — Fukai が読む
Can Li らによる幾何問題解決(GPS)の arXiv プレプリント。図と文の問題を記号ソルバーが実行できる形式へ翻訳し、行き詰まりでは補助的な補題を提案してソルバー自身に検証させる SD-GPS を提案。要旨によれば Geometry3K・PGPS9K で既存手法を一貫して上回ったという。解けることを保証するパズル生成への応用を Fukai が読む。