Hayato Nasu
@ngaastue.bsky.social
Halifax, Canada/ PhD student/ Categorical logic (or, logical category theory)
Homepage: https://hayatonasu.github.io/hayatonasu/
Homepage: https://hayatonasu.github.io/hayatonasu/
一般向けの申請書類についてLawvereの論文を読んで大衆にもわかるように言い換えればと言うアドバイスを先生からもらったがそれは申請書類を書くのなんかよりはるかに難しいのでは
November 12, 2025 at 7:26 PM
一般向けの申請書類についてLawvereの論文を読んで大衆にもわかるように言い換えればと言うアドバイスを先生からもらったがそれは申請書類を書くのなんかよりはるかに難しいのでは
Zulipによれば2-categorified logicの発展に貢献したらしい。もっと貢献しないと。
November 5, 2025 at 2:20 PM
Zulipによれば2-categorified logicの発展に貢献したらしい。もっと貢献しないと。
めんどくさい作業が降ってきてめんどくさい
October 2, 2025 at 1:46 PM
めんどくさい作業が降ってきてめんどくさい
こちらのグループではまあまあほしのさんポジを担ってます。
September 26, 2025 at 12:40 AM
こちらのグループではまあまあほしのさんポジを担ってます。
My long journey toward a PhD is about to begin. The physical journey is already underway, taking 30h.
August 27, 2025 at 2:35 AM
My long journey toward a PhD is about to begin. The physical journey is already underway, taking 30h.
9月からのスーパーバイザーから修論のベタ褒めをゲットした
April 27, 2025 at 12:11 PM
9月からのスーパーバイザーから修論のベタ褒めをゲットした
Reposted by Hayato Nasu
Ivan Di Liberti, Lingyuan Ye
Logic and Concepts in the 2-category of Topoi
https://arxiv.org/abs/2504.16690
Logic and Concepts in the 2-category of Topoi
https://arxiv.org/abs/2504.16690
April 24, 2025 at 4:10 AM
Ivan Di Liberti, Lingyuan Ye
Logic and Concepts in the 2-category of Topoi
https://arxiv.org/abs/2504.16690
Logic and Concepts in the 2-category of Topoi
https://arxiv.org/abs/2504.16690
Reposted by Hayato Nasu
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.
January 16, 2025 at 1:36 PM
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途中で色濃くなったんなんでなん？
January 1, 2025 at 11:11 AM
Goodnotes途中で色濃くなったんなんでなん？
主定理の証明をTeX打ちするだけで丸一日使ってしもた…かなり整理したつもりやけど4ページ…
November 29, 2024 at 2:15 PM
主定理の証明をTeX打ちするだけで丸一日使ってしもた…かなり整理したつもりやけど4ページ…
最近やってる研究で全体への影響の大きいミスが見つかった…
April 12, 2024 at 10:42 AM
最近やってる研究で全体への影響の大きいミスが見つかった…
人生の色々ちょっとずつ上手く行ってなくてストレス溜り気味かも
February 15, 2024 at 12:15 PM
人生の色々ちょっとずつ上手く行ってなくてストレス溜り気味かも