第7話「倒れなかった夏」

現実の事実日付を扱う処理は、「月によって日数（にっすう）が違う（28〜31日）」「うるう年の2月29日」「日付が変わる時刻を、どの時刻の決まりで数えるか」といった境目でつまずきやすくなります。作中の客先のシステムは、中の時計を協定世界時（きょうていせかいじ）で持ち、日本時間の朝9時に日付を切り替えていました。

うるう秒の60秒が、なぜ止める？

「秒は0〜59」と決めて作った処理は、60秒の時刻を受け取れずに止まることがあります（作中の例）。

どう確かめる？

月末（30日・31日）、2月28日・29日、年の変わり目、日付が変わる直前と直後の時刻を、わざと入れて試します。

出典

• 国立天文台「どの年がうるう年になるの？」（新しいタブで開きます）
• 情報通信研究機構（NICT）プレスリリース「『うるう秒』挿入のお知らせ」（2015年1月16日）（新しいタブで開きます）
• 情報通信研究機構（NICT）日本標準時グループ「その他のQ&A」（日本標準時は協定世界時に＋9時間）（新しいタブで開きます）

現実の事実会社の夏休みは、会社が決めた休み（夏季休暇）のほか、年次有給休暇を組み合わせて取る事もあります。年次有給休暇は、雇われてから6か月続けて働き、全労働日の8割以上出勤すると、10日もらえます（労働基準法（ろうどうきじゅんほう）第39条）。休む時季は働く人が決めるのが基本で、会社が時季を変えられるのは、事業の正常な運営を妨げる時だけです。

出典

• e-Gov 法令検索「労働基準法」（第39条）（新しいタブで開きます）

現実の事実民法では、月で決めた期間は暦に従って数え、最後の月に同じ日付が無い時は、その月の末日で終わります（第143条）。契約や支払いの期限を「〇か月」で決めた時、31日や29日から数える場合の終わりの日が、この決まりで決まります。

出典

• e-Gov 法令検索「民法」（第143条）（新しいタブで開きます）

現実の事実うるう年は、2月29日がある366日の年です。今の暦（グレゴリオ暦）では、西暦が4で割り切れる年をうるう年とし、100で割り切れて400で割り切れない年は平年にします。そのため2000年はうるう年でしたが、2100年は平年です。

出典

• 国立天文台「どの年がうるう年になるの？」（新しいタブで開きます）

現実の事実定時は、会社が決めた終業の時刻のことで、始業と終業の時刻は就業規則（しゅうぎょうきそく）に書く決まりです（労働基準法（ろうどうきじゅんほう）第89条。常時10人以上の会社）。始業から終業までの働く時間は、法律の上限（休憩を除き1日8時間・1週40時間、第32条）の中で会社が決めます。

出典

• e-Gov 法令検索「労働基準法」（第32条・第89条）（新しいタブで開きます）