サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料 日付更新(2017年7月)

目次

  • Chapter 1.Sequential Programs and Constructive Logics for Program Correctness
    • Section 1.1.Stores and computation expressed by finite transitions of stores
    • Section 1.2.Semantics of mPL constructs and IO statements
    • Section 1.3.Notions of program correctness
    • Section 1.4.Constructive logics for strong correctness formula sp(S,Q)
    • Section 1.5.P&PC correspondence for mPL statements and IO statements
    • 〈Remarks〉
  • Chapter 2.Constructivity of Objects in Semantics of mPL
    • Section 2.1.Constructivity of BOOL,NAT and INT
    • Section 2.2.Constructivity of Σ(the set of store states)
    • Section 2.3.Constructivity of semantics of mPL constructs
    • Section 2.4.Constructivity of semantics of read and write statements
    • 〈Remarks〉
  • Chapter 3.Constructive Identity and Strong Correctness Predicate sp
    • Section 3.1.Identity relations for natural numbers,stores and mPL statements
    • Section 3.2.Leibniz identity and the constructive identity for mPL statements
    • Section 3.3.Relativizations of Leibniz identity and constructive identity
    • Section 3.4.Constructive identity for statements with read and write
    • 〈Remarks〉
  • Chapter 4.Stream Programs to Create Infinite Objects and their Correctness
    • Section 4.1.Examples of stream programs
    • Section 4.2.Stream programs and their equality
    • Section 4.3.Correctness of stream programs
    • Section 4.4.Stream identity and stream correctness predicate SSSP
    • 〈Remarks〉