プロセス代数(CCS)とモデル検査(様相論理)についての大学院授業

http://www.kb.ecei.tohoku.ac.jp/~koba/class/soft-kiso/

が終わりました(試験も含めて)。計算機科学が専門外の人たちも、まあまあできていた模様(もちろん人にもよりますが)。「今日の授業はどれぐらいわかりましたか」「わからなかった人は何がわからなかったのか書ければ書いてください」みたいなアンケートをとりながら授業をした結果でしょうか。トップは専門外の人でした。もっとも、ボーナス問題も含めると完答した人はいなかったようで。