サンジオルジさん

が一週間強ほど来ています。MLとかCCSとかπ計算とかを考えたMilnerさんの一番弟子で、π計算の双模倣とかの専門家です。（講演以外は）ほとんど何も用意していなかったので、時間が余るかも…とか思っていたら大間違いで、超高密度のテクニカルな議論が続きまくり。僕の双模倣の定義（のバリエーション）と健全性の証明を、ほとんど何も見ないで目の前で書き下したり、超完璧に理解しています。すごい。