seitsui日記

_ [仕事] まだ水曜日か…

今の仕事の常として人が働いてないときこそ、システム止めれるんでいろいろやるぞということになる。維持管理から開発に業務は替わったんだが(いまだに人員不足とかで呼ばれてる)、GWの対応のお手伝いが確定した。年度変わる前から言われていたので、想定の範囲内ではあったのだけど。とりあえず単価の高い残業代と振休を稼ぐということですかねぇ。

_ [生活] 13日の…

今日は13日の金曜日だよね、珍しい日だよね〜言われたので、いやそれは全珍しくないよと返してみる。単純に考えて13日という日がとりうる曜日は7つ(当たり前のごとく月〜日ですな)。1年に13日は12回存在するんで1回くらい金曜日が来てもおかしくはなく。単純化しすぎてはいるかと思うがわかってもらえたらしい。

んで、まぁ1年の中で毎月13日の間の日数は決まっているので確率の話に持ってくまでもなく確定している話に持ってける。曜日のとりうるパターンってのは閏年考えても14パターンしかないのよね。1年の中で13日の金曜日が絶対あるのかということを考えるだけだったら、通常の年と閏年の2パターンをみればわかるわけで…。今年のカレンダーをみてみると1月から12月までで、「土, 火, 火, 金, 日, 水, 金, 月, 木, 土, 火, 木」となってるので月〜日まで全部そろっている。閏年の場合は3月以降が1日ずれてくだけなので、今年のをベースに考えると「土, 火, 水, 土, 月, 木, 土, 火, 金, 日, 水, 金」となってこっちでも月〜日すべて存在する。

っつーわけで13日の金曜日は年によってその数は異なるが1回は最低存在するわけです。