Home | Notifications | New Note | Local | Federated | Search | Logout
Reply to @tojoqk@mastodon.tojo.tokyo きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 14:13:45) 数学基礎論と物理学を組み合わせる研究はすでに進んでいて、小澤正直教授によって劇的に進展していたということを知った。数学基礎論って物理学にも応用されてたのか。。。Reply
---Reply--- きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 14:32:56) Cubical Agdaに取り組むべきであるという根拠がまた増えてしまった感…