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

計算機科学（Computer Science）の講義を配信します．どなたでも（もちろん無料で）自由に聴講できます．

計算機科学分野のハイレベルな専門教育を行っている大学（例えば私自身が講義を行った東北大学・京都大学・北陸先端科学技術大学院大学等）の専門講義に相当する本格的な講義内容です．

専門的で高度な内容を含みますが，初めて学ぶ方も理解できるように必要な基礎の解説を含む構成としています．高校生や社会人の方々を含め，計算機科学を学ぶ意欲がある方なら誰でも理解できる内容を目指しています．質問等歓迎します．

配信済み講義内容（再生リスト）
・情報の表現と計算の原理（高校生，教養課程向け）
・計算機システム概論 （学部専門講義）
・コンパイラ -原理と構造-（学部専門講義）
・「型推論」特別講義「プログラミング言語の基礎理論」 第４章（大学院レベル）
・プログラミング言語のモデル「プログラミング言語の基礎理論」第１章（大学院レベル）
・東北大学 最終講義 ２編
　「非デカルト的意味論及び投機的計算論の可能性について」
　「SML# の研究開発」情報科学研究科 懇話会

講師：大堀 淳，東北大学名誉教授、米国ペンシルバニア大学Ph.D.
1981年東京大学文学部哲学科卒業後、沖電気工業株式会社、ペンシルバニア大学（会社派遣留学生）、英国王立協会特別研究員・グラスゴー大学、京都大学 数理解析研究所、北陸先端科学技術大学院大学を経て、2005年から東北大学電気通信研究所（通研・RIEC )勤務、2022年定年退職。

より詳しい研究活動等については，例えば第三者（日本ソフトウェア科学会）によるプロファイルを参照
    https://jssst.or.jp/award/detail/fellow2010.html

ソフトウェア
 関数型プログラミング言語SML# を共同開発

講義内容の教科書
『プログラミング言語の基礎理論（新装版 2019年）、共立出版』
『プログラミング言語Standard ML入門（改訂版2021年）、共立出版』
『コンパイラ 原理と構造、共立出版』
『SML# で始めるMLプログラミング、共立出版』
『情報システム概論、サイエンス社』
『コンピュータサイエンス入門 アルゴリズムとプログラミング言語（岩波書店）』（絶版）