締め切り：7月2日(日)
応募は以下のフォームから行うことが可能です。
https://forms.gle/eYj5Yu6jiLfUXoA99
2023年7月1日、2日
12:30 zoom開始
13:00-13:10 開会式
13:10-13:30 AI vs 定理証明支援系 vs 俺
講 演 者：岡本和也 所 属：高知大学 大学院 総合人間自然科学研究科 理学専攻 修士課程 修了 キーワード：ChatGPT, Coq 発表の要旨： Coqで実装した数学の問題をChatGPTで解いていただきます。
13:35-14:10 宇宙の初期状態と銀河の形成・進化
講 演 者：りゅうや 所 属：放送大学教養学部 キーワード：銀河形成、超低輝度矮小銀河(UFD)、ダークマター、ミッシングサテライト問題 発表の要旨：
銀河団や超銀河団といった宇宙の大規模構造がどのようにして造られたかは、ΛCDM理論と弱い重力レンズ効果による観測によって概ね解明されたと言ってよい。しかし、個々の星や銀河といった小さなスケールでどのように構造形成が進んだかは未だ明らかではない。 近年発見されるようになった超低輝度矮小銀河（UFDs）はそこに含まれる星をはじめとして宇宙の最も最古の状態を保持しているとされ、銀河の形成・進化の解明に役立つことが期待される。また、宇宙の中で最もダークマターに富む天体としても知られ、興味は尽きない。 本講演では銀河の形成と進化についてこれまでに解明されたこと、そして解明が待たれている課題について描き出す。
14:10-14:20 10分休憩
14:20-14:35 第二の地球とは？（動画枠）