No Such Blog or Diary

渋谷駅の地下の様相が変わっていて訳わからん．まともに渋谷駅を使ったのは何時以来だろう？　毎日使っていたのはもはや15年以上前だし，基本的に半蔵門線・井の頭線・山手線の乗り換えしかしてなかったし．

案内がかなり親切なので迷ったりはしないのだけど，どれが最適ルートなのかとか全くわからないので直感的に気持ち悪い．

そしてホテルから地下に入る最適ルートを間違ってたことに帰りに気づく……　地上部分も工事しまくりで歩道橋の階段の裏に入り口があるとか初見では分からん．

朝4時に台風の進路を確認して朝イチなら大丈夫っぽいので，さっさと空港へ移動 ＆ 朝イチの便に変えてもらって東京に飛んだ．何となくいつもの朝イチより空港が混んでた気がするけれど日曜日だから台風だからなのか分からず．

で，ホテルのチェックインが15時なので6時間ほど時間を潰さなければならない．出歩くにも雨降ってて微妙……　結局，空港で暫く作業 → ヨドバシアキバで忘れ物を購入 → ホテルのある場所まで電車で大回りしつつ作業，とかいうことになった．こういう時に東京は便利．

閑話休題．

結局元の14時の便もちゃんと飛んでた．というか，今日の便は全部飛んだんじゃなかろうか．台風の進み具合と過去の欠航情報から予定の便の欠航の確率を出してくれるサービスとかできないものかね．台風の進路予測すら微妙なので無理かもしれないけれど．

直撃コースではなさそうだし速度が落ちてるようなきがするので朝イチで飛べば暴風域も回避できそう？　明日はどの便も席が余ってるようなので，とりあえず今日はさっさと寝て明日の朝確認しよう．

日曜14時の飛行機で東京へ移動する予定なのだけど，台風が来てるのでキャンセルとか変更とか無料でやれるよという連絡が JAL から来た．キャンセルすると諸々面倒なので日曜に便を前後にずらして台風の来る前に飛ぶか過ぎてから飛ぶかだけど……　まだどちらが安全か分からんので保留．

Rasp. Pi Zero だけだと購入数制限が 1 だったりしてたくさん買えないので悩ましい．Wifi 付きの W でも同じ．

で，実は W にケースを付けたやつなら KSY で購入数制限がかかってないことに気づいた．W 単体で 1300円がケース付きで 2700円だけど，つまりは倍の値段を出せば購入数制限にかからず10個でもいっぺんに買えそう．でも，無印 Zero から考えると4倍の値段なのでとても微妙．+500円で無印 Rasp. Pi が買えてしまうし．

Zero W の購入数制限が4にでもなってくれると良いのだけど．

閑話休題．

ミニスーファミの予約は16日から順次か．忘れずに予約する．

型を読んで関数を取るというルールで．とりあえずやってみた分には結構楽しい．参加可能なメンバーを揃えることが最大の難点だけど．

閑話休題．

Coq かるたは命題を読んで証明項を取るのかね．項の型推論の練習には良いかもしれないけど難しそう．

C言語だと，定義されている関数を読んでヘッダファイルを取るとか？

データ構造カルタもできるか．操作を読んでデータ構造を取る……　それほど準備できなさそうなので難しい．計算量も合わせて読めば面白くなるか？

多相型をふたつ読んでそれらを単一化した型を取る，という型推論カルタもありかもしれない．

プログラミング教育用かるたセットとか作ると面白いかもしれない．誰が買うか知らんが．