2017年09月

7月の大雨で R211 が暫く小石原で通行止めになってからは全然行ってなかったので，ススキでも見られればと久々に阿蘇に行ってみた．

日の出前．東の空に雲があるので東だけ赤い．

で，日の出．

なお，雲海なし．

あとは色々確認．

とりあえずラピュタの道の崩壊具合を確認．震災直後から大きくは変わってないけれど，壁面のコンクリートが土の流出で浮いてきてるような．というか名前からして崩壊する運命な気が．

そしてラピュタの道入り口．相変わらず閉鎖中．

ここは左の展望スペースだけ整備して立ち入り可能になってくれると嬉しいのだけど……　暫くは無理だろうなぁ．

もう少し戻って兜岩のところ．こちらも相変わらず立ち入り禁止中．

でもちょっと左にできたスペースからそれなりに進入されているような？　

閑話休題．

せっかく整備しだしたラピュタの道のところがダメになってて兜岩のところも微妙．この辺りで他に展望の良いところは阿蘇スカイライン展望所と北山のレストランのところくらいなのだけど……　北山のレストランのとこの駐車場は早朝には開いてないので路駐がとても邪魔で危ない．どうにかならんのかね．

そしてススキには遅かった．

固有名詞を間違えた上に文脈をふっ飛ばした話を振られ，何の話であるか及び正しい名詞を推論するのにとても疲れた．

医者＋血圧計を見ると血圧がかなり乱れ上がる．手元の血圧計での記録は少なくとも5年以上ずっと変わってないのだけど，一昨年の健康診断は上昇値がたまたま小さく，去年はそこそこで，今年はたまたま大きかった．ついでに体重も単調増加だったので，医者に「体重増加にともなって血圧が危ないところまで上昇して来ている」と思われても仕方ない．

ということでお呼ばれした．一般的なことを聞くだけだったので特に参考にならず．ぶっちゃけ24時間測定の血圧計とか持ってきてくれればいいのにと思わなくない．

仕事早いな下関．

なお，長形3号の封筒でぴったりだった．

楽天が FREETEL の MVNO 部分を買うことが発表されたようで．やっぱり危険だったのか，と思わなくもない．安いし．

で，とりあえず気になるのは SIM の料金とかどうなるんだろうということ．なぜか手元に 3枚あるので今後のお値段が気になる．まあ，お値段据え置きで支払方法の変更とかの細かいお客様サービス部分がマシになってくれる方向だとありがたい．

上の方で意思疎通がちゃんと出来ていないと下の連中が振り回されるので疲れる．

というか，上から二番目が疲れてるんじゃなかろうか．

何やら本土四端踏破のステッカーが復活したようで，ステッカー切れの期間だった人々は申し込めばステッカーを送ってくれるらしい．

ということで，貰えるものは貰っとこうと，82円切手を貼った返信封筒（長形3号）と踏破証明書の番号とかの情報を添えて投函してみた．封筒のサイズ指定とか書かれてないけど切手が82円という指定なので定形の最大サイズで問題なかろう．

予定通りにメンバーが入れ替わった．これでバランス取れた気がする．

だがしかし，どうしてこうなった．不安だ……

九州暑い？　というか飯食ってるタイミング無くて空腹で死んでただけかもしれん．

とりあえず寝て少し回復．腹減った．

Twitter のトレンドではマーリンの圧勝だったようで．ぶっちゃけ安室奈美恵に反応する世代と FGO に反応する世代とで前者の twitter 利用率が低いのが原因だろうけど，時代を感じられて面白い．

Yahoo のニュースにも載ってたり．各所のマーリンの説明も面白い．

毎朝，起きてバスルームに行くとコバエが平均5匹程うろちょろしている．毎日連続して潰したり泡まみれにして退治しているのだけど，やっぱり次の日には復活している．もうちょっと真面目に清掃しないとダメなんじゃなかろうか．

というか，ホテル側が認識してないのかもしれない．とりあえず，チェックアウト時にでもコメントしよう．

共著のひとつめの発表が無事終了．真っ当な質疑になってたので良かった……　が，発表のブラッシュアップのタイミングをあと半月早めるべきだったかな．もう一段上の話し方になってほしいと思う今日この頃．

渋谷駅の地下の様相が変わっていて訳わからん．まともに渋谷駅を使ったのは何時以来だろう？　毎日使っていたのはもはや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言語だと，定義されている関数を読んでヘッダファイルを取るとか？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

改めて眺めてみるとビットの並びがきれいとは言えないな……　

例えば加算命令 ADD Rd, Rr は 0000 11rd dddd rrrr とかいうビットの並びになっていて，Rd レジスタの指定の為の 5 bit の MSB だけが離れちゃってる．別の例としては，8 bit 定数 KKKK KKKK とレジスタ dddd との演算命令が xxxx KKKK dddd KKKK とかいう並びになっていて，8 bit 定数が割れて配置されている．なお，これ系の命令だと使えるレジスタ範囲が半分になってるのでレジスタ指定は 4 bit．

効率のためにレジスタ指定のビット位置を揃えたいという前提のもと，レジスタが 32本あるからレジスタ指定に 5 bit 固定で良い気もするけど 16 bit RISC だからビットが足りないときもあって妥協して 4 bit で 16本指定できればいいや的なことになっているので，結果として MSB 1 bit 分が変な位置に飛んでるのかなと．

機械が扱う分にはビットの並び替えだけなので何の問題もないのだけど，計算機やプロセッサの学習の為の教材として使うにはハンドアセンブルにミスりそうなので悩ましい．レジスタ16本の 16 bit RISC の機械語はきれいそうだな．

1個500円のお手軽 IoT ボタン．dasher とか使うとウェブとか叩けるので使い道ありそう？

ということで，Amazon でポチっておいたやつを APR パケット飛ばせるけど注文しない状態までセットアップして，Node.js 入れて web を叩きにいけるところまで確認．あとは叩かれたら仕事する URL を用意してあげればなんでもできそう．

なお，Node.js が古くて色々嵌った．Node.js を管理する n コマンドを持ってきて最新版を入れるのが幸せへの近道．あと，ネットワーク設定間違ったときには Amazonアプリから無効にした上でボタンを押す．

話の流れについて来ないで周りの意見を勘違いした上に意味不明なことを言うな．真面目に会議に参加してろよ．もしくは自分の理解を確認しろよ．時間の無駄．

いつもどおりの締切日．4本中1本は先週金曜に方を付け，1本は実験待ちだった平和な締め切りドリブン，1本は……　開き直った問い合わせメールが飛び，最後の1本はいつも通りなら締め切りのほんとに直前で投げられるに違いない．

うーん，ひどい．

前回交換から6000キロ弱走ってたのでオイル交換．オートバックスで15分．論文読み進まなかった．

ぶっちゃけ車持ってくの面倒なので自分でやってしまいたいところなのだけど，ドレンボルトが車体を持ち上げないとアクセス出来ないのでしょうがない．車体持ち上げる機械だけ時間500円で貸してくれるところとかないかな……

とてもだるい．からあげの食い過ぎで冬眠モードかもしれない．

寝る．

からあげを皆で食べようと言うことになって，昼にからあげ 3kg を買いに車を走らせた．そしてからあげ 3kg を揚げるのに20分強かかると学習（事前に電話で注文しといた）．

だがしかし，一人当たりのノルマ500gは昼だけでは片付かない．おやつと夕飯もカバーできる量．

閑話休題．

もう9月か……