MATH EXPO 2025に参加してきました！kanna qed2025年12月21日読了時間: 1分「数学の文化祭」に参加してきました。 "目から鱗"な話ばかりで、本当に刺激的でした。 どの登壇者の方も圧巻でしたが、 個人的には、生の甘利先生を拝見できて感動しました笑 来年開催を本当に楽しみしています！
Why an AI Assurance Layer Becomes Structurally Necessary for AI Governance— A Lean 4 Machine Verification of ADIC’s Mathematical CoreIn One Sentence
Hiroshima Responsibility Functor-Formalizing Hiroshima’s Place-Based Meaning as a Responsibility Structure for AI Assurance
コメント