2016-06-18 誤読しやすい言い回し Isabelle 用語法 言葉 ハマリ所 isar-refとかimplementtion文書で: stateが状態(名詞)と述べる(提示する、主張する)のときがある。Isar/VMでは、述べるの意味のstateが状態の名前として使われている。"state"という名前で「述べる」の意味のstateがある。 argumentが引数のときと、議論する/扱うのときがある。A arguments B で、AはBを扱う。