帰りのバスの中で（多分あの人だよな……）という人と隣り合わせになったけど確証が持てずに話しかけられなかったですわね
よかったです
ん、終わり
定理の自動証明を AI が書いてくれるやつ Kimina Prover Demo
Project Numina
Kimina Prover Demo – AI-Powered Proof Validation in Action
Try the live demo of Kimina Prover – a new AI-powered assistant for interactive proof validation. Test it now!
CS の人たちと話した方がいい気がしている、とても
偶然かもしれないけど……（他の日は話しかけるタイミングが合わなかった）
今日は人と話せるのなんでだろうと考えたけどもしかして寝不足だからか？　寝不足の方がグイグイいけるのか？
最終日の今日になってようやく色んな人と有意義な話ができて本当に嬉しい、来てよかった
先行研究一個くらい紹介しても良かったか……でも 5 分ってそういうの求められてない気も……
具体的な話を入れるとよいのではという意見がいくつかあったけど専門外向けで 5 分はどうしても無理なので割と最適解だった気がする