お気に入り
CS-206｜関数型・プログラミング言語論
✔ 関数型パラダイム・λ計算
✔ 型システム・代数的データ型・モナド
✔ 関数型vs命令型
✔ Haskell・OCaml・Rust実装・型駆動開発
✔ 関数型実装プロジェクト・型システム解析レポート
CS-206 関数型・プログラミング言語論の特徴
なぜこのプログラムなのか？
・Jane Street（OCaml）で通用するクオンツデベロッパーとして、また高度SEとして関数型パラダイムを使いこなし、言語処理系・コンパイラを設計できる実装力を、8週間で完成させる本格プログラム！
・代表TJ（住友商事→シカゴBooth MBA→ゴールドマン・サックスIBD）がChicago Boothで論理的思考を体系化し、日経225システムで複数言語を実装してきた実務感覚を完全に落とし込んだカリキュラム
・坂下絵美（東京大学→コロンビア大学教育大学院）の学習科学・脳科学に基づく教育設計で、「命令型に逃げる」を許さない、型システムと副作用管理の本質を理解する指導
・修了時にはAlpha Advisors認定「AA Functional & PL Theory Cert」を取得
このプログラムは以下の方々に最適です：
・Jane Street・Standard Chartered・Galoisなど関数型言語を主力とする企業でクオンツデベロッパー・シニアSEを目指す方
・言語処理系・コンパイラの設計開発に携わりたい方
・Rust・Swift・TypeScriptなど現代言語の設計思想を本質から理解したい高度SE
・命令型プログラミングは書けるが、関数型パラダイムで同じ問題を解く力がない方
・モナドや型システムの概念は聞いたことがあるが、「なぜ型が副作用を制御できるのか」を説明できない方
なぜこのプログラムで成果が出るのか？
1. λ計算・型理論を実言語で示す8週間カリキュラム
・関数型パラダイム、λ計算、型システム、代数的データ型、モナド、関数型vs命令型を体系的に網羅
・すべての理論をJane StreetのOCamlコードやRustの所有権の実例を通じて学ぶため、抽象理論で終わらない
・「この副作用はどう型で表現するか？」と常に問い続けるソクラテス式指導で、命令型への逃避を徹底排除
2. 実務直結の実践演習
・Haskell・OCaml・Rustで実装し、関数型パラダイムでアルゴリズムを再実装する演習
・型駆動開発を実践し、関数型実装プロジェクトと型システム解析レポートを完成させるトレーニング
・「Jane Streetの面接ならこう問う」「Rustコミュニティならこう設計する」というトップ企業基準を常に提示
3. 妥協なき評価基準
・Haskell・OCaml・Rustで実装し、型システムを理解し、モナドを実装し、関数型でアルゴリズムを再実装し、型駆動開発ができるレベルを要求
・命令型でしか書けない、型の有用性を語れない、副作用管理ができない受講者には、容赦なく「この問題を副作用なしで解けるか？型でどう安全性を保証するか？」を問い詰める
圧倒的な実績
・アルファ・アドバイザーズは18年間にわたり、Jane Street・Google・Citadel・Goldman Sachsなどトップ企業への内定者を多数輩出
・代表TJがChicago Boothでの論理思考と日経225システムの複数言語実装で培った「型の威力」の実務知見を、そのまま受講者に伝授