coursia

CoursIAは、インタラクティブなノートブックのシリーズとして構成された教育リソースをまとめたものである。学習経路は、探索と最適化、制約充足、記号推論、確率と意思決定、ゲーム理論、機械学習、強化学習、生成AI、学際的なケーススタディ、そしてQuantConnectを用いたアルゴリズム取引を扱う。 このリポジトリはマルチパラダイムの比較を重視している。例えば数独のような同じ問題を、バックトラッキング、制約ソルバー、SMT、メタヒューリスティクス、確率的推論、ニューラルネットワーク、あるいは大規模言語モデルで解くことができる。多くのノートブックは同じ進行に沿ったPython版とC#版の双子のバージョンとして存在し、Lean 4は相補的な形式証明に用いられる。 読む際の構成は三つのレベルに分かれている。番号付きのノートブックが主要な学習経路を形成し、文字付きのノートブックは特定の段階を深掘りし、サブシリーズは研究テーマを切り開く。入口としては、シリーズ別、物語的な道筋別、インフラ制約別、あるいは生成されたカタログ別に進むことができる。このカタログは、アカウント数、READY/DEMOのステータス、PRODUCTION/BETAの成熟度を提供する。 いくつかの学習経路は、APIキーやGPUなしでローカルに動作する。API、Docker、WSL、クラウド、またはGPUを必要とするシリーズは、それぞれのセットアップ用ノートブックで環境を説明している。教育手法は、ガイド付きの説明、実際の出力、補完すべき演習を交互に組み合わせており、一部のシリーズでは、サンプル外検証、マルチシードでの繰り返し、ウォークフォワード、Leanによる証明、否定的な結果の文書化を重視している。このプロジェクトはMITライセンスの下で公開されている。