うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。