アカウント名:
パスワード:
ソフトウェアの形式的検証の成果のうち、産業界でも広く使われるようになった「強い型付け」とか。
それを言ったらALGOL [wikipedia.org]に由来する各種概念が, 今日の実用プログラムの9割がたぐらいを占めていそう.
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
「科学者は100%安全だと保証できないものは動かしてはならない」、科学者「えっ」、プログラマ「えっ」
ソフトウェアそのものじゃないけど (スコア:0)
ソフトウェアの形式的検証の成果のうち、産業界でも広く使われるようになった「強い型付け」とか。
Re:ソフトウェアそのものじゃないけど (スコア:1)
それを言ったらALGOL [wikipedia.org]に由来する各種概念が, 今日の実用プログラムの9割がたぐらいを占めていそう.