No Such Blog or Diary

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

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

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

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

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

閑話休題．

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

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

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

色々気をつけて文書を作った後に，最後の最後で簡単なコメントを貰ったからその軽微な修正をして「ちゃんと確認せずに」提出したらやらかしてた……　図と本文の位置を入れ替えたらアイテムのラベル番号も入れ替わってて番号がぐちゃっとしてしまったという．

TeX でラベル使ってるときには物の移動には注意しておこう．とくに一覧を自動生成せずに手でソートしてるときには（今後のために自動生成をちゃんとしたほうがいい気がする）．

Excel の XLOOKUP で検索範囲と戻り範囲の行がズレてたらどうなるんだろうと思って試したら，ちゃんと戻り範囲の中の「検索範囲内の検索対象のインデックス」番目がちゃんと返ってきてた．VLOOKUP みたいに行を揃えなくてもいいので便利そう？

だがしかし，戻り範囲を間違ってずらしちゃったら事故るな……