いつまで雪降ってんだか

一般向けの申請書類についてLawvereの論文を読んで大衆にもわかるように言い換えればと言うアドバイスを先生からもらったがそれは申請書類を書くのなんかよりはるかに難しいのでは

Zulipによれば2-categorified logicの発展に貢献したらしい。もっと貢献しないと。

確かに双圏の方が多いですね、倍圏かー

倍圏はbicategoryの訳では？(何か二重圏にしない理由がお持ちなら無視してください)

めんどくさい作業が降ってきてめんどくさい

こちらのグループではまあまあほしのさんポジを担ってます。

My long journey toward a PhD is about to begin. The physical journey is already underway, taking 30h.

疲れてきた

9月からのスーパーバイザーから修論のベタ褒めをゲットした

Ivan Di Liberti, Lingyuan Ye
Logic and Concepts in the 2-category of Topoi
https://arxiv.org/abs/2504.16690

This looks 🔥🔥

My thesis is completed! It is now available on my homepage (hayatonasu.github.io/hayatonasu/) and will hopefully be published on arXiv in a few weeks.

Goodnotes途中で色濃くなったんなんでなん？

主定理の証明をTeX打ちするだけで丸一日使ってしもた…かなり整理したつもりやけど4ページ…

ぐへー

これ解決したどころかそのミスのせいで行き詰まってた部分が解消してとても気分がいい

最近やってる研究で全体への影響の大きいミスが見つかった…

人生の色々ちょっとずつ上手く行ってなくてストレス溜り気味かも

元気！