implementation文書4章、ここに色々書いてあった。だけど、けっこう無茶苦茶。 initial claim ＝ final goal だぁーー。backward reasoningだから。 {final,main,primary,initial}{goal,claim,statement,thesis,proposition}はどう組み合わせても、ほぼ同義 …

名詞で言えば、implication, deduction, reasoning, inference, derivation, proof, entailement, verification, judgment 、それぞれに動詞がある。 テクニカルタームなのか説明の地の文としての言葉なのか? つまり、理論的／技術的な定義があるのか、それ…

これらの意味がわかればだいぶスッキリすると思うのだが、 これは論理学の言葉ではない。 ソフトウェア実装系やそのアルゴリズムを語るときの言葉。 したがって、非宣言的、手続き的、スクリプト的 ウェンツェルは、手続き的・スクリプト的な説明を避けてい…

何度も同じことを繰り返し書くが、そのときどきの現状報告 assertion あまり使われてない claim 構文範疇のclaimはある thesis - "?theis"というシェマ変数（schematic variable）はある。哲学用語だと「ヘーゲルの弁証法の正」、命題、テーゼだとか。複数形…