Edit

Page

Page title:

Page body:

[2] 
[[年]]に呼称を与えた[[系]]を指す用語として、
[[紀年法]]、[[紀元]]、[[紀年]]、 [[era]]
などがあります。
いずれもよく使われている用語でありながら、
厳密な意味がはっきりしないところがあります。
書物によって説明された意味が違っていたり、
当てられた訳語の意味が少しずれていたりします。

[185] 
本項では、まず[[紀年法]]的な用語がどのように定義されてきたかを確認します。
その上で、
“[[紀年法]]的なもの”
の記述のための基礎的な概念を定義し、
それをもって
“[[紀年法]]的なもの”
の厳密な議論に資することを目的とします。

* 紀年法の諸定義

[186] 
まず、
[[辞典]]類や専門書、[[学術論文]]等で[[紀年法]]やそれに類する概念がどう説明されているかをみていきましょう。

** 定義㋐

[161] 定義の類型㋐は、「[[年]]の表し方」と広く説明するものです。

[3] 
㋐-1
[[日本語]]版[CITE[ウィキペディア]]の[CSECTION[紀年法]]記事は、
「紀年法」 
とは[[年]]の表し方だとしました。
[SRC[>>77]]

[21] 
㋐-2
[[中文]]版[CITE[维基百科]]の[CSECTION[纪年]]記事は、
「纪年」と「纪元」は[[暦法]]における[[年]]の表し方だとしました。
[SRC[>>40]]
ただし「纪元」については単独記事で別の説明をしていました (>>20)。

[66] かつて
[[English]] 版
[CITE[Wikipedia]]
の
[CSECTION[calendar era]]
は、
「calendar era」
は[[暦法]]における[[年]]の数え方だとしました。
[SRC[>>78]]

[4]
「紀年法」「紀年」の字義を鑑みれば、㋐は1つの妥当な説明でしょう。

[5] 
しかし[[紀年法]]としてあまり紹介されない次のような例を、
どう考えるべきでしょうか。

- [6] [[スローガン的元号]] e.g. 「今年はVR元年になる」「国際宇宙年」
- [7] ある出来事からの[[周年][周年式]] e.g. 「創業10周年で改装した」
- [8] ある人の[[年齢]] e.g. 「22歳の4月に結婚した」
- [9] ある人の[[学年]] e.g. 「小学5年の8月30日の日記」
- [10] [[相対表記][相対時刻]] e.g. 「一昨年の4月17日から」
- [97] [[年度名]] e.g. 「平成15年度 2月行事予定」 「FY2006/07から増収が続いた」

[39] 
㋐-1によればこれらが除外される理由はないはずです。
㋐-2は「暦法の」と限定するためいくつかは除外されるかもしれませんが、
それにしてももう少し厳密な定義がなければ、例えば
「戦後81年」が[[紀年法]]なのか判断に困ります。
「暦法の年」や「暦年」のような修飾はこの他の説明にも時折現れますが、
その意図するところは不明瞭です。

[44] 
「暦法の」と限定する [[English]] 版 [CITE[Wikipedia]] の説明は、
[[紀年法]]が[[暦法]]から独立して存在し得ないとの考え方 (>>23)
に基づくとも思えます。
一方[[日本語]]版 [CITE[Wikipedia]] 
は記事内で[[紀年法]]が[[暦法]]と独立であると説明していました
[SRC[>>77]]。

[227] 
まとめると、㋐はおおむね妥当と考えられるものの、
指し示す範囲が広すぎるようにも思われること、
[[暦法]]との関係が明瞭ではないこと、
の2つの課題があります。

[REFS[

[FIG(quote)[
[FIGCAPTION[
[78] [CITE@en[Calendar era - [[Wikipedia]]]], [TIME[2019-12-11 08:36:44 +09:00]] <https://en.wikipedia.org/wiki/Calendar_era>
]FIGCAPTION]

>A [B[calendar era]] is the [B[year numbering]] system used by a calendar. For example, the Gregorian calendar numbers its years in the Western Christian era (the Coptic Orthodox and Ethiopian Orthodox churches have their own Christian eras). The instant, date, or year from which time is marked is called the [I[epoch]] of the era. There are many different calendar eras.
]FIG]

;; 変更後: >>56

[FIG(quote)[
[FIGCAPTION[
[77] [CITE@ja[[[紀年法]] - [[Wikipedia]]]], [TIME[2019-12-01 17:05:50 +09:00]] <https://ja.wikipedia.org/wiki/%E7%B4%80%E5%B9%B4%E6%B3%95>
]FIGCAPTION]

>[B[紀年法]](きねんほう)とは、年を数えたり、記録する方法をいう。
]FIG]

[FIG(quote)[
[FIGCAPTION[
[40] [CITE@zh[[[纪年]] - 维基百科,自由的百科全书]], [TIME[2020-07-10 07:27:11 +09:00]] <https://zh.wikipedia.org/wiki/%E7%BA%AA%E5%B9%B4>
]FIGCAPTION]

>
[B[纪年]],或称[B[纪元]],是指历法中的年份命名体系,例如格里曆(公历)所使用的基督纪年(公元),中国农历使用的干支纪年等。世界各地曾存在过各种不同的纪年方法,其中一些至今仍在使用。

]FIG]

]REFS]

** 定義㋑

[162] 定義の類型㋑は、「[[年]]をある[[年]]からの経過年数で表すもの」
と説明するものです。

[58] 
㋑-1
[[日本]]の多くの一般向けの辞書に加え、
[CITE[暦と時の事典]]
や
[CITE[日本年号史大事典]]
までもが、
「[[紀年法]]」
とは[[元期]]から年を数える方法だと説明しました。
[SRC[>>83, >>84, >>79]]

[15] 
㋑-2
[[日本語]]版 [CITE[Wikipedia]] の[CSECTION[紀元]]記事は、
[[紀元]]とは[[紀年法]]のうち、
[[元期]]からの経過で年を無限に数えるものと説明しました。
「無限に数える」ことで[[元号]]と区別していました。
[[英語]]「era」、
[[中国語]]「纪年」に対応するとしていました。
(が㋒-2の意味も併記していました >>16)
[SRC[>>77, >>14]]

[158] 
㋑-3
[CITE[나무위키]] の [CSECTION[기년법]] 記事は、
[[기년법]] 
(紀年法, calendar era)
とは特定の年 ([[元年]]) を起源に日数を数える方法と説明しました。
そして[[年号]]も含まれるとし、
現時点で使われる[[紀年法]]は常に[[陽数]]であると指摘しています。
[SRC[>>91]]

[59] 各書とも技術的に厳密な説明とはいえないところがあり、
解釈の余地があります。表現の微妙な違いで当てはまったり、
当てはまらなかったりするケースもあるかもしれません。

- [26] [[干支年]]のような循環式の手法が、年数を数えているといえるのか否か。
- [30] [[ローマ執政官紀年法]]のような年数のない手法が、年数を数えているといえるのか否か。
- [27] [[カウントダウン型紀年法]]が、(経過)年数を数えているといえるのか否か。
- [28] [[紀元前]]と[[紀元後]]の組み合わせが該当するのか、
[[紀元前]]と[[紀元後]]のそれぞれが該当するのか。
- [29] 各[[元号]]が該当するのか、[[日本の元号]]のような[[元号系]]全体として該当するのか。
- [160] 現在が[[0]]や[[負数]]で表される手法が該当するのか否か。

[EG[
[25] 
[CITE[日本大百科全書(ニッポニカ)]]
の[CSECTION[紀年法]]は、本文でいくつか具体的な[[紀年法]]を列挙していました。
なぜか[[元号]]は挙げていませんでしたが、
「[[干支紀年法]]」の説明中に[[即位紀年]]と[[元号]]に言及がありました。
定義上各[[元号]]も該当しそうなもので、
しかも言及されているので漏れではないということは、
[[紀年法]]と考えていなかったのでしょうか。
しかし別項[CSECTION[年号]]には[[紀年法]]の一種とありました。
矛盾はないですが、不自然です。
]EG]

[EG[
[24] 
[CITE[ブリタニカ国際大百科事典]]
の[CSECTION[紀年法]]の本文に
「東洋諸国には王朝ごとに短期間の紀年法があり,これを元号もしくは年号と呼んだ。中国では元号と干支紀年法が盛んであったが,紀元に相当するものとしては」
とあり [SRC[>>79]]、[[干支年]]と各[[元号]]を[[紀年法]]としていましたが、
それらは[[紀元]]でないと解釈したように読めます。
[[紀年法]]の[[元期]]を[[紀元]]と呼ぶという自身の定義 [SRC[>>31]]
と矛盾しています。
]EG]

[EG[
[61] 
[CITE[世界大百科事典]]の[CSECTION[コンスル]]は、
[[ローマ執政官紀年法]]を[[紀年法]]と説明していました。
[SRC[>>79]]
]EG]

[32] 
[[紀年法]]の字義からして、これら[[紀年法]]らしきものを[[紀年法]]に含めないべきとは思えません。
これら[[紀年法]]らしきものが㋑から漏れるとするなら、
㋑は[[紀年法]]の定義として不適切と考えられます。

[163] また[[紀年法]]の字義からして、

- [159] [[単位]]を[[年]]以外とする手法が該当するのか否か。

も注意するべきポイントです。
[[日]]や[[秒]]を単位とする手法や、
[[超年的時間範囲]]とその範囲内の[[年]]数の組み合わせによる手法が該当するのか否かが、
明瞭とはいえません。

[187] 
㋑は[[紀年法]]の[[部分集合]]の定義として分類には有用かもしれません。
ただし、そのためにはある[[紀年法]]が所属するかしないか曖昧なく判定できる、
より厳密な定義が必要です。

[228] 
まとめると、
㋑は「紀年法」の説明とも「紀元」の説明ともされるものの、
「紀年法」の説明としては指し示す範囲が狭すぎると思われること、
定義が曖昧であること、
の2つの課題があります。

[REFS[

[FIG(quote)[
[FIGCAPTION[
[83] 
[CITE[[[暦と時の事典]]]] p.53
]FIGCAPTION]

> 
[B[きねんほう 紀年法]]
歴史上の一定の時から年数を数える方法のことで、
[SNIP[]]

]FIG]

[FIG(quote)[
[FIGCAPTION[
[84] [CITE[[[日本年号史大事典]]]] 
]FIGCAPTION]

普及版 p.12

> 紀年法とは、特定の年を定めて年数を数える方法であり、

]FIG]

[FIG(quote)[
[FIGCAPTION[
[79] [CITE@ja[[[紀年法]](きねんほう)とは - コトバンク]], [[ブリタニカ国際大百科事典 小項目事典,百科事典マイペディア,世界大百科事典 第2版,日本大百科全書(ニッポニカ),世界大百科事典内言及]], [TIME[2019-12-11 15:35:36 +09:00]] <https://kotobank.jp/word/%E7%B4%80%E5%B9%B4%E6%B3%95-51302>
]FIGCAPTION]

>紀年法
きねんほう
calendar; calendar systems
>
国や民族の歴史を計算する際,起算の年を定めて紀元として計算する方法。
[SNIP[]]
>出典 ブリタニカ国際大百科事典 小項目事典

>紀年法【きねんほう】
>
特定の年を紀元と定め,それから起算した経過年数で年代を表示する方法。
>出典 株式会社平凡社 百科事典マイペディア

>きねんほう【紀年法】
>過去のある年を起点として年を通算する方法で,起点となる紀元元年は宗教的,軍事的,政治的事件に基づいて設定される。
[SNIP[]]
>出典 株式会社平凡社 世界大百科事典 第2版

>紀年法
きねんほう
>
年を単位として、経過した時を年数をもって数える方法をいう。このためには、ある起算の時点を必要とする。これを「紀元」といい、起算点である紀元から連続して数えた年数が紀元年数である。
[SNIP[]]
[渡辺敏夫]
[SNIP[]]
>出典 小学館 日本大百科全書(ニッポニカ)

]FIG]

]REFS]

[REFS[

[FIG(quote)[
[FIGCAPTION[
[14] [CITE@ja[[[紀元]] - Wikipedia]], [TIME[2021-01-28T02:59:31.000Z]], [TIME[2021-02-11T04:46:41.477Z]] <https://ja.wikipedia.org/wiki/%E7%B4%80%E5%85%83>
]FIGCAPTION]

>[B[紀元]](きげん)とは、ある出来事が起こった年を始点として、それから何年経過したかで時間を測定する、無限の紀年法である。 
]FIG]

[FIG(quote)[
[FIGCAPTION[
[91] 
[CITE[기년법 - [[나무위키]]]], [TIME[2023-06-21T10:40:14.000Z]] <https://namu.wiki/w/%EA%B8%B0%EB%85%84%EB%B2%95>
]FIGCAPTION]

>[B[기년법]](紀年法, calendar era)은 특정한 연도를 기원으로 하여(원년) 그로부터 햇수를 세는 방법이다. 기원의 근거에 따라 정치적 기년법, 종교적 기년법, 천문학적 기년법 따위가 있다. 연호도 왕들의 즉위 해를 기준으로 한 일종의 기년법이라고 할 수 있다.

]FIG]

]REFS]

** 定義㋓

[73] 
英語「era」は一般語としては[[時代]]、
すなわち何らかの意味付けされた[[時間]]の範囲のような意味合いとされます。
「紀年法」のような[[年]]を識別する機能は必ずしも要求されない語です。
「calendar era」のように修飾するのはその辺の区別が意識されているのでしょう。
ただし「calendar era」とあっても[[年]]の単位で[[番地付け]]されるとは限らないことには注意が必要です。

[75] 
㋓-2
[[ISO 19108]]
の
「[[calendar era]]」, 「[[暦年代]]」, [CODE[TM_CalendarEra]]
は、
[[暦]]中で[[元期]]から長さを数える期間と定められました。
[SEE[ [[TM_CalendarEra]] ]]
各[[即位紀年]]や各[[元号]]の他、
「[[ユリウス暦]]における[[キリスト紀元]]行用期間」
「[[GPS暦]]始まって以来」
のような期間も表せるものとされます。

[17] 
㋓-1
[[日本語版]] [CITE[Wikipedia]] の[CSECTION[紀元]]は、
[[英語]] 「era」の語源は[[ラテン語]] 「aera」で、
[[元期]]から始まる[[年代]]と説明しました。 
[SRC[>>14]]

[52] 
㋓-1
[[Polski]] 版 [CITE[Wikipedia]] の
[CSECTION[Era kalendarzowa]]
は、
[[元期]]から始まる期間と説明しました。
[SRC[>>49]]

[74] 
「era」は[[元号]]の英訳にも使われます。
[[元号]]も[[紀年法]]としての機能を持ちつつ、
[[時代]]区分としてのニュアンスをも持っています。
ただしそれは[[元号]]でない[[紀年法]]も同じで、
「西暦の時代」のような言い方をしたり、
「紀元[VAR[何千]]年」を建国以来何年の意味で使ったりするのも同趣旨でしょう。
それ故に[[元号]]の英訳を「finite era」とし、
[[元号]]でない「era」と区別しようとするものもあります。
[SEE[ [[元号]] ]]

[188] 
㋓は[[紀年法]]を包含する概念 (ないし[[紀年法]]の小さくない[[部分集合]]を包含する概念)
のように思われます。
そのまま[[紀年法]]の定義とするには広すぎます。
せめて「年」を単位とする概念に限定する必要があります。

[REFS[

[FIG(quote)[
[FIGCAPTION[
[49] [CITE@pl[Era kalendarzowa – Wikipedia, wolna encyklopedia]], [TIME[2020-07-03 20:23:50 +09:00]] <https://pl.wikipedia.org/wiki/Era_kalendarzowa>
]FIGCAPTION]

>[B[Era kalendarzowa]] – okres zapoczątkowany jakimś ważnym wydarzeniem (rzeczywistym lub legendarnym), który stanowi podstawę rachuby lat w kalendarzu.

[[Google翻訳]]:

> [B[The calendar age]] - a period initiated by some important event (real or legendary), which is the basis for the calculation of years in the calendar .
>
There are [I[short]] and [I[long ages]] .

]FIG]
]REFS]

** 定義㋕

[62] 
㋕
[[English]] 版 [CITE[Wikipedia]] の
[CSECTION[Calendar era]]
記事は、
「[[元期]]からの経過期間、ただし次の[[元期]]まで」
と説明しました。
[SRC[>>56]]

[63] 
この定義は、但し書きを除けば㋓に相当します。
但し書きは[[日本の元号]]を説明するために挿入されたものでした [SRC[>>57]]。
この改変はやや強引感があります。

[50] 
㋕に個別の各[[元号]]は該当しますが、
「[[日本の元号]]」のような[[元号系]]は該当しないはずです。
ところが [[English]] 版 [CITE[Wikipedia]] の
[CSECTION[Calendar era]] には「Japanese calendar」
や各国の[[即位紀年]]も挙げられていました [SRC[>>56]]
個別の[[元号]]をここにすべて載せるわけにもいかないので、
1つにまとめたのかもしれませんが、
そうであるなら
「calendar era」
の説明として明瞭さを欠いていると言わざるを得ません。

[230] 
[[日本の元号]]のような[[元号系]]が該当するとなると、
「次の元期まで」
という定義と[[遡及年号]]や[[延長年号]]の関係をどう考えるべきかが問題となります。
[[元号系]]の[[元号]]は実はきっちり切り替わるのではなく、
[[前後が重なり合った状態][改元日]]にあります。
㋕はそれを表現できているか疑問です。

[64] 
年を数えない手法は㋕に該当しないはずです。
ところが [[English]] 版 [CITE[Wikipedia]] の
[CSECTION[Calendar era]] 
記事には[[ローマ執政官紀年法]]が挙げられていました [SRC[>>56]]。
あるいは毎年が次の「元期」に該当すると考えれば、該当するともいえるでしょうか。

[51] 
㋕に循環型の手法は該当しないはずです。
ところが [[English]] 版 [CITE[Wikipedia]] の
[CSECTION[Calendar era]] 
記事には
「[[indiction]]」
が挙げられていました [SRC[>>56]]。
あるいは循環のたびに次の「元期」に到達すると考えれば、該当するともいえるでしょうか。
しかし[[干支年]]や[[十二支年]]は挙げられていません。

[65] 
㋕には[[年]]以外のものも該当し得ます。
[[English]] 版 [CITE[Wikipedia]]
には[[ユリウス日数]]や
[[Unix time]] 
が挙げられています。

[229] 
㋕にはその他のものも該当し得ます。
例えば[[年の通日]]は[[年始]]からの経過日数を使って[[日]]を識別する手法ですが、
毎年の[[年始]]を[[元期]]と考えると、
[[indiction]] 
同様に循環型の手法といえます。
しかし
[[English]] 版 [CITE[Wikipedia]]
には挙げられていないので、どう考えているのかわかりません。

[189] 
まとめると、
㋕は㋓と同じく (>>188) [[年]]でないものが含まれること、
1期間を指すのか全体を指すのか、どちらをも指し得るのか明確でないこと、
1期間とし得る範囲が明確でないこと、
重なりを扱えないこと、
といった課題を抱えています。

[REFS[

[FIG(quote)[
[FIGCAPTION[
[56] [CITE@en[Calendar era - Wikipedia]], [TIME[2020-07-15 00:18:22 +09:00]] <https://en.wikipedia.org/wiki/Calendar_era>
]FIGCAPTION]

>A [B[calendar era]] is the period of time elapsed since one [I[epoch]] of a calendar and, if it exists, before the next one.[SUP[ [1] ]]

>[1] Richards, E. G. (2013). "Calendars". In Urban, Sean E.; Seidelmann, P. Kenneth (eds.). [I[Explanatory Supplement to the Astronomical Almanac]] (3 ed.). Mill Valley, CA: Univ Science Books. ISBN 1-891389-85-8.

;; [57] 
出典追加後に定義文が改変されている:
[CITE@en[Calendar era: Difference between revisions - Wikipedia]], [TIME[2020-07-15 00:18:22 +09:00]] <https://en.wikipedia.org/w/index.php?title=Calendar_era&diff=935293278&oldid=935287610>
... ので、この出典の定義と一致しているかは怪しい。

]FIG]

;;  [38] 変更前: >>78

]REFS]

** 定義㋔

[96] 
やや説明的ですが、[[英語]]で「year numbering」との表現があります。
[[天文学的紀年法]]は[[英語]]で [[Astronomical year numbering]] です。

[42] 
㋔
[[English]] 版 [CITE[Wikipedia]] 
に[TIME[西暦2004年][year:2004]]から[TIME[西暦2007年][year:2007]]まで立項されていた
[CSECTION[Year numbering]]
は、
[[暦年]]を固有に識別するべく[[暦年]]に[[整数]]を割当てたものとしていました。
記事本文は[[暦法]]ごとに、
[[グレゴリオ暦]]の [[AD]]、[[BC]]、
[[イスラム暦]]の [[AH]]、[[BH]]
といった形で説明していました。
[SRC[>>41]]

[43] 
当記事はその後 [CSECTION[Calendar era]] に統合され、
「calendar era」は「year numbering」系である、と説明されました [SRC[>>78]]。

[45] 
㋔は「固有の整数」とかなり限定的に定めています。
循環型の手法は除外されますし、
第1年を「元年」と呼ぶ[[東洋]]の手法も解釈によっては除外されます。

[46] 
逆に、[[カウントダウン型紀年法]]が明確に該当するのはもちろん、
年番号を無作為に割り当てたものすら該当し得ます。

[231] 
まとめると、
㋔は「紀年法」の指し示す範囲として狭すぎます。
定義が明確なので「紀年法」の[[部分集合]]の定義としてならいいでしょう。

[REFS[

[FIG(quote)[
[FIGCAPTION[
[41] [CITE@en[[[Year numbering]] - Wikipedia]], [TIME[2021-02-11T06:27:03.000Z]] <https://en.wikipedia.org/w/index.php?title=Year_numbering&oldid=109013729>
]FIGCAPTION]

>[B[Year numbering]] is the assignment of integers to calendar years for the purpose of uniquely identifying the years. 
]FIG]

]REFS]

** 定義㋒

[13] 
㋒-1
「紀年法」の意味を㋑とするものの多くは、
[[元期]]たる[[年]]が「紀元」だと説明していました。
[SRC[>>79, >>31]]

[20] 
㋒-1
[[中文]]版 [CITE[维基百科]] の[CSECTION[纪元]]は、
[[元期]]たる[[年]]だとしていました。
具体的には[[元号]]の[[元年]]が該当するとしていました。 
[SRC[>>19]]
ただし[CSECTION[纪年]]記事では「纪元」は「纪年」と同義とされていました (>>21)。

[16] 
㋒-2
[[日本語]]版 [CITE[Wikipedia]] の[CSECTION[紀元]]は、主たる意味を㋑-2としつつ (>>15)
も、
[[元期]]たる[[年]]や[[日]]をも[[紀元]]や[[暦元]]と呼ぶとしていました。
英語 「epoch」は[[元期]]を表し、[[日本語]]の「紀元」の㋒-2の意味で、
[[中国語]]では「紀元」だとし、
[[日本語]]版記事[CSECTION[紀元]]が[[英語]]版[CSECTION[epoch]]、
[[中文]]版[CSECTION[纪元]]に対応するとしました。  [SRC[>>14]]

[47] 
㋒-2
かつての
[[English]] 版 [CITE[Wikipedia]]
の [CSECTION[Calendar era]]
は、
「epoch」は[[元期]]たる瞬間、日付、年としていました。
[SRC[>>78]]

[34] 
㋒-2
[CITE[デジタル大辞泉]]
や
[CITE[日本国語大辞典]]
の[CSECTION[紀元]]は、
[[元期]]または[[元期]]たる[[年]]としていました。
[SRC[>>31]]

[18] [[日本語]]版 [CITE[Wikipedia]] の[CSECTION[紀元]]は、
実例のリストに年を数える方法をいくつも示していましたが、
唯一
「[[UNIXエポック]]」だけ、
「[[UNIX時間]]における紀元」
として示していました。 [SRC[>>16]]
年を数える方法は㋑-2 ㋒-2のどちらの定義にも合致するものでしたが、
[[UNIXエポック]]だけは㋒-2に限定されるものでした。

[33] 
[CITE[ブリタニカ国際大百科事典]]の[CSECTION[紀元]]は、
建国年、開宗年、国の経過年数の基準年だとしていました。
[SRC[>>31]]
1つ目、2つ目は年を数える手法とは無関係に存在しそうです。派生義でしょうか。
3つ目は㋒に近いですが、なぜか[[建国紀元]]に限定されています。

[REFS[

[FIG(quote)[
[FIGCAPTION[
[31] [CITE@ja[[[紀元]]とは - [[コトバンク]]]], [[ブリタニカ国際大百科事典 小項目事典,デジタル大辞泉,百科事典マイペディア,精選版 日本国語大辞典,日本大百科全書(ニッポニカ),世界大百科事典内言及]], [TIME[2021-02-11T05:49:17.000Z]] <https://kotobank.jp/word/%E7%B4%80%E5%85%83-50242>
]FIGCAPTION]

>紀元(読み)きげん
>ブリタニカ国際大百科事典 小項目事典の解説
>国家や宗教を建てた最初の年,また一国の経過した年数を数えるもとになる年をいう。 (→紀年法 )

>
デジタル大辞泉の解説
>1 歴史上の年数を数えるときの基準。また基準となる最初の年。[SNIP[]]
>2 年号を建てること。建元。改元。また、年号。

>百科事典マイペディアの解説
>歴史年代学の紀年法の基準となる年。国家や民族が過去に経過した年を算定する基準となる年で,ふつう政治的・社会的・宗教的な重要事件のあった年をあてる。

>精選版 日本国語大辞典の解説
〘名〙
>① 歴史上の年数をかぞえる時の基準。また、基準となる最初の年。[SNIP[]]
>② 元年を記すこと。年号を建てること。建元。改元。[SNIP[]]
>③ 年号。[SNIP[]]
>④ 物事のはじめ。

]FIG]

[FIG(quote)[
[FIGCAPTION[
[19] [CITE@zh[[[纪元]] - 维基百科,自由的百科全书]], [TIME[2021-01-28T05:12:57.000Z]], [TIME[2021-02-11T05:14:10.168Z]] <https://zh.wikipedia.org/wiki/%E7%BA%AA%E5%85%83>
]FIGCAPTION]

>[B[纪元]],指历史纪年的起算年代。现在世界上大多数国家采用公历及公元纪年,历史上曾存在多样的纪元方式。
]FIG]

[FIG(quote)[
[FIGCAPTION[
[184] [CITE@ja[暦Wiki/要素/1年とは?/[[紀元]] - 国立天文台暦計算室]], [TIME[2020-06-05T12:50:39.000Z]], [TIME[2021-02-20T10:08:29.656Z]] <http://eco.mtk.nao.ac.jp/koyomi/wiki/CDD7C1C72F1C7AFA4C8A4CFA1A92FB5AAB8B5.html>
]FIGCAPTION]

>紀元とは、年を数える際の基準となるものです。 
]FIG]

]REFS]

** 定義㋗

[35]
㋗-1
[CITE[デジタル大辞泉]]
と
[CITE[日本国語大辞典]]
の[CSECTION[紀元]]は、
[[建元]]、
[[改元]]の意味としていました。
[SRC[>>31]]
[[名詞]]とされていますが、[[サ変動詞]]的な用法のようです。

[36] 
㋗-2
[CITE[デジタル大辞泉]]
と
[CITE[日本国語大辞典]]
の[CSECTION[紀元]]は、
[[元号]]の意味としていました。
[SRC[>>31]]

[37] 
㋗-3
[CITE[日本国語大辞典]]
の[CSECTION[紀元]]は、
物事のはじめの意味としていました。
[SRC[>>31]]
[[スローガン的元号]]につながる用法でしょう。

[67] 
[[東洋の日時表示]]では、[[元号名]]に「紀元」が添えられることがありました。
[SEE[ [[元号紀元]] ]]

[68] 
[[前近代]]には「紀元」は[[改元]]、[[元年]]、[[元号]]と同じような意味で使われることがあったようです。
それが[[西暦]]や[[皇紀]]にも適用範囲が拡大され、
いつしか[[元号]]でないものばかりが[[紀元]]と呼ばれるようになったのでしょうか。

[69] 
現在では「紀元」と[[元号]]は違うとすることも多いとはいえ、
その区別が安定しているとはいえない状況で、
しかも歴史的根拠が薄いとなれば、
それに固執する必要もないかもしれません。

** 定義㋕

[23] 
[[紀年法]]を[[年]]に限定せず広く[[暦法]]や[[時刻法]]の範疇まで含んだ意味だとするものもありました。
[[年]]を特定して数えるためには[[年]]の下位の[[月日]]を画定させる必要が生じますから、
確かにそれも一理あります。

[55] 
「紀年」は歴史研究の分野では「[[紀年銘]]」のように日付表記を指す意味でも使います。
此の場合それは必ずしも[[年]]の表示に限定されず、
[[月]]や[[日]]や[[時]]もあればそれも含めて指します。
[WEAK[(古い史料なら[[年]]だけでも書かれていれば御の字という事情もあるのでしょう。)]]
情報分野の[[タイムスタンプ]]
[WEAK[(「時刻」と言っていますが、[[年]]の単位まですべて含んでいます。)]]
に近い意味といえます。
すると[[暦法]]、[[時法]]まで含めて「紀年法」と呼んだとしても、
むしろ意味が整合するとも言えます。

[53] 
[[Nederlands]] 版 [CITE[Wikipedia]] の
[CSECTION[Jaartelling]]
記事は、[[時刻]]を計算して[[年]]々の形に体系化する時刻計算系と説明しました。
[SRC[>>48]]
[[年]]を所与のものとする他の定義よりもやや[[年]]の構成に焦点が当たっています。
ただ本文は[[紀年法]]と[[暦法]]の区別に注意を促していますから、
定義とはややずれがあるようです。

[70] 
[[日本]]の[[大正時代]]の解説論文
[CITE[[[中世の紀年法大意]]]]
は、[[欧州]]の[[日時制度]]を日、月、年の順に解説したものでした
[SRC[>>71]]。
㋕
この題名と内容から「紀年法」には[[年]]より下位も含まれるようにも解されます。
㋐-2
ただその本文中で「紀年法」と書いているのは[[年]]を説明した章で、
そこでは年を示す方法だとしていました。

[54] 
㋕
[[日本]]の[[紀年法]]研究者[[佐藤正幸]]は、
「紀年法」は一般には時間計測系を指すとしました。
㋐-2
しかし考察の対象から科学的な紀年法は除外し、
さらに[[年]]を数える系に限定したものが
「紀年法」だとしました。
㋖
しかもそれに[[元期]]たる[[年]]が伴うとしました。
[SRC[>>81]]
つまり広義狭義の3段階を設定しましたが、
このうち最後の条件㋖は年を数えるには必須のものだといいますから、
㋐ = ㋖と認識していたのかもしれません。
この狭い方の定義に[[干支年]]や[[ローマ執政官紀年法]]が含まれるのか定かでありません。

[22] 
㋕
[CITE[コトバンク]]の[CSECTION[紀年法]]は、
対応する[[英語]]を
「calendar」
と
「calendar systems」としていました。
[SRC[>>79]]
そこに含まれるどの辞書もこの英語に見合った説明を与えていないので、
この英訳は不審です。

[72] 
結局「紀年法」を[[年]]より細かな構造も含めるとしたところで、
実際には[[年]]とその他を区別して扱うことになるようです。
それならはじめから[[年]]の部分だけに限ってしまって良さそうに思えます。

[REFS[
- [71] [CITE[[[中世の紀年法大意]]]]

[FIG(quote)[
[FIGCAPTION[
[81] [CITE@ja[[[日本における紀年認識の比較史的考察]]]]
]FIGCAPTION]

>
[BOX(vertical)[

紀年法は、一般に、「時間を計測するシ
ステム」と定義され、天文学的 (科学的)
紀年法と、歴史的紀年法とに分類される。
本稿は、後者についての考察であるが、そ
の中でも、主として「年を数えるシステ
ム」について焦点をあてており、暦につい
ては必要な場合にしか言及しない。暦に関
しては、既に多くの優れた研究が行われて
いるので、それらを参照されたい。「一年
を決定する方法」と、「決定された一年を
どの様に取り扱うのか」ということは、本
来別の問題だからであり、両者の明確な区
別は、紀年法の政治的・ 歴史的役割を考え
る上に、必要不可欠である。

従って、本稿で扱う紀年法は、「年を数
えるシステム、或いは歴史上の年を数える
システム」とまず定義したい。次に、これ
に、「年を数える最初の年である『起算年
(起年) 』を伴った」と付け加えることが必
要となる。つまり、「年を数える」ために
は、或る年を「少なくとも理論的に」特定
できなけれぽならないからである。皇帝や
国王の即位紀年は、面倒ではあるが、理論
的には年を特定できるし、オリンピアド紀
年も、第何回目のオリンピック後何年と年
を特定できることを、思い浮かべて欲しい。

]BOX]

]FIG]

[FIG(quote)[
[FIGCAPTION[
[48] 
[CITE@nl[Jaartelling - [[Wikipedia]]]], [TIME[2020-07-12 21:29:05 +09:00]] <https://nl.wikipedia.org/wiki/Jaartelling>
]FIGCAPTION]

>Een [B[jaartelling]] is een systeem van tijdrekening waarbij men de tijd rekent en opbouwt in jaren. Door jaartelling is het mogelijk aan te geven wanneer een bepaalde gebeurtenis heeft plaatsgevonden. Jaartelling is dan ook van groot belang in geschiedschrijving.

[[Google翻訳]]:

>An [B[era]] is a system of time calculation in which time is calculated and built up in years . By era it is possible to indicate when a certain event has taken place. The era is therefore of great importance in historiography .

]FIG]

]REFS]

** その他紀年法分類

[60] 
[CITE[[[中世の紀年法大意]]]]
は、
[RUBYB[[[即位紀年]]][regnal year]]、
一定年数を反復する[RUBYB[周期][cycle]]中の位置、
[RUBYB[[[紀元]]][era]]からの一連年中の位置の3種類の[[紀年法]]に分類していました。
[SRC[>>71]]
[[ローマ執政官紀年法]]は[[即位紀年]]型に分類していました。

[11] 
[[日本語]]版 [CITE[Wikipedia]] は、
[[紀年法]]が
「ある年を始点にして、経過年と遡及年を数える'''無限'''のシステム(紀元)」、
「リセットされる'''有限'''のシステム(元号)」、
「一定の年数で繰り返される'''循環式'''システム」
の3種類に分けられるとしました [SRC[>>77]]。
この分類法では[[ローマ執政官紀年法]]がどこに該当するか不明ですが、
記事中で紹介もされていませんから、対象外なのかもしれません。

[12] 
[[日本語]]版 [CITE[Wikipedia]] は、
[[紀年法]]とは
「元年と1年経過するごとに加算する原則があるのみで、元日は定義しない」
と[[暦法]]との区別を説明していました。
[SRC[>>77]]
厳密に言えば[[干支年]]のような[[元年]]を持たない
「循環式システム」
を考慮していない [CITE[Wikipedia]] のこの説明は矛盾しています。

[183] 
[[太陽暦]]や[[太陰太陽暦]]の[[紀年法]]が想定された説明が多いようですが、
[[太陰暦]]の[[紀年法]]との関係性をどう理解したものか。
[[宇宙の日時]]の記述に使われる[[地球]]以外の[[天体]]での[[紀年法]]の扱いにも不明な点が残ります。

* 広義の紀年法と紀年法の成熟度

[98] 
ここまで、いろいろな用語とその意味の説明を見てきました。
いくつかの説明は[[年]]を対象とし、
いくつかの説明は[[年]]もそうでないものも対象としていました。
どちらもそれが有用な場面があるのでしょう。
ここでは[[年]]を対象とするものを考えます。

[99] 
いろいろな
“年を表す手法”
をそれぞれの説明に当てはめたとき、
該当するものとしない(かもしれない)ものが出てきました。
㋐-1が最も緩い説明で、年を表すいろいろな手法がすべて該当しそうです。
そして字義との対応関係から「紀年法」という語がそれに最も相応しいように思われます。
他の説明は、年を表すいろいろな手法の1分類の説明とは言えるかもしれませんが、
総称的な概念とするには不足します。

[100] 
ただし㋐-1はむしろ意味が広すぎて、
区別して扱いたいものまで含めてしまっている疑いがあります (>>5)。
どこかに線を引いて意味を狭められるものかどうか、
境界的な事例を検討してみます。

[101] 
[[年]]の性質を表すに過ぎないものは、
年を表す手法とはいえないと考えられます。
例えば
「今年はインターネット元年になる」
というとき、「インターネット元年」は年を識別するためではなく、
年の性質を記述するために使われていますから、
年を表す手法の利用例とはいえません。

[102] 
ただし
「インターネット元年から5年が経過した」
というなら、
「インターネット元年」は年を表す性格を帯びています。
このことは、
文脈を無視して語だけ取り出したとき、
それが年を表す手法の利用例かどうか評価できない可能性を示唆します。

[103] 
[[年]]ではないものを指すものは、
年を表す手法の利用例とはいえません。
例えば
「平成7年7月7日で創業21年」
というとき、
「創業21年」
は経過年数を表し、
「平成7年」という年ではなく
「平成7年7月7日」という日に結びついています。

[104] 
ところが「今年は創業30年」とか「創業20年目のキャンペーン」
のように言い出すと、年を表す性格が出てきます。
でも年を識別するというより年の性質を記述したもののようにも感じられます。

[105] 
「創業21年の2月3日」のように[[日付]]の表記にまで使われると、
年を識別する機能を担っていることが明らかです。

[106] 
カレンダーに
「平成7年」「1995年」と並んで「創業21年」
と書いてあるときはどうでしょうか。
[[平成]]や[[西暦]]と並列の年を識別するものと解釈できますが、
年の性質を記述したもののようにも感じられます。

[107] 
[[年表]]に
「和暦」「西暦」欄と並んで「創業年」や「年齢」の欄があるときはどうでしょうか。
「和暦」や「西暦」を隠しても表として成立するなら、
それはもう年を識別する機能を担う値と言って差し支えないように思われます。

[108] 
国家の設立年や君主の誕生年が日付の表記に用いられる例を考えると、
こうした事例は年を表す手法として確立していく過程を捉えているとも思われます。
だとすると、発展途上の曖昧な段階のどこかにここまでは年を表す手法、
ここからはそうではない、と明確な線を引くのは難しいかもしれません。

[109] 
発展の過程に線を引く方法として、例えば、

- [110] 何人以上が利用している
- [112] 何年以上利用されている (その場限りのものではない)
- [111] 団体の創設年が当該団体以外の事項にも転用されたら
- [113] 固有の名前が与えられたら
- [115] [[日付]]の表記に使われたら
- [114] 「何年何月何日」など特定の形式で記述されたら
- [122] 表記揺れが少ない
- [118] 明確な定義が有る

... のような基準が考えられますが、
[[金石文]]の銘文で1例しか発見されていないようなものが基準に当てはめられなくなるなど、
一律に適用するのは難しさがあります。

[116] 
こうした基準を使って機械的にこれは年を数える手法で、これはそうではない、
と定めていくのは無理がありそうですし、
仮に何らかの基準を明文化したところで、従来明確な定義なく何となく共有されている
「紀年法とはこういうものだ」
という概念に一致しなくなってしまうおそれがあります。
一般的な観念と違う基準を新たに設けてもあまり意味がありません。

[117] 
「紀年法」の範囲を狭く定めるためのものとしてではなく、
広義の「紀年法」に属する個々の[[紀年法]]について、
こうした基準を使って[DFN[紀年法の成熟度]]のようなものを測ることには意味があるかもしれません。

[EG[
[119] 
[[日付]]を扱う[[情報システム]]が[[和暦]]や[[西暦]]を処理できる必要があることは自明です。
でも他にも[[紀年法]]はあります。
「すべての紀年法」
のような集合を定められないとしたら、どうしたらいいでしょうか。

[120] 
「すべての紀年法」の[[集合]]は決められないとしても、
[[紀年法の成熟度]]を測って
「広く使われている紀年法」の[[集合]]なら決められそうに思えます。
]EG]

[EG[
[190] それでは「広く使われている紀年法」の全部に対応すればそれで十分でしょうか。

[121] 
社史編纂システムなら、その会社の創業年数や[[決算期]]、
創業者の年齢のようなものも[[紀年法]]として使いたくなるかもしれません。

[191] 
[[紀年法の成熟度]]が低いとしても、局所的な需要は高いことがあります。
「広く使われている紀年法」以外の[[紀年法]]にも対応できる、
[[拡張可能]]な設計が望まれます。

[192] 
そのためには、「広く使われている紀年法」以外も含め、
[[紀年法]]とはいかなるもので、どのような性質を示すのか、
要件と特徴の理解が重要となります。
従来のような個別の[[紀年法]]の研究にとどまらず、
[[紀年法]]の[[クラス]]に対する一般化された分析が求められます。

]EG]

[SEE[ [[近現代日本の私年号]], [[アメリカ建国紀元]], [[チェルノブイリ紀元]], [[道暦]], [[啓統紀元]], [[檀君紀元]], [[통일염원]], [[広布決戦場]] ]]

* 紀年法の一般形の形式的定義

[123] 
前節の検討を踏まえ、
ここでは㋐-1をベースに、シンプルに
「[[年]]を表す方法を「紀年法」と呼ぶ」
と考えることにします。

[193] 
言い換えると[[紀年法]]とは、
ある[[年]]を思い浮かべた時、
それを指す“名前”を提供してくれる[[関数]]を持つものです。

[194] 
しかも、そのような“名前”からそれが表す[[年]]を思い浮かべられなければ、
[[コミュニケーション]]は成立しないのですから、
その[[逆関数]]もまた紀年法に不可欠な要素といえます。

[82] それを、

- [124] [[ローマ執政官紀年法]]のように[[年]]の名前は[[数]]とは限りません。
- [126] [[ローマ執政官紀年法]]における[[西暦21世紀]]の[[年]]のように[[年]]の名前が定まらないケースがあります。
- [127] [[干支紀年法]]のように[[年]]の名前から[[年]]が一意に定まらないケースがあります。
文脈により確定できるケースもあれば、
確率的にしか推測できないケースもあります。
- [200] [[干支紀年法]]における[[六十干支]]にない[[十二支]]と[[十干]]の組合せのように、
[[年]]の名前のように見えて[[年]]の名前ではないケースがあります。
- [128] [[日本の元号]]の[TIME[平成31年・令和元年][year:2019]]のように[[年]]以外の入力がないと[[年]]の名前が確定しないケースがあります。

... という条件を考慮すると、次のように記述できます。

[195] 
[DFN[紀年法]] ([DFN[year naming scheme]], [DFN[YNS]]) [VAR[N]] は、

[FIG(math)[
[VAR[N]] = ( Names[SUB[[VAR[N]]]], ToYear[SUB[[VAR[N]]]], ToName[SUB[[VAR[N]]]] )

∀[VAR[n]] ∈ Names[SUB[[VAR[N]]]],
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]]) ∈ { [VAR[C[SUB[[VAR[Y]]]]]] }

∀[VAR[n]] ∉ Names[SUB[[VAR[N]]]],
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]]) = [VAR[C[SUB[[VAR[Φ]]]]]]

∀[VAR[y]] ∈ [VAR[Y]],
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]]) ∈ { [VAR[C[SUB[Names[SUB[[VAR[N]]]]]]]] }
]FIG]

-
[131] 
Names[SUB[[VAR[N]]]]
は、
[[紀年法]] [VAR[N]] に属する名前の[[集合]]
-
[201] 
ToYear[SUB[[VAR[N]]]]
は、
[[紀年法]] [VAR[N]] 
に属する名前から[[年]]を求める[[関数]]
-
[202] 
ToName[SUB[[VAR[N]]]]
は、
[[年]]から[[紀年法]] [VAR[N]] 
に属する名前を求める[[関数]]
-
[125] 
[VAR[Y]]
はすべての[[年]]の[[集合]] (>>196) 
- [132] 
[VAR[X]] は文脈的な条件 (>>91) 
-
[204] 
[VAR[C[SUB[[VAR[Φ]]]]]]
は、
[[空集合]]
[VAR[Φ]]
の[[候補関数]] (>>199) 
- 
[197] 
[VAR[C[SUB[[VAR[Y]]]]]]
は、
[VAR[Y]] の[[候補関数]] (>>199) 
-
[198] 
[VAR[C[SUB[Names[SUB[[VAR[N]]]]]]]]
は、
Names[SUB[[VAR[N]]]]
の[[候補関数]] (>>199)

... と表せるものとします。

[199] 
[[関数]]
ToYear[SUB[[VAR[N]]]],
ToName[SUB[[VAR[N]]]]
の結果は、
ちょうど1つに確定できるケースもあれば、
候補が見つからないケースや複数候補から決められないケースもあります。
複数の候補は同格とは限らず、確からしさ等の情報も得られることがあります。
ここではそれらを一括して[[候補関数]]として記述することにします。

-*-*-

[196] 
なお、すべての[[年]]の[[集合]] [VAR[Y]]
については、
[[暦法]]との関係が複雑なのでここでは深くは立ち入らないことにします。

[234] 
多くの場合、[[紀年法]]によって記述される[[年]]の[[集合]] [VAR[Y]]
は[[全順序集合]]です。
[[不等号]] [CODE[<]], [CODE[>]], [CODE[≦]], [CODE[≧]]
はその[[全順序関係]]によるものとします。

[235] 
[[全順序集合]]たる[[年]]の[[集合]] [VAR[Y]] における[[年]] [VAR[y]] 
について、
前の[[年]]を [VAR[y]] - 1、
次の[[年]]を [VAR[y]] + 1
と書くことにします。
すなわち、

[FIG(math)[

[236] 
∀[VAR[y[SUB[1]]]] ∈ [VAR[Y]],
∀[VAR[y[SUB[2]]]] ∈ [VAR[Y]],
[VAR[y[SUB[1]]]] - 1 = [VAR[y[SUB[2]]]]
⇔
[VAR[y[SUB[1]]]] > [VAR[y[SUB[2]]]]
∧
¬
(∃[VAR[y]], [VAR[y[SUB[1]]]] > [VAR[y]] > [VAR[y[SUB[2]]]])

[237] 
∀[VAR[y[SUB[1]]]] ∈ [VAR[Y]],
∀[VAR[y[SUB[2]]]] ∈ [VAR[Y]],
[VAR[y[SUB[1]]]] + 1 = [VAR[y[SUB[2]]]]
⇔
[VAR[y[SUB[1]]]] < [VAR[y[SUB[2]]]]
∧
¬
(∃[VAR[y]], [VAR[y[SUB[1]]]] < [VAR[y]] < [VAR[y[SUB[2]]]])

]FIG]

... とします。

** 候補関数

[203] 
[[集合]] [VAR[X]]
の[DFN[候補関数]] ([DFN[candidate function]])
[VAR[C[SUB[[VAR[X]]]]]] ([VAR[x]])
は、

- [216] 
∀[VAR[x]] ∈ [VAR[X]]?
について
[VAR[C[SUB[[VAR[X]]]]]] ([VAR[x]])
は
[VAR[x]] の候補としての性質を示す値を返す
- [215] 
∀[VAR[x]] ∉ [VAR[X]]?
について
[VAR[C[SUB[[VAR[X]]]]]] ([VAR[x]])
は候補であり得ないことを表す値を返す
- [205] [VAR[X]]? = [VAR[X]] ∪ { [CODE[null]] }
- [206] [CODE[null]] は[[集合]] [VAR[X]] 
のどの[[要素]]も該当しないことを意味する値
-- [208] [CODE[null]] は [VAR[X]] のどの[[要素]]とも異なると考える。

... という条件を満たすものとします。

[209] 
[VAR[C[SUB[[VAR[X]]]]]] ([VAR[x]])
はこの条件を満たす任意の[[関数]]で構いませんが、
取り扱いの便宜上、
[[確率分布]] [VAR[P]] ([VAR[x]])
を持つと考えます。
すなわち、

[FIG(math)[

[VAR[C[SUB[[VAR[X]]]]]] ([VAR[x]]) = ([VAR[P]] ([VAR[x]]), [VAR[C'[SUB[[VAR[X]]]]]] ([VAR[x]]))

∀[VAR[x]] ∈ [VAR[X]]?, 
[VAR[P]] ([VAR[x]]) ∈ [ [N[0]], [N[1]] ]

[RUBYB[Σ][[VAR[x]] ∈ [VAR[X]]?]] [VAR[P]] ([VAR[x]]) = 1

∀[VAR[x]] ∉ [VAR[X]]?, 
[VAR[P]] ([VAR[x]]) = 0

]FIG]

- [207] 
∀[VAR[x]] ∈ [VAR[X]]
について
[VAR[P]] ([VAR[x]]) 
は
[VAR[x]] が候補である可能性の高さを、
[VAR[P]] ([CODE[null]])
は
[VAR[X]]
のどの[[要素]]も該当しない可能性の高さを表す値
- [210] 
[VAR[C'[SUB[[VAR[X]]]]]] ([VAR[x]])
はその他の情報

... とします。

[129] 
[VAR[P]] ([CODE[null]]) = 1 のとき、該当する候補が存在しないことを表します。
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]]) 
では入力 [VAR[n]] が[[紀年法]] [VAR[N]] の年の名前ではないことを意味します。
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]])
では入力 [VAR[y]] を[[紀年法]] [VAR[N]] では表現できないことを意味します。

[130] 
[VAR[P]] ([VAR[x]]) = 1 となる [VAR[x]] ∈ [VAR[X]] が1つだけ存在するとき、
結果が1つに確定することを表します。
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]]) 
では入力 [VAR[n]] が[[紀年法]] [VAR[N]] 
における曖昧でない年の名前であることを意味します。
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]])
では入力 [VAR[y]] を[[紀年法]] [VAR[N]] で一意に表現できることを意味します。

[211] 
簡単のため、
[VAR[C'[SUB[[VAR[X]]]]]] ([VAR[x]])
や
[VAR[P]] ([VAR[x]])
の具体的な値に興味がない時、[[演算子]] [CODE[==]]
により候補の値の[[集合]]として略記できることとします。
すなわち、

[FIG(math)[

[VAR[C[SUB[[VAR[X]]]]]] == { [VAR[x]] | [VAR[P]] ([VAR[x]]) > 0 }

]FIG]

... のように書きます。

[213] 
更に、
[VAR[P]] ([VAR[x]]) = 1
となる
[VAR[x]]
が存在するとき、
[[演算子]]
[CODE[==]]
により
[VAR[x]] として略記できることとします。
[VAR[P]] ([VAR[x]]) = 1
となる
[VAR[x]]
が存在するような
[VAR[C[SUB[[VAR[X]]]]]]
を[DFN[決定的]] ([DFN[deterministic]]) であるといいます。

[EG[
[212] 
[[紀年法]] [VAR[N]] におけるある[[年]] [VAR[y]]
が名前 "A", "B", "C", "D" について [VAR[P]] ("B") = 0.3, [VAR[P]] ("D") = 0.7
のとき、

[FIG(math)[
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]]) == { "B", "D" }
]FIG]

... と書きます。

[214] 
あるいは、
[VAR[P]] ("C") = 1
のとき、

[FIG(math)[
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]]) == { "C" } == "C"
]FIG]

... と書きます。

]EG]

-*-*-

[180] 
[[候補関数]]
[VAR[C[SUB[1]]]],
[VAR[C[SUB[2]]]]
について合成
[CODE[Cands ([VAR[C[SUB[1]]]], [VAR[C[SUB[2]]]], [VAR[E]])]]
は、
条件 [VAR[E]] に応じて
[VAR[C[SUB[1]]]],
[VAR[C[SUB[2]]]]
を組合せたものとします。

[247] 
ここで組合せたものとは、
任意の入力 [VAR[c]] について
[CODE[[VAR[C[SUB[1]]]] ([VAR[c]]) = [VAR[C[SUB[2]]]] ([VAR[c]]) = [CODE[null]]]]
のとき
[CODE[null]] を返し、
それ以外のとき
[VAR[C[SUB[1]]]] ([VAR[c]]),
[VAR[C[SUB[2]]]] ([VAR[c]]),
[VAR[E]]
のみによって決まる値を返すようなものをいいます。

** 一貫性規則

[165] 
ToName[SUB[[VAR[N]]]] によって得られた[[年]] [VAR[y]] の[[年]]の名前は、
ToYear[SUB[[VAR[N]]]] に与えた時、 [VAR[y]] が候補(の1つ)として得られるべきです。
逆に
ToYear[SUB[[VAR[N]]]] によって得られた[[年]]の名前 [VAR[n]] の[[年]]は、
ToName[SUB[[VAR[N]]]] に与えた時、 [VAR[n]] が候補(の1つ)として得られるべきです。
すなわち、
[[紀年法]] [VAR[N]] の[DFN[一貫性規則]] ([DFN[consistency rules]]):

[FIG(math)[
∀[VAR[y]] ∈ [VAR[Y]],
∀[VAR[n]] ∈ [VAR[S]], [VAR[n]] ≠ [CODE[null]],
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]]) == [VAR[S]]
⇒
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]]) == [VAR[T]] ∋ [VAR[y]]

∀[VAR[n]] ∈ [VAR[Names[SUB[[VAR[N]]]]]],
∀[VAR[y]] ∈ [VAR[S]], [VAR[y]] ≠ [CODE[null]],
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]]) == [VAR[S]]
⇒
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]]) == [VAR[T]] ∋ [VAR[n]]
]FIG]

... が共に[[真]]となるべきです。

[218] 
もし[[真]]とならないことがあるなら、そのような[[紀年法]] [VAR[N]]
は[[年]]と[[年]]の名前を結びつける機能を果たせていません。
この先、特に断らない限り、 
[[紀年法]]は[[一貫性規則]]を満たすものとします。

[NOTE[
[166] 
検討が不十分な[[紀年法]]の定義は、
[[一貫性規則]]を満たさないかもしれません。
[[紀年法]]の記述を取り扱う[[プログラム]]の実装は、
実装手法によっては、
記述された[[紀年法]]が[[一貫性規則]]を満たすか否か、
検査する必要があるかもしれません。
]NOTE]

;;
[217] 
ToYear[SUB[[VAR[N]]]]
に対する入力
[VAR[n]]
は、
断片的な[[年]]の名前 
[WEAK[(例えば[[虫食い]]のある[[日付]]らしき文字列中の[[年]]と思われる部分)]]
や[[年]]の範囲を表す値
[WEAK[(例えば[[十年紀]]の名前)]]
などに拡張することもできるでしょうが、
ここでは考えないことにします。

* 紀年法の決定性

[224] 
多くの[[紀年法]]は[[年]]と[[年]]の名前に固定的な関係があります。
そこで、

-
[221] 
[[紀年法]] [VAR[N]]
の
ToName[SUB[[VAR[N]]]] ([VAR[y]], [VAR[X]])
が返す[[候補関数]]がすべて[[決定的]]かつ
[VAR[X]] に依存せずに決まるとき、
[VAR[N]]
は[DFN[年決定的]] ([DFN[year-deterministic]]) であるといいます。
-
[225] 
[[紀年法]] [VAR[N]]
の
ToYear[SUB[[VAR[N]]]] ([VAR[n]], [VAR[X]])
が返す[[候補関数]]がすべて[[決定的]]かつ
[VAR[X]] に依存せずに決まるとき、
[VAR[N]]
は[DFN[名前決定的]] ([DFN[name-deterministic]]) であるといいます。
-
[226] 
[[紀年法]] [VAR[N]]
が[DFN[決定的]] ([DFN[deterministic]]) であることは、
[[名前決定的]]かつ[[年決定的]]であることと[[同値]]です。

... とします。

[EG[
[232] 
[[西暦年]]の[[数値]]の[[紀年法]]は[[決定的]]です。

[233] 
[[西暦2桁年号]]の[[数値]]の[[紀年法]]は[[年決定的]]ですが[[名前決定的]]ではありません。
]EG]

[144] 
[[紀年法]]が[[決定的]]であるとは、
[[年]]と[[年]]の名前が[[一対一対応]]するということです。
従って[[決定的]]な[[紀年法]] [VAR[N[SUB[[VAR[M]]]]]] 
は[[写像]]の形で記述できます。

[FIG(math)[
[148] 
[VAR[N[SUB[[VAR[M]]]]]] = 
(Names[SUB[[VAR[N[SUB[[VAR[M]]]]]]]],
ToName[SUB[[VAR[N[SUB[[VAR[M]]]]]]]],
ToYear[SUB[[VAR[N[SUB[[VAR[M]]]]]]]]) =
(Map[SUB[[VAR[N[SUB[[VAR[M]]]]]]]])

[93] 
Map[SUB[[VAR[N[SUB[[VAR[M]]]]]]]] = {([VAR[y[SUB[1]]]], [VAR[n[SUB[1]]]]), ([VAR[y[SUB[2]]]], [VAR[n[SUB[2]]]]), ([VAR[y[SUB[3]]]], [VAR[n[SUB[3]]]]), ...}

[133] 
∀[VAR[y]] ∈ [VAR[Y]],
ToName[SUB[[VAR[N[SUB[[VAR[M]]]]]]]] ([VAR[y]]) [[==]] 
[FENCED[{][[LINES[∃[VAR[n]] ∈ Names[SUB[[VAR[N[SUB[[VAR[M]]]]]]]], ([VAR[y]], [VAR[n]]) ∈ Map[SUB[[VAR[N[SUB[[VAR[M]]]]]]]] のとき [VAR[n]]][そうでないとき [CODE[null]]]]]]

[134] 
∀[VAR[n]] ∈ Names[SUB[[VAR[N[SUB[[VAR[M]]]]]]]], 
ToYear[SUB[[VAR[N[SUB[[VAR[M]]]]]]]] ([VAR[n]]) [[==]] 
[FENCED[{][[LINES[∃[VAR[y]] ∈ [VAR[Y]], ([VAR[y]], [VAR[n]]) ∈ Map[SUB[[VAR[N[SUB[[VAR[M]]]]]]]] のとき [VAR[y]]][そうでないとき [CODE[null]]]]]]
]FIG]

* 年の名前の数

[145] 
多くの[[紀年法]]において
「年の名前」
は、

- 「平成21年」 = [N[21]]
- 「西暦2010年」 = [N[2010]]
- 「康煕十一年」 = [N[11]]

... のようにそれぞれある数値を表しています。

[251] 
そこで、
「年の名前」
から数値を取得する[[関数]]
ToNumber ([VAR[n]])
を考えます。
ToNumber ([VAR[n]])
は、

- [222] [VAR[n]] のみによって決まる値を返す。
-- [219] [VAR[n]] がある[[数値]]を表すなら、その[[数値]]を返す。
-- [223] そうでないなら、 [CODE[NaN]] を返す。

... という任意の[[関数]]とします。

[EG[
[220] 
例えば、
ToNumber ("平成20年") = 20,
ToNumber ("平成元年") = 1,
ToNumber ("平成末年") = [CODE[NaN]]
のような[[関数]] ToNumber を定めることが出来ます。
]EG]

* 整数増加型紀年法

[80] 
多くの[[紀年法]]は[[年]]を[[整数]]で識別する形をとります。
そのような[[紀年法]]の性質をみていきます。

[76] 
多くの[[紀年法]]は、
[[年]]の名前
[VAR[n[SUB[1]]]]
の[[年]]の次の[[年]]の名前が
[VAR[n[SUB[2]]]] 
であるとき、
[CODE(math)[ToNumber ([VAR[n[SUB[1]]]]) + 1 = ToNumber ([VAR[n[SUB[2]]]])]]
となる性質を持っています。

[252] 
そこで、
[[全順序集合]]たる[[年]]の[[集合]] [VAR[Y]]
における[DFN[整数増加型紀年法]] ([DFN[integer-incrementing year naming scheme]])
[VAR[N[SUB[[VAR[I]]]]]]
は次のように記述できる[[紀年法]]とします。

[FIG(math)[
[149] 
[VAR[N[SUB[[VAR[I]]]]]] = 
(Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]],
ToName[SUB[[VAR[N[SUB[[VAR[I]]]]]]]],
ToYear[SUB[[VAR[N[SUB[[VAR[I]]]]]]]])

[239] 
[VAR[N[SUB[[VAR[I]]]]]] は[[名前決定的]]

[136] 
∀[VAR[n]] ∈ Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]],
ToNumber[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[n]]) ∈ 𝐙

[238] 
∀[VAR[i]] ∈ 𝐙,
∃[VAR[n]] ∈ Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]],
ToNumber[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[n]]) = [VAR[i]]

[138] 
∀[VAR[[VAR[y]] ∈ [VAR[Y]], 
∀[VAR[X]],
∃[VAR[S]],
[VAR[S]] ≠ [CODE[null]],
ToName[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[y]], [VAR[X]]) == [VAR[S]]
∌ [CODE[null]]

[137] 
∀[VAR[[VAR[y[SUB[[VAR[l]]]]]] ∈ [VAR[Y]], 
∀[VAR[[VAR[y[SUB[[VAR[m]]]]]] ∈ [VAR[Y]], 
∀[VAR[X]],
∃[VAR[S[SUB[[VAR[l]]]]]],
∃[VAR[S[SUB[[VAR[m]]]]]],
∀[VAR[n[SUB[[VAR[l]]]]]] ∈ Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]],
∀[VAR[n[SUB[[VAR[m]]]]]] ∈ Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]],
ToName[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[y[SUB[[VAR[l]]]]]], [VAR[X]]) == 
[VAR[S[SUB[[VAR[l]]]]]]
∋ [VAR[n[SUB[[VAR[l]]]]]]
∧
ToName[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[y[SUB[[VAR[m]]]]]], [VAR[X]]) == 
[VAR[S[SUB[[VAR[m]]]]]]
∋ [VAR[n[SUB[[VAR[m]]]]]]
∧
[VAR[I]]

[176] 
[VAR[I]]:
ToNumber[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[n[SUB[[VAR[l]]]]]]) + 1 = 
ToNumber[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[n[SUB[[VAR[m]]]]]])
⇔
[VAR[y[SUB[[VAR[l]]]]]] + 1 = [VAR[y[SUB[[VAR[m]]]]]]

]FIG]

[240] 
[[整数増加型紀年法]]
[VAR[N[SUB[[VAR[I]]]]]]
では[[年]] [VAR[y]]
を表す年の名前が1つ[[以上]]存在しますが、
そのような年の名前 [VAR[n]] に対する
ToNumber[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ([VAR[n]])
は [VAR[y]] だけによって定まる[[整数]] [VAR[i]] となります。
[VAR[y]] 以外の[[年]]で値 [VAR[i]] が得られることはありません。
従って 
[VAR[y]] は [VAR[i]] により区別できます。
そこで便宜上そのような[[年]]を
[VAR[y[SUB[[VAR[i]]]]]]
と書くことにします。
[VAR[y[SUB[[VAR[i]]]]]] + 1 = [VAR[y[SUB[[VAR[i]] + 1]]]]
となります。

[241] 
[VAR[y[SUB[1]]]]
を
[VAR[N[SUB[[VAR[I]]]]]]
の[DFN[元年]]
([DFN[first year]])
と呼ぶことにします。

-*-*-

[139] 
[[整数増加型紀年法]]
[VAR[N[SUB[[VAR[I]]]]]]
に対し、
次のような[[紀年法]] 
ToNumber ([VAR[N[SUB[[VAR[I]]]]]])
を考えます。

[FIG(math)[

[167] 
ToNumber ([VAR[N[SUB[[VAR[I]]]]]]) =
(𝐙,
ToName,
ToYear)

[242] 
∀[VAR[i]] ∈ 𝐙,
∀[VAR[X]],
ToName ([VAR[y[SUB[[VAR[i]]]]]], [VAR[X]]) = [VAR[i]]

[243] 
∀[VAR[i]] ∈ 𝐙,
∀[VAR[X]],
ToYear ([VAR[i]], [VAR[X]]) = [VAR[y[SUB[[VAR[i]]]]]]

]FIG]

[244] 
ToNumber ([VAR[N[SUB[[VAR[I]]]]]])
とは
[VAR[N[SUB[[VAR[I]]]]]]
の
Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]]
の[[要素]]を
ToNumber[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] 
を適用した結果に他なりません。
言い換えると、
[[整数増加型紀年法]]の「整数」の部分だけを取り出したものであります。

[88] 
同じ[[年]]の[[集合]] [VAR[Y]] に対して定義される
2つの[[整数増加型紀年法]]
[VAR[N[SUB[[VAR[I1]]]]]],
[VAR[N[SUB[[VAR[I2]]]]]]
の[[比較]]を考えます。

[FIG(math)[

[90] 
ToNumber ([VAR[N[SUB[[VAR[I1]]]]]]) =
(𝐙,
ToName[SUB[1]],
ToYear[SUB[1]])

[95] 
ToNumber ([VAR[N[SUB[[VAR[I2]]]]]]) =
(𝐙,
ToName[SUB[2]],
ToYear[SUB[2]])

[135] 
ToName[SUB[1]] ([VAR[y]], [VAR[X]]) = [VAR[i[SUB[1]]]]

[141] 
ToName[SUB[2]] ([VAR[y]], [VAR[X]]) = [VAR[i[SUB[2]]]]

]FIG]

とするとき、

[FIG(math)[

[150] 
[VAR[⊿]] =
ToName[SUB[1]] ([VAR[y]], [VAR[X]]) -
ToName[SUB[2]] ([VAR[y]], [VAR[X]]) = 
[VAR[i[SUB[1]]]] - [VAR[i[SUB[2]]]]

]FIG]

の [VAR[⊿]] は [VAR[y]] によらず一定です。

[245] 
[VAR[⊿]] = 0 のとき、
2つの[[整数増加型紀年法]]
[VAR[N[SUB[[VAR[I1]]]]]],
[VAR[N[SUB[[VAR[I2]]]]]]
は[DFN[数値的に等価]] ([DFN[numerically equivalent]])
であるということにします。

[EG[
[246] 
{"平成元年", "平成2年", "平成3年", ...}
のような[[紀年法]]と
{"平成元年", "平成二年", "平成三年", ...}
のような[[紀年法]]が[[数値的に等価]]だ、
と記述できます。

]EG]

[151] 
1つ基準となる[[整数増加型紀年法]]を選ぶと、
他の[[整数増加型紀年法]]との関係性を [VAR[⊿]]
によって記述できます。
そこで
[VAR[⊿]]
を
[VAR[N[SUB[[VAR[I1]]]]]]
に対する
[VAR[N[SUB[[VAR[I2]]]]]]
の
[DFN[offset]]
ということにします。

[EG[

[153] 
[VAR[N[SUB[[VAR[I1]]]]]]
が
{"西暦2019年", "西暦2020年", "西暦2021年", ...}
のような[[紀年法]]で、
[VAR[N[SUB[[VAR[I2]]]]]]
が
{"令和元年", "令和2年", "令和3年", ...}
のような[[紀年法]]だとすると、
[[offset]]
は 
[N[2018]]
になります。

]EG]

[EG[

[154] 
すべての[[グレゴリオ年]]の[[集合]]に対して定義される[[整数増加型紀年法]]は、
[[西暦]]の[[紀年法]]を基準に選ぶと、
[[西暦]]の[[紀年法]]に対する
[[offset]]
によってその[[整数]]の年数としての関係性を記述できます。

[173] 
具体的には、[[平成]]の[[紀年法]]は [[offset]] = [N[1988]]、
[[令和]]の[[紀年法]]は [[offset]] = [N[2018]]、
[[西暦]]の[[紀年法]]は [[offset]] = [N[0]]
と記述できます。

]EG]

-*-*-

[177] 
[DFN[整数減少型紀年法]] ([DFN[integer-decreasing year naming scheme]])
[VAR[N[SUB[[VAR[D]]]]]]
は、[[整数増加型紀年法]]の定義のうち、
[VAR[I]] を次の [VAR[D]] に置き換えたものとします。

[FIG(math)[
[178] 
[VAR[D]]:
ToNumber[SUB[[VAR[N[SUB[[VAR[D]]]]]]]] ([VAR[n[SUB[[VAR[l]]]]]]) - 1 = 
ToNumber[SUB[[VAR[N[SUB[[VAR[D]]]]]]]] ([VAR[n[SUB[[VAR[m]]]]]])
⇔
[VAR[y[SUB[[VAR[l]]]]]] + 1 = [VAR[y[SUB[[VAR[m]]]]]]
]FIG]

* 循環型紀年法

[86] 
[[年]]の名前が [VAR[c]] 通り ([VAR[c]] ∈ 𝐙, [VAR[c]] > [N[0]])
あって循環するような[[紀年法]]があります。

[248] 
[DFN[循環型紀年法]]
([DFN[circular year naming scheme]])
[VAR[N[SUB[[VAR[C]]]]]]
は、次の条件を満たす[[紀年法]]をいいます。

[FIG(math)[
[94] 
[VAR[N[SUB[[VAR[C]]]]]] = 
(Names[SUB[[VAR[N[SUB[[VAR[C]]]]]]]],
ToName[SUB[[VAR[N[SUB[[VAR[C]]]]]]]],
ToYear[SUB[[VAR[N[SUB[[VAR[C]]]]]]]])

[140] 
[VAR[N[SUB[[VAR[C]]]]]] は[[年決定的]]

[143] 
[VAR[C]] = {[VAR[i]] | [VAR[i]] ∈ 𝐙, [N[0]] ≦ [VAR[i]] < [VAR[c]]}

[142] 
∀[VAR[n]] ∈ Names[SUB[[VAR[N[SUB[[VAR[C]]]]]]]],
ToNumber[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[n]]) ∈ [VAR[C]]

[146] 
∀[VAR[y]] ∈ [VAR[Y]], 
∀[VAR[X]],
ToName[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[y]], [VAR[X]]) =
ToName[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[y]] + [VAR[c]], [VAR[X]])

[168] 
∀[VAR[[VAR[y[SUB[[VAR[l]]]]]] ∈ [VAR[Y]], 
∀[VAR[[VAR[y[SUB[[VAR[m]]]]]] ∈ [VAR[Y]], 
∀[VAR[X]],
∃[VAR[S[SUB[[VAR[l]]]]]],
∃[VAR[S[SUB[[VAR[m]]]]]],
∀[VAR[n[SUB[[VAR[l]]]]]] ∈ Names[SUB[[VAR[N[SUB[[VAR[C]]]]]]]],
∀[VAR[n[SUB[[VAR[m]]]]]] ∈ Names[SUB[[VAR[N[SUB[[VAR[C]]]]]]]],
ToName[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[y[SUB[[VAR[l]]]]]], [VAR[X]]) == 
[VAR[S[SUB[[VAR[l]]]]]]
∋ [VAR[n[SUB[[VAR[l]]]]]]
∧
ToName[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[y[SUB[[VAR[m]]]]]], [VAR[X]]) == 
[VAR[S[SUB[[VAR[m]]]]]]
∋ [VAR[n[SUB[[VAR[m]]]]]]
∧
ToNumber[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[n[SUB[[VAR[l]]]]]]) + 1 ≡ 
ToNumber[SUB[[VAR[N[SUB[[VAR[C]]]]]]]] ([VAR[n[SUB[[VAR[m]]]]]])
⇔
[VAR[y[SUB[[VAR[l]]]]]] + 1 ≡ [VAR[y[SUB[[VAR[m]]]]]]
(mod [VAR[c]])

]FIG]

[EG[
[250] 
[[干支年]]は [CODE[[VAR[c]] = [N[60]]]] の[[循環型紀年法]]です。
]EG]

* 紀年法の合成

[254] 
[[元号]]紀年法群や、[[元号]]と[[西暦]]のように、複数の[[紀年法]]が併用されることがあります。

[255] 
2つの[[紀年法]]
[VAR[N[SUB[1]]]], [VAR[N[SUB[2]]]]
の合成を表す[[関数]] [CODE[Compose]] を、
次のように定義します。

[FIG(math)[

[256] 
Compose ([VAR[N[SUB[1]]]], [VAR[N[SUB[2]]]], [VAR[E[SUB[1, 2]]]]) = 
(Names[SUB[[VAR[N[SUB[1]]]]]] ∪ Names[SUB[[VAR[N[SUB[2]]]]]],
Cands (ToName[SUB[[VAR[N[SUB[1]]]]]], ToName[SUB[[VAR[N[SUB[2]]]]]], [VAR[E[SUB[1, 2]]]]),
Cands (ToYear[SUB[[VAR[N[SUB[1]]]]]], ToYear[SUB[[VAR[N[SUB[2]]]]]], [VAR[E[SUB[1, 2]]]]))

]FIG]

[257] 
ここで
[VAR[E[SUB[1, 2]]]]
は合成方法を記述する任意の値とします。

[258] 
合成して得られた[[紀年法]]が[[一貫性規則]]を満たすか否か、
[[決定的]]か否か、
等は入力の[[紀年法]]
[VAR[N[SUB[1]]]], [VAR[N[SUB[2]]]]
の性質や
[VAR[E[SUB[1, 2]]]]
に依存します。

[259] 
基本的に
Names[SUB[[VAR[N[SUB[1]]]]]] と Names[SUB[[VAR[N[SUB[2]]]]]]
に重複がなく、
[VAR[E[SUB[1, 2]]]]
が素直な組合せを表しているなら、
入力の[[紀年法]]の性質を出力の[[紀年法]]も保持していることが多いと考えられます。

[EG[
[260] 
例えば[[平成]]の[[紀年法]]と[[令和]]の[[紀年法]]を素直に組み合わせれば、
[[名前決定的]]な[[紀年法]]が得られると考えられます。

[261] 
ところが[[大同]] ([[日本の元号]]) の[[紀年法]]と[[大同]] ([[満州国の元号]])
の[[紀年法]]を組合せた[[紀年法]]は[[名前決定的]]にはなりません。
「大同元年」がどちらの[[大同]]を指すかの曖昧性が発生してしまい、
その解決には文脈が必要となってしまいます。
]EG]

* 紀元型紀年法

[87] 
[[元年]]の前を紀元前1年、紀元前2年と[[数を増やして遡っていく][カウントダウン型紀年法]]ような[[紀年法]]がいくつかあります。

[85]
[DFN[紀元型紀年法]]
([DFN[anno-style year naming scheme]])
[VAR[N[SUB[[VAR[A]]]]]]
は、
[[整数増加型紀年法]] [VAR[N[SUB[[VAR[I]]]]]]
と[[整数減少型紀年法]] [VAR[N[SUB[[VAR[D]]]]]]
を組合せた次の条件を満たす[[紀年法]]をいいます。

[FIG(math)[

[181] 
[VAR[N[SUB[[VAR[A]]]]]] = 
Compose ([VAR[N[SUB[[VAR[I]]]]]], [VAR[N[SUB[[VAR[D]]]]]],
[VAR[E[SUB[[VAR[N[SUB[[VAR[A]]]]]]]]]])

[253] 
Names[SUB[[VAR[N[SUB[[VAR[I]]]]]]]] ∩ Names[SUB[[VAR[N[SUB[[VAR[D]]]]]]]] = ∅

[249] 
ToNumber[SUB[[VAR[N[SUB[[VAR[D]]]]]]]] ([VAR[y[SUB[1]]]]) = 0

]FIG]

[179] 
[VAR[E[SUB[[VAR[N[SUB[[VAR[A]]]]]]]]]]
は
[VAR[N[SUB[[VAR[A]]]]]]
によって決まる任意の値とします。

[169] 
[[紀元型紀年法]]において 
[VAR[y]] ≧ [VAR[y[SUB[1]]]]
を[DFN[紀元後]] ([DFN[after epoch]]) の[[年]]、
[VAR[y]] < [VAR[y[SUB[1]]]]
を[DFN[紀元前]] ([DFN[before epoch]]) の[[年]]と呼ぶことにします。

[EG[
[89] 
[[紀元型紀年法]]は、
通常は
{"紀元後1年", "紀元後2年", ...}
のような[[整数増加型紀年法]]の部分と
{"紀元前1年", "紀元前2年", ...}
のような[[整数減少型紀年法]]の部分を組合せて、
"紀元後1年"
の前が
"紀元前1年"
となるように
[VAR[E[SUB[[VAR[N[SUB[[VAR[A]]]]]]]]]]
を決めます。

]EG]

* @@

[152] 
つまり年の名前が
「平成21年」、「平成二十一年」、「平成二一年」、「平成廿一年」
となる4種類の[[紀年法]]は、
年の名前 "21" の[[数値正準形の紀年法]]と、
4種類の書式指定規則
「平成(欧州数字)年」
「平成(漢数字)年」
「平成(漢数字位取り記数法)年」
「平成(漢数字廿)年」
に整理できます。

[147] 
[[数値的に等価な紀年法]]は互いに機能的に等しいといえますが、
表記の違いを超えた違いがあるとき、
完全に交換可能ではありません。
例えば、
[[大正]]と[[中華民国][民国紀元]]と[[主体]]は[[数値的に等価な紀年法]]ですが、
一般にこれらは別のものと考えられています。

[155] 
[[紀年法]]には何らかの呼称が与えられてきました。
[[大正]]と[[中華民国][民国紀元]]と[[主体]]は、
[[数値的に等価な紀年法]]であっても
「大正」「中華民国」「主体」
の異なる呼称を持つ[[紀年法]]といえます。

[172] 
呼称は、
「平成12年」のように年の名前に明記されているケースもあれば、
(西暦)「2021年」のように明記されていないケースもあります。
明記されていても、
「大宝2年」と「大寶2年」、
「キリスト紀元前16年」と「B.C.16」
のような表記揺れを考慮する必要があります。
そこで代表的な呼称を1つ選んで
Label ([VAR[N]])
で表すことにします。

[174] 同じ呼称の[[紀年法]]が同じ[[紀年法]]とは限りません。
例えば「[[貞観]]」と呼ばれる[[元号]]は、歴史上少なくても3種類ありました。
呼称が同じでも、年と年の名前の関係性が異なるなら、
同じ[[紀年法]]と考えることはできません。
これを踏まえて、
決定的で[[数値区別可能な紀年法]] [VAR[N[SUB[1]]]], [VAR[N[SUB[2]]]] 
が[DFN[同名で数値的に等価な紀年法]]であるとは、

[FIG(math)[
[156] [VAR[N[SUB[1]]]], [VAR[N[SUB[2]]]] が[[数値的に等価な紀年法]]

[157] Label ([VAR[N[SUB[1]]]]) = Label ([VAR[N[SUB[2]]]])
]FIG]

... であるものとします。

[92] Label ([VAR[N]]) について詳しくは[[紀年法ラベル]]と[[紀年法の同定]]参照。

* メモ

Historical Legal Sensitive Parent: [Help / License]

Edit

Page

Errors

Page name(s)