6月の目標

ひとまずの目標。今週中に再度更新する見込み

はじめる前系

• 統計検定に向けての勉強
• 宅建の勉強をはじめるか検討

はじめる系

• Kaggle本を読み始める
  • スタートブック
• Scheme本を読み始める
  • Scheme手習い

つづける系

• データ構造とアルゴリズム系
  • みんなのデータ構造
  • グラフ理論入門
  • アルゴリズム理論の基礎
  • AtCoder
    • 今月から可能な限り再開。
• 定理証明系
  • Isabelle
  • （手で）証明
    • コンピュータのための数学
    • 論理と集合から始める数学の基礎
• オートマトン、CSP、ペトリネット
  • 計算理論の基礎
• パーサ
  • 言語実装パターン
• LaTeXを触り始める
  • 数式から始める
  • VSCode拡張でいい感じになるのかを確認する