東北大学での最終講義

YouTube再生リスト 東北大学での最終講義 にまとめられた以下の２つのビデオです．

1. 非デカルト的意味論及び投機的計算論の可能性について
   東北大学電気情報系の最終講義として行った講義形式の研究構想です．
2. SML# の研究開発（先端プログラミング言語実現を目指す学術研究の可能性について）
   東北大学情報科学研究科懇話会（最終講義）として行った研究雑感です．

気分転換にご覧ください．