情報科学セミナー (2025年度秋学期)

使用テキスト

1. Y. Kimura, Real numbers, preprint, 2023.

開講日

• 研究室紹介 2025年 9月30日（予定）

担当者

Real numbers

• Section 1 まで
• Section 2
  • Example 2.6 まで
  • Example 2.11 まで
• Section 3
  • Remark 3.5 まで
  • Example 3.14 まで
  • Example 3.17 まで
• Section 4
  • Theorem 4.4 まで
  • Theorem 4.7 まで
  • Theorem 4.10 まで
• Section 5
  • Theorem 5.5 まで
  • Theorem 5.8 まで
  • Theorem 5.9 まで
• Section 6
  • Theorem 6.3 まで
  • Theorem 6.6 まで

進行状況

• 第 0回 ガイダンス