About

自己紹介

不完全性定理を勉強しています.

来歴

西暦所属備考
2016 ~ 2019西大和学園高等学校
2019 ~ 2023同志社大学 理工学部 数理システム学科
2023 ~ 2024神戸大学 システム情報学研究科研究生
2024 ~神戸大学 システム情報学研究科