2024年09月

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

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

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

閑話休題．

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

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

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

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

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

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

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

ノートにメモして線を引っ張ってても必要なときに参照しないんなら意味ないじゃんよ……　なんか外側だけで中身がすっぽ抜けるタイプな気配が……

ということを大人に対して思った今日このごろ．ここらはどうすりゃいいんだか（どうにもならん）．

それ何度も説明したよね……　「仕様として A の番号は 5 になってます」という一言を理解できないのはなぜなんだ……？

というか，そもそも「この考え方だと別のところで破綻する」ということをなぜ考えられないのだろうか．なんかものすごく狭いことしか見てないような？　質問するだけ良いのかもしれんけど，もうちょいまともに考えて欲しい．

ということを大人に対して思った今日このごろ．

特定小型原付の初期不良のやつで，自分で十分修理できる内容なので「分解・組立の手順さえ分かればよいからサービスマニュアル的なものがあれば提供してくれ」と問い合わせてみたら手順を録画した動画が返ってきた．たしかに実際にやってる手順を動画にしちゃうのが早い．

ということで，必要な情報が手に入った（ネジの方向が逆とかいうのが万が一あるとやだなぁと思ったので情報を聞いてみた）．替えのパーツも送ってもらえるとのことなのでそれを待って作業しよう．

S＆B の出してるドライキーマカレーのパウダールウをスーパーで見かけたので，ホットサンドの中身にちょうどいいかなと思って試しに買って作ってみた．材料は，パウダールウ1箱（2皿分*4袋）とに対して玉ねぎ（中）4個分と合いびき 600g とダイストマト缶400g（固形分240g）とかで，パッケージのレシピに従って玉ねぎをみじん切りにして材料を順に炒めてパウダールウを混ぜて炒めて水を飛ばして完成．とても楽（トマトは自分で切るより缶詰が楽）．あとは ziploc に突っ込んで冷凍．平らな板状にして，Lサイズ 2袋分ほどの量だった．感触的にはホットサンド 12個～16個分くらいか？　材料費が 1900円 ＝ 合いびき1000円 + トマト缶150円 + 玉ねぎ400円 + パウダールウ 350円 とか程度なので，120円～160円/ホットサンド とかいう程度でコスパも悪くないか？（玉ねぎ高ぇよ）

使うときは凍った板を適当に割ってスライスチーズとともにパンの間に突っ込んで焼く程度．ちょっと普段の焼き時間だと解凍できてるけどアツアツにはならない感じだったので今後時間調整が必要そう？　焼いた後に電子レンジで追い加熱すればいい気もする．