Hayato Nasu's Avatar

Hayato Nasu

@ngaastue.bsky.social

Kyoto Japan / KU RIMS D1, CS group/ Math, Categorical Logic,Category Theory, Mathematical Logic, Type theory Homepage: https://hayatonasu.github.io/hayatonasu/

24 Followers  |  20 Following  |  10 Posts  |  Joined: 13.02.2024  |  1.7099

Latest posts by ngaastue.bsky.social on Bluesky

疲れてきた

17.07.2025 21:35 — 👍 1    🔁 0    💬 0    📌 0

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

27.04.2025 12:11 — 👍 3    🔁 0    💬 0    📌 0

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

24.04.2025 04:10 — 👍 1    🔁 1    💬 0    📌 0

This looks 🔥🔥

31.01.2025 07:49 — 👍 7    🔁 1    💬 0    📌 0
Post image Post image

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.

16.01.2025 13:36 — 👍 1    🔁 1    💬 0    📌 0
Post image

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

01.01.2025 11:11 — 👍 0    🔁 0    💬 0    📌 0

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

29.11.2024 14:15 — 👍 2    🔁 0    💬 0    📌 0
Post image

ぐへー

07.10.2024 11:12 — 👍 1    🔁 0    💬 0    📌 0

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

15.04.2024 11:39 — 👍 2    🔁 0    💬 0    📌 0

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

12.04.2024 10:42 — 👍 3    🔁 0    💬 1    📌 0

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

15.02.2024 12:15 — 👍 0    🔁 0    💬 0    📌 0

元気！

13.02.2024 09:00 — 👍 1    🔁 0    💬 0    📌 0

@ngaastue is following 20 prominent accounts