日本全国だいたい東京？

ほな Edinburgh は東京か

バカだから晩飯食った後にラーメン食おうか。

ETAPS もうやってんのか

Twitter はアップデートしなければ(少なくとも手元では)自動翻訳されない。

物理的に会いづらい人 (= ほぼ全ての日本の知り合い) に SNS を消されると、その人との繋がりが 0 になるんじゃ。ワシのことを捨てんでくれ。

上に同じ

あと5話しかない……

24話見たのにまだ24話もある

東京グール見ながら泣いてたら一週間終わってた。

四度寝を達成

寿司にわさび付けて食べたい。歯磨き粉を口に含みながら、そう思った。

あ、これローマ字読み？

ついになくなってしもうた……

今週はもう月曜までかなり頑張ったし、大学はストライキだし、人も少ないし、ずっとゴロゴロしてようと思ってる。

本当にしんどいよ、リバッタルとかいうやつ。

うえーん(リバッタルが終わらない)

やる気と眠気と私で相談した結果、全会一致で昼寝が可決。

ベッドからアホな落ち方をして負傷

人生に脳のリソース取られてるせいで、研究に集中できず、新しい結果も生まれないので、研究が全然楽しくない。解決策は人生をクリアするかしかない。

codex が僕の寝てる間に 37 分も働いて証明書いてる、偉い。

Lean だいぶ見ためが Coq か？

lean 本当に何も知らないが、AI に書かせてみてる。

なんでこんなに精神状態悪いんだ？(原因は分かるが、なぜここまで悪くなるのかが分からん)

寒い。発熱とかした方がいいかも。

日本、あまり帰りたくない

将来に不安しかなくなってきた。

コミュニケーション能力が欲しい

鳥を見るたびに、俺にも翼が欲しいと本気で思う。

ウイスキーにコーラは混ぜない方がいい。理由は、がぶ飲みしてしまい、危ないから。