大堀淳の計算機科学チャネル

各講義シリーズは，大学での一学期１５時間程度の講義内容に相当する単位としてYouTubeの再生リストにまとめられています．

• 入門・教養課程レベル
  • 情報の表現と計算の原理
• 学部専門講義レベル
  • 計算機システム概論 ー 基礎から学ぶコンピュータの原理とOSの構造ー
  • 関数型言語SML# とCで始める本格的プログラミング入門
  • コンパイラ ー原理と構造ー
  • SML# で学ぶデータベースプログラミン (現在更新中)
• 大学院レベル
  • プログラミング言語のモデル（プログラミング言語の基礎理論 第1章）
  • 型付ラムダ計算 （プログラミング言語の基礎理論 第2章）
  • 型付ラムダ計算の拡張 （プログラミング言語の基礎理論 第3章） (現在更新中)
  • 「型推論」特別講義 (プログラミング言語の基礎理論 第4章）
• 参考ビデオ
  • Windows PC上のプログラミング環境整備
• 気分転換にどうぞ
  • 東北大学での最終講義