サクサク読めて、アプリ限定の機能も多数!
ダイクストラの「A Constructive Approach to the Problem of Program Correctness」を参照したと述べている。文を見るかぎり、どうやら、constructiveは「構造的な」という意味でナウアは解釈しているようだ
dhrname のブックマーク 2023/02/07 22:05
Programming by action clusters, BIT Numerical Mathematics | DeepDyve[構造化][プログラミング]ダイクストラの「A Constructive Approach to the Problem of Program Correctness」を参照したと述べている。文を見るかぎり、どうやら、constructiveは「構造的な」という意味でナウアは解釈しているようだ2023/02/07 22:05
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.deepdyve.com2023/02/07
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
ダイクストラの「A Constructive Approach to the Problem of Program Correctness」を参照したと述べている。文を見るかぎり、どうやら、constructiveは「構造的な」という意味でナウアは解釈しているようだ
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Programming by action clusters, BIT Numerical Mathematics | DeepDyve
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /