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