Calendar`
Calendar`

DateQ

バージョン10.0で，暦機能はWolfram言語に組み込まれた »

DateQ[{year,month,day}]

日付{year,month,day}が現行の暦で有効な場合はTrueを，そうでない場合はFalseを返す．

DateQ[{year,month,day,hour,minute,second}]

長い形式{year,month,day,hour,minute,second}で与えられる日付．

詳細とオプション

  • DateQを使うためには，まず暦パッケージをロードしなくてはならない．それにはNeeds["Calendar`"]を実行する必要がある．
  • 次のオプションを使うことができる：
  • Calendar Automaticどの暦を使うかを指定する
  • デフォルトの暦は通常の西洋（アメリカ）暦であるが，Calendarオプションを使って変更することができる．
  • Calendarに有効な設定はAutomatic，Julian，Gregorian，Islamic，Jewishである．

例題

すべて開くすべて閉じる

例  (5)

DateQは通常の西洋暦を認識する：

DateQは閏年も見付ける．2000年は閏年であった：

1900年は閏年ではなかった：

Wolfram言語はデフォルトで標準の西洋（英国，米国の）暦を使う．英国，米国式の暦では，1752年より前の日付にはユリウス暦を，その後にはグレゴリオ暦を適用する：

デフォルトの英国，米国式の暦では1752年9月3日から9月13日までの日付を削除する：

オプション  (6)

Calendar  (6)

カトリックの国々は，1582年には現在のグレゴリオ暦を使っていたが，英国とその植民地では1752年までユリウス暦を使っていた．Wolfram言語はデフォルトで英国式の暦を使うので，1582年10月14日より後で1752年9月14日より前のカトリックの国々の日付にはGregorianオプションが必要である．

フランスでは1700年は閏年ではなかった：

英国はまだユリウス暦を使っていた．ユリウス暦ではすべての世紀が閏年であった：

カトリックの国々は1752年9月の日を1日も削除しなかった：

ロシア正教会はユリウス暦を保持してきた．ロシア正教会の1900年は閏年であった：

イスラム暦には閏年がある（12番目の月は29日か30日である）：

ユダヤ暦には閏月がある（13ヶ月）：

アプリケーション  (3)

DateQは閏年が分かる：

1752年より前の日付のデフォルトの暦はJulianなので，1700年は閏年とされる：

カトリックの国々では，グレゴリオ暦がすでに使われていたので，1700年は閏年ではない：

DateQはイスラム暦の閏年が分かる（12番目の月には30日ある）：

1400年は閏年ではなかった：

1401年は閏年であった：

DateQは閏月のあるユダヤ年（1年が13ヶ月）を見付けることができる：

5760年に閏月があった：

5761年には閏月はなかった：