徳島から戻ってきて恒例の一人お疲れ様会。
同じ建物に新しく居酒屋ができてた。そのうちチェックする予定。
外観は別の店が紛れ込んでしもうた。
プレミアムフライデー勝手協賛で午後有給休暇を取得して内需拡大。
京都では珍しくプレミアムフライデー対応をやっていた(普段は17時半開店のところを15時開店)ので協賛して入店。
残念ながら厨房の不調で一部メニューのみ。いただいたのはディルサーモン。
denen1939.net
everyday cycling! ぼくらはみんな走ってるはいろんな方法でデータを取得しているけど、headリクエストでLast-Modifiedが返ってくるものはそれで取得している。ところが、その一つでエラーがでていた。
wgetで-dオプションをつけて画面を見てみると、どうやらDNS情報がIPV6のアドレスにまず向いいていて、そちらでの接続を試みた後でエラーがでたらセカンダリーであるIPV4のアドレスで接続するもよう。これまでのスクリプトではうまくいかない。そこでwgetでヘッダを取得して、そのリザルトから更新日を抽出するというパターンを作ってみた。
<?php switch($kind1){ case "W": $result = exec("wget -S --spider $check_url 2>&1|grep Last-Modified: |sed -e 's/Last-Modified://'"); $date_str = $result; if($date_str == ""){ $stat="ERROR";break; } $date_unix=strtotime($date_str); if(date_j($date_unix) != $date){ $date = date_j($date_unix); $data = date_j($date_unix); } break; } ?>
今考えると最初からこれでもよかったんではと思ったが、よく考えたら元々はwindowsで動かしていて、windowsではgrepやsedの標準がなくって思い思いの仕様になっていたから避けていたんだった。
年に一度の休日出勤の一人おつかれさん会。かれこれ3年ぶりくらいじゃないかと思うけど、5時半開店で6時にはほぼ満席。繁盛しとるわ。
タルタルチキン南蛮と寒ブリ造り。コンニャクはオマケ。後から注文した他のテーブルに持って行かれそうだったチキン南蛮を別の店員さんが「カウンターが先」と、引き戻してくれた。オペレーションがよくできとるわ。人のスキルに依存しとる面はあるけど。
白村江の戦いで敗れてから天智朝は唐の羈縻政策による支配を受けていて、水城や大野城はそのための設備だったと。確かに納得できる。正しいかどうかは判断できんけど。
この時代の歴史を語るってことはどうしてもある程度推測・推理文体になるのはしゃあないんやろうな。
日本書紀に登場する朝鮮半島の人を現代朝鮮語でルビを降っているのはなんかちゃうような気がした。