TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【超高速】C/C++に代わる低級言語を開発したい 8
Perlについて
ふらっと C#,C♯,C＃（初心者用） Part144
今まで見た中で一番すげーコメント
【安定版】ActiveBasicその12【4.24】
ｿｰｽｺｰﾄﾞ ﾎｽﾃｨﾝｸﾞ総合【GitHub,GitLab,Bitbucket等】
【COBOLから】バッチ処理【Javaまで】
プログラミングのお題スレ Part17
サウンドプログラミング5
☆★Java質問･相談スレッド182★★
- 135 ：
- >>133
>あとは数学者やコンピュータサイエンティストの仕事だ
いや、それはAI(人工知能)の仕事だよ
自然語で書かれた曖昧な仕様を、コンピュータが理解できる機械語へ変換するという
もちろん、これが理想の姿であるのは理解するが、現時点では夢物語でしかない
だから、自然言語で書く曖昧な(非形式的な)仕様の代わりに、
(数学を元にした)形式的な仕様記述を試みよう、という思想が形式手法の出発点にある
>>133には、C.A.R. ホーアの言葉を送ろう：
職業としてプログラミング業務を行うためには、基礎となる数学理論に基づき、
すでに確立された他の工学分野の先例にならわなければならない。
これは教育を改善することによって実現することができる。
「プログラミング -- 魔術か科学か？」から引用
Gtkプログラミング on Windows!!!
プログラミングのお題スレ Part15
ECMAScript デス 4
SDL=Simple DirectMedia Layerでゲームだ
文字コード総合スレ Part12
Visual Studio 2019 Part3
次世代言語13 COBOL Java PHP VBA Ruby
Visual Studio 2019 Part3
☆★Java質問･相談スレッド183★★
将来的にPGになりたいんだが、やっぱCから？
--------------------
【社会】「在宅で集中できず」貸しスペースが人気 新型コロナ さいたま
〒くだらね〜質問はここでしろ【お客様専用】155
Twitter
産地偽装は、偽装される側に重大問題
【mobage】アイドルマスターシンデレラガールズ27706人目
【ひたち】常磐特急スレ34【ときわ】
MX･tvk･テレ玉･チバ･群馬･とちぎ実況 ★ 62175
【ステファイ2】バトルフェスティバル☆17 スーパーエリート専用【バトフェス】
メダロットDSにガッカリした奴集まれ！
【見学店】池袋ぴゅありー
オカルト板でガンダムを語ろう
【画像】コナミの50周年記念イラストが話題に 歴代IP大集合
ゲーム実況者 こたば PART3
省型電機の最高傑作 EF57・EF12 Vol.1
正社員登用への愚痴スレ＠月給制
【時事通信】トランプ米大統領、WHOへの対応を来週発表 拠出停止を警告「拠出金が適切に使われることを確実にしたい」 [4/11]
ADHDの話方がこれ 思い当たる節あるか？ [999127778]
中古模型を語るスレ
【速報】東京がパニック状態で大変です！スーパーが大混雑、食料品の買い占め発生中 レジ大行列★３
スパロボV 反省会スレ5
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼