https://ikotondo.netlify.app/Recent content on いことんどのサイトHugo -- gohugo.iojaTue, 19 Dec 2023 18:47:22 +0900https://ikotondo.netlify.app/posts/news-2024-04-04/Thu, 04 Apr 2024 14:59:37 +0900https://ikotondo.netlify.app/posts/news-2024-04-04/一階述語論理の事実のうち, 個人的に便利だと思った事実を纏めたPDFをアップしました！https://ikotondo.netlify.app/posts/news-2024-01-05-2/Fri, 05 Jan 2024 17:46:06 +0900https://ikotondo.netlify.app/posts/news-2024-01-05-2/ウェブサイトを作りました！書いた記事などをまとめるなど, 萬のことに使います.https://ikotondo.netlify.app/posts/news-2024-01-05/Fri, 05 Jan 2024 12:08:40 +0900https://ikotondo.netlify.app/posts/news-2024-01-05/Alweさん主催 Mathmatical Logic Advent Calendar 2023 の23日目に, 一階述語論理の完全性定理を証明する記事を投稿しました！ 詳細はこちら！https://ikotondo.netlify.app/about/Wed, 20 Dec 2023 00:45:55 +0900https://ikotondo.netlify.app/about/自己紹介 不完全性定理を勉強しています. 来歴 西暦 所属 備考 2016 ~ 2019 西大和学園高等学校 2019 ~ 2023 同志社大学 理工学部 数理システム学科 2023 ~ 2024 神戸大学 システム情報学研究科 研究生 2024 ~ 神戸大学 システム情報学研究科https://ikotondo.netlify.app/contact/Tue, 19 Dec 2023 18:49:55 +0900https://ikotondo.netlify.app/contact/ Your email: Your message: Send