DateQ
Calendar`
Calendar`
DateQ
バージョン10.0で，暦機能はWolfram言語に組み込まれた »
例題
すべて開く すべて閉じる例 (5)
Needs["Calendar`"]DateQ[{2000, 1, 1}]Needs["Calendar`"]DateQ[{2000, 2, 29}]Needs["Calendar`"]DateQ[{1900, 2, 29}]Needs["Calendar`"]Wolfram言語はデフォルトで標準の西洋（英国，米国の）暦を使う．英国，米国式の暦では，1752年より前の日付にはユリウス暦を，その後にはグレゴリオ暦を適用する：
DateQ[{1700, 2, 29}]DateQ[{1900, 2, 29}]Needs["Calendar`"]デフォルトの英国，米国式の暦では1752年9月3日から9月13日までの日付を削除する：
DateQ[{1752, 9, 3}]DateQ[{1752, 9, 12}]オプション (6)
Calendar (6)
Needs["Calendar`"]カトリックの国々は，1582年には現在のグレゴリオ暦を使っていたが，英国とその植民地では1752年までユリウス暦を使っていた．Wolfram言語はデフォルトで英国式の暦を使うので，1582年10月14日より後で1752年9月14日より前のカトリックの国々の日付にはGregorianオプションが必要である．
DateQ[{1700, 2, 29}, Calendar -> Gregorian]Needs["Calendar`"]英国はまだユリウス暦を使っていた．ユリウス暦ではすべての世紀が閏年であった：
DateQ[{1700, 2, 29}]Needs["Calendar`"]カトリックの国々は1752年9月の日を1日も削除しなかった：
DateQ[{1752, 9, 3}, Calendar -> Gregorian]Needs["Calendar`"]ロシア正教会はユリウス暦を保持してきた．ロシア正教会の1900年は閏年であった：
DateQ[{1900, 2, 29}, Calendar -> Julian]Needs["Calendar`"]イスラム暦には閏年がある（12番目の月は29日か30日である）：
DateQ[{1420, 12, 30}, Calendar -> Islamic]DateQ[{1421, 12, 30}, Calendar -> Islamic]Needs["Calendar`"]DateQ[{5760, 13, 1}, Calendar -> Jewish]DateQ[{5761, 13, 1}, Calendar -> Jewish]アプリケーション (3)
Needs["Calendar`"]LeapYearQ[year_, Options___] := DateQ[{year, 2, 29}, Options]LeapYearQ[2000]LeapYearQ[1900]1752年より前の日付のデフォルトの暦はJulianなので，1700年は閏年とされる：
LeapYearQ[1700]カトリックの国々では，グレゴリオ暦がすでに使われていたので，1700年は閏年ではない：
LeapYearQ[1700, Calendar -> Gregorian]Needs["Calendar`"]DateQはイスラム暦の閏年が分かる（12番目の月には30日ある）：
LeapYearQ[year_, Calendar -> Islamic] := DateQ[{year, 12, 30}, Calendar -> Islamic]LeapYearQ[1400, Calendar -> Islamic]LeapYearQ[1401, Calendar -> Islamic]Needs["Calendar`"]DateQは閏月のあるユダヤ年（1年が13ヶ月）を見付けることができる：
LeapMonthYearQ[year_, Calendar -> Jewish] := DateQ[{year, 13, 1}, Calendar -> Jewish]LeapMonthYearQ[5760, Calendar -> Jewish]LeapMonthYearQ[5761, Calendar -> Jewish]