「ソフトウェア科学基礎」を勉強会で取り上げるにあたって、 数学記号の読み方がちょっとだけネックになると感じた。 次の勉強会ではまず、記号の読み方を整理しておこう。

形式手法の勉強会をただやるだけだと、ツールで遊んでおしまいになってしまう。 業界にとって形式手法が必要と思われている、 その理由や背景を同時に勉強していかなくてはいけない。