YouTube再生リスト関数型言語SML# とCで始める本格的プログラミング入門 にまとめられたビデオ講義.

関数型言語SML# とC言語を使って本格的なプログラミングを始めるための知識と技術を習得するための講義シリーズです。

Windows PC上のプログラミング環境整備で、Ubuntu(build-essential) + Emacs + SML# の環境を整備すれば、初めてプログラミングを学ぶ方を含めだれでも、関数型プログラミングや、関数型言語とC言語を使った本格的なプログラミングを学べます。

特に、関数型プログラミングは、関数型の基礎理論の研究者・関数型SML# の開発者・MLプログラミングの教科書の執筆者による本格的な内容です。東北大、京大、東大…などのプログラミングの講義に劣らぬハイレベルの講義内容を、どなたでも無料で聴講・学習できます。

以下の2つの教科書を使用します。

  1. SML#で始める実践MLプログラミング、大堀 淳 著・ 上野 雄大 著、共立出版、2021
  2. プログラミング言語Standard ML入門 改訂版、大堀 淳 著、共立出版、2021