😸
ホーア論理概略(pdf)
以前Xで公開したホーア論理概略の解説pdfを一応Zennでも公開しておきます。
ただし、すべての定義を載せているわけではなく、だいぶWinskelの『プログラミング言語の形式的意味論入門』の6, 7章の内容を前提としているので、教科書のお供程度に考えてください。
以前Xで公開したホーア論理概略の解説pdfを一応Zennでも公開しておきます。
ただし、すべての定義を載せているわけではなく、だいぶWinskelの『プログラミング言語の形式的意味論入門』の6, 7章の内容を前提としているので、教科書のお供程度に考えてください。
Discussion