トップエスイー特別講義「定理証明と検証」サポートページ

講義資料の正誤情報

配布した講義資料に一部誤りがございました。お詫びして訂正致します。

1.6 Coqによる会計システムのモデル化

  • 1.6.1における入金処理に関して、「売掛金額’ = 売掛金額-x」という式は不要です。

演習問題の解答例

1.6 Coqによる会計システムのモデル化

  • 1.6.1 (1): 請求金額’ = 請求金額 - x
  • 1.6.1 (2): 請求金額’ = 請求金額 + x
  • 1.6.3: acs.v