No Such Blog or Diary

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

閑話休題．

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

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

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

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

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

6年くらい使い続けたIH調理器が壊れた．よく分からんけど15kHz位の高周波音を大音量で流すという壊れ具合で．

ということで，ガスコンロにしようか IH のままにしようか悩んだのだけど，ガスコンロの吟味に時間がかかりそうなのでとりあえず同型の IH をポチった．

火力的には圧倒的にコンロが良いのだけど，タイマーとか温度調整とか折角だから両面グリルとか考え出すと10万コースなのでお値段的に悩ましい．

部分防災訓練だとかで，夕方に火災警報が鳴って訓練放送が入った．

で，ぐだぐだ．放送室設備前でのぐだぐだな会話が筒抜けだし，いちいちその場で何を話すのか資料をめくって探している音もだだ漏れだし，そもそも訓練宣言がある程度の放送後にやっと入ったし，そして訓練終了の宣言が忘れたころにやってきたし．

もっと真面目にやれよ．事前に資料確認しておけよ．

3時間睡眠明けの30時間貫徹で帰宅して寝ようと思ったら，日曜朝っぱらから近所のミニチュアダックスフンドがキャンキャンキャンキャンキャンキャンキャンキャン延々と吠えまくりでうるさい．犬がコッチ向いて吠えててうちの寝室までの空間には空気しかないのでダイレクトにウルサイ．しかもその左右が建物なのでメガホン状態．赤ん坊が泣いてるなら納得するけど外で放置されている犬がうるさいのは許容ならん．

ということで，いささか非常識に近所迷惑なので「ピンポ～ン → 犬がうるさいんだど黙らせてもらえます？」というのを眠過ぎの半目状態でやってきた．出てきた相手の人がすみませんを連呼していたのは何故だろう……　普段聞かない鳴き声だし，客が来てて犬を外に放置というシチュエーションで家主さん的にはご近所的にヤバイかなぁと思ってたのかもしれない．

今日も夜のセッションがエンドレスモード予定で．別の部屋でもテーブルゲームモードなので飲み部屋は参加者少なめ．

夜のセッションのつまみがポテチだけだったのは太陽フレアのせいに違いない，ということで皆なっとく．

昨日とかに聞いた予想時刻よりもだいぶ早く着いてたみたいだけど，ここらの速度ってどうやって見積もってるんだろう？