セキュリティ＆プログラミングキャンプの講義資料に加筆して公開しました

http://www.slideshare.net/nishio/ss-5019563

「プログラミング言語の設計判断」というタイトルでは要約しきれてない内容ですが。図が足りないとか図が足りないとかを修正してから公開しようと思っていたのに気がついたら1週間もたってしまった(即日公開するつもりだったのに！)のでとりいそぎ公開します。