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

使用テキスト

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

開講日

• 研究室紹介 2025年 9月30日
• 第 0回 2025年10月21日 14:00-15:00
• 第 1回 2025年11月 4日
• 第 2回 2025年11月11日
• 第 3回 2025年11月18日
• 第 4回 2025年11月25日
• 第 5回 2025年12月 2日
• 第 6回 2025年12月 9日（予定）
• 第 7回 2025年12月16日（予定）
• 第 8回 2026年 1月 6日（予定）

担当者

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回 ガイダンス
• 第 1回 Theorem 2.1 まで
• 第 2回 Example 2.6 まで
• 第 3回 Example 2.11 まで
• 第 4回 Theorem 3.4 (i) の証明まで
• 第 5回 Example 3.10 まで