サイト内検索

詳細検索

ヘルプ

セーフサーチについて

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

2017年間ランキング

児童書・絵本・文房具 全品ポイント2倍キャンペーン (~12/26)

目次

  • PART Ⅰ.Constructive Logics for Program Correctness and Verification
    • Chapter 1.Notions of program correctness
    • Chapter 2.Properties of correctness formulae sp(S,Q)and vp(S,Q)
    • Chapter 3.Constructive logic JTsp for strong correctness expressed by sp(S,Q)
    • Chapter 4.Constructive logic JTzp for strong correctness of functional programs
    • Chapter 5.Relative completeness problem of program verification systems
    • Chapter 6.Concluding Remarks on PART Ⅰ
    • Appendix.Theory(INT),Extensiona1 λ calculus,and Gentzen’s logical systems
  • PART Ⅱ.Fully Constructive Logics for Program Correctness and Problem Specification Logic
    • Chapter 7.Fully constructive logic FCsp on sp(S,Q)and PS logic
    • Chapter 8.Fully constructive logic FJzp on zp(FD,Q)and PS logic

プログラミング言語 ランキング

プログラミング言語のランキングをご紹介します一覧を見る

前へ戻る

次に進む