区間分割法に対応する定義条文

　2015-09-07 区間分割法

では、閏月の決定法を手順的に書き、

　2026-01-14 区間分割法(スクリプト)

では、その手順を再帰的な操作でアルゴリズム化しました。

一方、区間分割法に対応する定義条文は、

　2015-05-12 冗長条件の整理

|　(五冬)暦月中冬至を含むものを十一月とす。
|　(六丙)前後の冬至・二至・二至二分を含む暦月の間隔が中十二・六・
|　　 三か月の四半期区間中の最初の中気を含まざる暦月に閏を置く。

が、現時点で最終のものです。(六丙)は、静的であるだけでなく、

　2015-05-09　2033-2034年置閏案の整理(その２)

|・(六甲)　―　暦月の番号を３個指定
|・(六丙)　―　暦月の間隔を３個指定

に対比されるように、本月(中気に対応して本来在るべき月)という
概念を用いずに済むため、定義が簡明になるという長所がある。

少し前に、「(六丙)を改良できないか」と、AI たちに問いかけて
みたのですが残念ながらうまく行きませんでした。

(六丙)のどの部分を削っても区間分割法の手順の一部が欠ける。
圧縮するには再帰的記述がよいが「再帰」を扱うと手順的になる。

(六丙)は最適(=「既約(これ以上圧縮できない最小単位)」)なの
かもしれません。