{{category diary}} {{category diary2008}} {{category diary200809}} !すごいレート ■13日の金曜日 以前、年間に13日の金曜日がない年があるか・・・の確認をした。 その際は、今後の500年に、対象の月があるかどうか調べた。 Excelを利用したので、時間は掛からなかったが。。。 結論的には、必ず毎年13日の金曜日は存在するであったのだが。 もっと論理的に証明できないかと考えた。 簡単だ。 カレンダーのパターンは14個しかない。 ※閏年も考慮する必要があるので。 その14個で23日の金曜日が存在するか調べればよいのだ。 でも、もっと工数を少なく調べたい。 思いついた。 不変の3月以降だけ確認して、全てのパターンで13日の金曜日があれば満たしている。 しかも3月以降は、それぞれの間隔は変わらないので、3月1日を日曜日に固定して、 4月〜12月の1日が、全ての曜日を網羅すれば、7個調べなくても良くなる。 以下の様に全ての月が曜日を埋めているので、それがローテーションするだけだ。 結果的に、毎年、5月〜12月の間に13日の金曜日が存在すると言う事にもなる。 ,曜日,月, ,日,3,11 ,月,6, ,火,9,12 ,水,4,7 ,木,10, ,金,5, ,土,8, ■ナミビア産 店に並んでいるナミビアでパッキングされたジュース。 見るからに、かさの高さが違う・・・。 これで良いのと言うくらいの目に見える違い。 これ少なすぎるでしょ、と言う物から、これ入りすぎている物まで。 パッと見て、これナミビア産って分かってしまう。 ■名前解決 なぜか、外部のDNSアドレスを書いていると名前解決しない。 そして、NSLOOKUPコマンドで確認しても、そのDNSサーバはアドレスを返さない。 サーバがオカシイのか、問い合わせに行くまでの間でオカシイのか。 パケットをキャプチャーすれば分かるのだが・・・。 無線LANやし、面倒やし、・・・。 その人のPCにキャプチャーソフトをインストールすれば良いか。 でも、そこまでやる必要があるか。 とりあえず、DHCPも使っていてゲートウェイのアドレスをDNSで登録すれば網側から ゲットしているDNSで名前解決している様なので、ひとまず、そのままで。 ■チャンス 新聞に外貨のレートが載っている。 今日確認したら、N$8.2/US$だった。 これは、今まで見た中で最高ではないか!! 今が両替する絶好のチャンスである。 ■ツメブへ 明日は第二回サッカーが隣町のツメブである為に、夕方に移動しました。 以前であれば、17時頃には、タクシーが、居なくなっていましたが、サマータイムに なってからは、遅い時間までタクシーが動いていて助かります。 そして運も良く、すぐに出発できました。 {{comment tail}}