#2: Rubberducks and Deep Dish
今回はアメリカ、シカゴで開催されたDeep Dish Swiftに参加した感想をコウタロウがお話しします。
- AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind
- AlphaGeometry: An Olympiad-level AI system for geometry - Google DeepMind
- 国際数学オリンピック - Wikipedia
- Programming Language and Theorem Prover — Lean
- Gemini
- 土用の丑の日 - Wikipedia
- Deep Dish Swift 2025 | April 27th to April 29th
- シカゴ - Wikipedia
- シカゴ風ピザ - Wikipedia
- シカゴ・オヘア国際空港 - Wikipedia
- ミシガン湖 - Wikipedia
- Home | Dave DeLong
- 22 - The Temporal Axis of Space-Time - Dave DeLong on Vimeo
- DateFormatter | Apple Developer Documentation
- davedelong/time: Robust and type-safe date and time calculations for Swift
- Tim Condon
- @chrisvasselli
- Nihongo: a modern Japanese dictionary for iPhone and iPad
- Automation for Localization - Speaker Deck
- Fine-tuning - OpenAI API