ちょっと前に様相 μ 計算の概要を少しだけ眺めたのが効いてきている

グラフ理論の問題を様相論理で書き直しまくると何か見えるかもという話っぽいなあ

平等院って行ったことあったっけな、なんも覚えてない……まあ覚えてないなら行ったことあってもなくても同じか……

気になる人はたくさんいるのに話しかけることができずに一人で昼食を食べていたら同じ大学の人に声をかけてもらってしまった（陰ムーブ）

比叡山延暦寺行ったことあるはずなんだけどあんまり記憶がない

周遊企画で 3 択からルートが選べるらしい（金閣・銀閣／比叡山／三宝院・平等院）

全然 T シャツとかいる　ありがたい

初の国際学会参加なのでドレスコードが少し気がかりでしたが完全に杞憂でした

脚の筋肉痛が治らない

いや、これ裏でソフトなトークン制限かけてるだけかもしれない。プロンプト、ある程度は慎重に考えるか……。