期間計算

期間

法令上の期間

[11] 各国の法令では、期間の解釈の方法が定められています。 どこの国でも「○日間」や「○日後」のような期間の意味は法令契約の基礎となる概念です。

[5] 民法 ( 版) http://law.e-gov.go.jp/htmldata/M29/M29HO089.html#1001000000006000000000000000000000000000000000000000000000000000000000000000000

[6] 民法 ( 版) http://law.e-gov.go.jp/htmldata/M29/M29HO089.html#1001000000006000000000000000000000000000000000000000000000000000000000000000000

第百四十三条 週、月又は年によって期間を定めたときは、その期間は、暦に従って計算する。

2 週、月又は年の初めから期間を起算しないときは、その期間は、最後の週、月又は年においてその起算日に応当する日の前日に満了する。ただし、月又は年によって期間を定めた場合において、最後の月に応当する日がないときは、その月の末日に満了する。

[7] 第1編 総則 (コンメンタール民法) - Wikibooks ( 版) https://ja.wikibooks.org/wiki/%E7%AC%AC1%E7%B7%A8_%E7%B7%8F%E5%89%87_(%E3%82%B3%E3%83%B3%E3%83%A1%E3%83%B3%E3%82%BF%E3%83%BC%E3%83%AB%E6%B0%91%E6%B3%95)#.E7.AC.AC6.E7.AB.A0_.E6.9C.9F.E9.96.93.E3.81.AE.E8.A8.88.E7.AE.97.EF.BC.88.E7.AC.AC138.E6.9D.A1_-_.E7.AC.AC143.E6.9D.A1.EF.BC.89

[8] 期間 - Wikipedia ( 版) https://ja.wikipedia.org/wiki/%E6%9C%9F%E9%96%93

[9] ヒジュラ暦 - Wikipedia ( 版) https://ja.wikipedia.org/wiki/%E3%83%92%E3%82%B8%E3%83%A5%E3%83%A9%E6%9A%A6

サウジアラビアなどヒジュラ暦を公式の暦としている国では特許や著作権など法制度上の有効期限がグレゴリオ暦で数えた場合よりも短くなる。たとえば特許が15年間有効とした場合、グレゴリオ暦のそれよりも特許の有効期限が165日ほど短くなる。

[10] 在留邦人の皆様へ(サウジアラビア入国に際する注意点), 在バーレーン日本国大使館, サウジアラビア入国に関する注意 - 双日ツーリスト ( 版) http://www.sojitz-tourist.com/index.php?%E3%82%B5%E3%82%A6%E3%82%B8%E3%82%A2%E3%83%A9%E3%83%93%E3%82%A2%E5%85%A5%E5%9B%BD%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B%E6%B3%A8%E6%84%8F

当地在住の邦人ビジネスマンが在京サウジアラビア大使館発行の査証を所持しCausewayにてサウジアラビア入国審査を受けた際、査証の有効期限が切れているとして入国を拒否されました。 この査証には、有効期限が発行日より180日「Validity:180D」と記載されており、西暦(グレゴリオ暦)では明らかに有効期限内でしたが、入国審査官は「180日とは、ヒジュラ暦における6ヶ月を意味し、この査証はヒジュラ暦では発行日からすでに6ヶ月を超過していることから、無効である」と主張し、入国を拒否しました。

時間間隔 (ISO 8601)

[24] 時間間隔 (time interval) は、時間軸上の2つの瞬間で限定される部分です >>25

[26] 明記しない限り両端点も含まれます >>25

形式

[4] 特定の時刻から特定の時刻までの期間を表現する形式も、いろいろあります。

[27] 複雑なもの

期間 (ISO 19108)

[13] 期間 (period) すなわち TM_Period は、時間範囲を表す一次元幾何プリミティブです。 空間における曲線と同等です。 >>12 5.2.3.3

[17] 連続した事象の列はある時間間隔を必ず占めるはずであり、 これが期間です。 期間という語は、 一般に他と区別する特性をもつ事象の列について言います。 >>12 5.2.3.3

[14] 期間は、 始点終点の2つの瞬間境界とする開区間です。 期間時間上の位置は、 始点終点瞬間時間位置により記述されます。 >>12 5.2.3.3

[15] 期間の長さ (持続時間) は、 始点終点の両瞬間時間位置時間距離と等しいです。 >>12 5.2.3.3

[16] 順序尺度では時間の長さを測定することができないため、 瞬間期間を長さに関して区別できないこととします。 実際にはある事象が起きた時間は順序尺度では瞬間とみなせます。 >>12 5.2.3.3

[18] TM_Period
begin
始点TM_Instant。その begunby の逆方向。 (関係 Beginning、1個)
end
終点TM_Instant。その endedby の逆方向。 (関係 Ending、1個)
topology
関連する TM_Edge。その geometry の逆方向。 (関係 Realization、高々1個)

[19] 始点は、終点より小さい (以前の) 時間位置になければなりません。 >>12 5.2.3.3

self.begunBy.position < self.endedBy.position

[20] TM_PeriodTM_GeometricPrimitiveTM_Primitive, TM_Object を直接または間接に継承し、 TM_Separation, TM_Order利用しています。

[12] JIS X 7108:2004
4.1.27 期間 (period)
時間範囲を表現する一次元幾何プリミティブ

備考 二つの異なる時間位置期間境界となる。

:Interval (OWL-Time)

[34] OWL-Time:Interval:TemporalEntity子クラスであって、 長さを有するものです。 >>33

[35] 長さがないものとして :Instant が別にありますが、 :Interval でたまたま長さが 0 となる (開始と終了が同じとなる) ことも認められています。

[37] :Interval特性

[36] :Interval子クラス:ProperInterval があり、開始と終了が異なるものを表します。 >>38

[39] :ProperInterval かつ :Instant とはできません。 >>38

[40] :ProperInterval特性

[42] :ProperInterval子クラス:DateTimeInterval があります。 特定の :DateTimeDescription (特定の) の全体を表します。 >>41

[43] :DateTimeInterval特性

[45] :hasDateTimeDescription:GeneralDateTimeDescription を指定するものです。 >>30

[47] :xsdDateTime は、 xsd:dateTime の値の特性であって、 最小の 0 でない要素の時間間隔を表すものです。 この方法では「年の最初の分」のように表現できないものがあり、 非推奨です。 >>46

[48] 少し考えれば表現能力に問題があることがわかりそうなものですが、 どうして最初これが用意されたのでしょうね。

[44] 特定の始点から切り離した時間長を表す :TemporalDuration が別にありますが、 :Interval:TemporalEntity とは別物とされています。

期間と時間長

[22] 「期間」は、特定の時間位置から時間位置までの範囲を指すこともあれば、 (まだ) 特定の時間位置に結び付けられていない長さを指すこともあります。

[23] 後者はつまり時間長ですが、「有効期間は発行から3日」のように、 一般論として (まだ) 特定の時間位置に結びついていないとしても、 具体的な事象の解釈の文脈では (いずれ) 特定の時間位置に束縛されることになります。

相対時刻

相対時刻

メモ

[1] 期間 - Wikipedia ( 版) http://ja.wikipedia.org/wiki/%E6%9C%9F%E9%96%93

[21] OGC Abstract Specification Topic 2: Referencing by coordinates () http://docs.opengeospatial.org/as/18-005r4/18-005r4.html#110

[32] XML Schema暦

[28] リファレンス — サイボウズ Live・API ドキュメント () https://developer.cybozulive.com/doc/current/pub/reference.html

[29] TimeSpan

[31] time 1.0.0 () https://package.elm-lang.org/packages/elm/time/latest#recurring-events