私はものすごい研究室に入ってしまったのかもしれない（周りの人が本当にすごい結果を次々と出しているっぽい）
比較的高い中ではまだ安かった駅弁買ったけど別に駅弁である必要なかったかもな……
CJK Unified Ideographs
あとは自分の結果をちゃんと出して知ってもらおうという気分になったので頑張ろう
帰りのバスの中で（多分あの人だよな……）という人と隣り合わせになったけど確証が持てずに話しかけられなかったですわね
よかったです
ん、終わり
定理の自動証明を AI が書いてくれるやつ Kimina Prover Demo
Project Numina
Numina Lean Agent Demo – AI-Powered Proof Validation in Action
Try the live demo of Numina Lean Agent – a new AI-powered assistant for interactive proof validation. Test it now!
CS の人たちと話した方がいい気がしている、とても
偶然かもしれないけど……（他の日は話しかけるタイミングが合わなかった）