Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
敬礼。ダイクストラは、一見単純なコードの数行でさえ、絶望的に曖昧になる可能性があると書いています。私の命を救うために今は見つけることができない少なくとも1つの作品で、彼はこの曖昧さを実証するための小さなサンプルプログラムを提供しました。誰かが私に彼の論文を指摘してもらえますか？彼はこれらの例の1つを含んでいますか？