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/
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途中で色濃くなったんなんでなん？
