No Such Blog or Diary

昼前に時間があったので車検証を回収．これで車の方も ICチップの入った車検証になった．でも車検証入れは古いままで（諸々の情報を印刷した A4 の紙を添えとくので実際のところ紙の量は増えてる）．

なんか外がとても暑い気がする．そして室内はエアコン効きすぎ問題．

頭いてぇ．

新大阪から茨木に行こうとしたら高槻まで連れてかれた……　快速は茨木に止まるけど新快速は止まらない．新しいだけで新快速も快速なんじゃねーのか……

まあ，停車駅の案内を見て「普通と快速と何かがあるな」とだけ認識してその何かが急行とかだろうと思ってたのが敗因．ちゃんと見とけ．

PPLサマースクールで Iris の話を聞いた．とりあえず Coq で遊んでみると面白そうかも知れない．Iris の Proof Mode の tactics がどう頑張って実現されているのかは興味のあるところ．

Moodle の小テストでマイナスの値が答えのところで合ってるなになぜか間違ってるなぁと思ったら，マイナス記号が ASCIIコードのじゃなくて Unicode の変なやつになってた．普通の全角までは対処として正解に入れてるけど，流石に変なところの文字を持ってこられるのは想定外．

ここらはなにか正規化する仕組みを共通で用意しておいて欲しいところ．

閑話休題．

最近届いた荷物の住所で番地の - が別の Unicode に置き換わってたか何かで伝票には ? が印字されてしまってた．そのせいで「住所がおかしい」という注意書きを貼られてて……　無事に届いたから良いもののここらの文字の扱いはほんとどうにかして欲しい．

台風で流れた車検（5年）を今日やってきた．走行距離 89154km．特に問題なし．

新しい車検証は来週出来上がるらしいのでまた回収しに行く．