等式の導出に関する問の解答例（型付ラムダ計算 第5回付録 プログラミング言語の基礎理論シリーズ）
Why it's on BrighterTube
Editorial review · 85% confidenceNew channel 大堀淳の計算機科学チャネル: title sample judged 'whole' (A university professor's channel of full, rigorous computer science lectures (compilers, programming language theory, da); passed a second screen for sellers/exam-prep/re-uploads; 3 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.
What you'll learn
A 12-minute video from 大堀淳の計算機科学チャネル: “等式の導出に関する問の解答例（型付ラムダ計算 第5回付録 プログラミング言語の基礎理論シリーズ）”.
Video by 大堀淳の計算機科学チャネル, played through YouTube's embedded player.