行きたい展示会日曜までか、日曜の同時視聴の前に寄るしかないかなあ
可愛くなりたい
(∃, ∀) とそれぞれ「仲がいい」命題結合子が (∨, ∧) だったり (∧, →) だったりするのは型理論特有ではなくもっといろんな場面で出てくると思うけどこの関係は面白いと思う
大丈夫か……？
いま入っている松屋の時計が狂っていて 8 時半をさしている。これも何かの前兆か……（え？）
なんだこの文字名は image
既知の定理であってもそれを再発見できるのはすごいことなのだけど、数学の蓄積が複雑化しすぎて、研究にサーベイ力も必須になってきているところがあるなあと思った
すげー、本当に再発見だ
真っ当な時間に寝て真っ当な時間に起きて真っ当に外出準備をしたつもりが気づいたら午後になっている、そういうこともあります
日傘の導入を検討しようと思ったところで服を買えていないことを思い出して憂鬱に……