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

使用テキスト

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

開講日

• 研究室紹介 2026年 9月29日
• 第 0回 2026年10月20日 14:00-15:00
• 第 1回 2026年10月27日
• 第 2回 2026年11月10日
• 第 3回 2026年11月17日
• 第 4回 2026年11月24日
• 第 5回 2026年12月 1日
• 第 6回 2026年12月 8日
• 第 7回 2026年12月15日
• 第 8回 2026年12月22日

担当者

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.8 まで
• Section 5
  • Example 5.1 まで
  • Theorem 5.4 まで
  • Theorem 5.9 まで
• Section 6
  • Theorem 6.6 まで

進行状況

• 第 0回 ガイダンス