TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
P2P型の完全匿名掲示板はまだ出来ないの？その5
Rubyについて（アンチ専用） Part00４
自然言語処理スレッド　その４
オナオナ開発プロジェクト
●●●●TCL/TKなら俺に聞け 4●●●●
いまだにVC6から離れられない奴の数→
ハッシュ使うのやめてクラスにしましょう
ふらっと C#,C♯,C＃（初心者用） Part137
プログラム関係の雑誌について
Access VBA 質問スレ Part2
192 ：
>>187,188
現実世界を抽象化する過程に意味が伴うのはその通りで、視覚化手法も形式手法も同じ
形式手法にとっても抽象化の過程ではコトバの意味が大切なのに変わりはない
違うのは、抽象化の成果物である「仕様(設計書)の検証」において、視覚化手法では
(人間が介在する)直感を頼りとしており、そこではコトバの意味が重要な位置を占める
それに対して形式手法では仕様の検証に人の直感は介在せず、コトバの意味は無視する
ここで、証明(=形式を元にした検証)を人力でやろうが証明器で自動化しようが同じ
そして、もし証明が失敗すれば(仕様に矛盾を発見すれば)、現実世界の抽象化という前工程に立ち返る
その時には、(数学としての)形式化の単純ミスもあるだろうけど、コトバの意味(の定義)の過ち、
つまり(抽象化の過程で)現実世界の解釈に何か誤りや漏れがあったことが発見できるだろう

学ぶ言語は「広く浅く」か「狭く深く」のどっちか
Gtkプログラミング on Windows!!!
いまだにVC6から離れられない奴の数→
【統計分析】機械学習・データマイニング26
アセンブラ 13
Kotlin 3
結局プログラム作るのってWinとLinuxどっちがいい？
シェルスクリプト総合 その29
Excel VBA 質問スレ Part54
集合論に基づいた言語を作りたい
--------------------
【テレビ】浅尾美和　夫婦で大切にしている“ある行為”
【愛知】受験指導で息子を包丁でさして殺害、父親に懲役13年 名古屋地裁
【Ark】ジョニー・ライデンの帰還 50【MSV-R】
山手線で一回も降りたことがない駅→大半の人が目白駅だろ
頭に「春風亭昇太の」と付けて萎える番組を作れ!
【神奈川】敬老パス、見直し議論　存続へ負担どう分担
【春場ねぎ】五等分の花嫁 アンチスレ★86
コンバットフライトシムは・・・
☆　運動神経のなさを自慢するスレ　★
エイリアン・プレデターの玩具 30
【20代】若く見られすぎる40代たち11人目【30代】
VSTプラグイン総合23.0
「ジェームズ・ディーン　享年２４」これほど若く死んでいったスターおるか [816970601]
【他dis不人気需要なし在庫】松野チョロ松を語るスレ32【公式地雷DV公然猥褻罪】
そうりょリフ
中山競馬場で落馬大事故発生、騎手2名が重症、馬も踏みつけられ予後不良 [352875705]
【IT】富士通が政府向けのクラウド事業に本格参入、AWSに対抗へ
Negicco Part120
【恥の上塗り】#森まさこ法務大臣、Twitterで発言を訂正　「『ゴーンは無罪を証明すべき』と言ったのは言い間違え」 ★2
【UTAU】重音テト　Part19【十周年おめテトー】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼