プログラミング

PC やスマートフォンのような私たちの前にある電子機器だけでなく、私たちに身近なお店でも、駅でも、あらゆるところで空気のように動いているプログラム。正しく動いているときはその存在になかなか気づきませんが、一度間違った動作をすると社会に大きな影響を与え、トップニュースになることもあります。本講義ではプログラムに制限を加えることでプログラムの正しさを高めようとする「型」という手法と、その手法を用いたプログラムの良さと書きにくさ、「型」で正しさが高められたプログラムを簡単に書けるようにする最先端の研究について紹介します。

プログラミングは単なる技法ではありません。計算機プログラムを厳密な科学・工学の対象としてとらえることで、より楽しくプログラムを作ることができます。 この市民講座では、積み木ゲームのように組み合わせるだけで高度なプログラムを構築できる手法を通して、科学としてのプログラミングのあり方を説明します。