なるほど: https://chatgpt.com/s/t_685eab4eb3808191b51baba743089591

RT> 日本の名門である京都大学で高等教育を受けました。彼は2021年に工学士号（B.Eng.）を、続いて2023年に計算機科学修士号（M.C.S.）を取得しています

名門だ！

電車の中でスマホでsshに接続して仕事するというのをとても久しぶりにやった

そして梅田へ(は京大から遠いのでなかなか着かない

HomebrewでもNuSMVをインストールできるようにした
https://github.com/MasWag/homebrew-scientific/blob/master/nusmv.rb

AURにあるNuSMVのPKGBUILDが腐っていたので直した: https://gist.github.com/MasWag/4aa6f3ebb9c2733239890fd5de0ec838

某取材を受けた都合で自分の写真を提供しないといけないが、Google Photoを見ると飲み会の集合写真以外で自分が写っている写真がほとんどないのであった 。発表したときにでも写真を撮っておいてもらえば良かった (最悪2019の写真を使うことになる

opencode(多義語)

sponge, POSIXにあるかどうかはさておきUnix哲学に即していると思うのでいろいろな環境にデフォルトで入っていて欲しい

A script to detect possibly non-DBLP entries in a BibTeX file
https://gist.github.com/MasWag/35c0683e35834057b95c60ee0888cbed

人々がcleveref動かんと言っているのを観測した (TL2025だとだいぶ挙動が怪しい

さくらインターネットのwebページはクラシックだったのか…