TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Objective-C [ObjC part:9];
3Dアルゴリズム全般
VB.NET質問スレ(Part43)
くだすれPython(超初心者用) その38
盗用したコードどれくらい書換えれば合法になるの？
C#, C♯, C＃相談室 Part93
推薦図書/必読書のためのスレッド 81
【wasm】ブラウザでC++。Emscriptenを語ろう
【汚物】痛い変数名・関数名【破廉恥】
【質問】C++でソフト開発したい！【初心者】
206 ：
>>205
>形式仕様を読み書きする時には、字面が持つ自然言語的意味を無視して
>あくまで記号操作の対象として扱う。
そんなことをは君（人間）は気にする必要はないのだ。
放っておいても証明器は完璧にそうしてくれる。
同じことを君（人間）がやってもそれこそ効果は半減する。
書くことは人間にしかできないのだが，そのとき「記号」で書いていては，
そもそもどういう対象を書いているかが分からないだろう？ｗ
>「形式的に」扱う訓練を受けていない人のために非形式的意味を使う。
訓練を受けているとかいないとかでなく、どんな相手だろうと、何を書いて
いるかを伝えるためには、単なる記号では伝わらないんだよ。
>非形式的な意味を持たせた時点で、その記述は形式仕様ではなくなる。
これも違う。人間がどういう読み方をしようと、machine readableであれば
形式仕様なんだよ。
あと、君が「形式手法を知らない人」「訓練を受けていない人」とよく
言ってるらしいのが気になるな。

生産性が低いC++で頑張るために必要な知識
Go の宿題片付けます
Message Passing Interface (MPI) 統合スレ
Visual Studio 2019 Part2
なぜ「staticおじさん」は叩かれたのか？
GCは失敗。メモリは自分で管理せよ！ その2
ふらっと C#,C♯,C＃（初心者用） Part138
盗用したコードどれくらい書換えれば合法になるの？
【DDD】ドメイン駆動設計【エリック・エヴァンス】
VBAなんでも質問スレ Part2
--------------------
母性part.2643
【迅速】バルセロナでひったくり避けようと負傷した韓国人女性死亡 韓国総領事館 警察に迅速かつ徹底した調査と迅速な犯人検挙を[6/28]
1999年について語る
【PSO2】性同一性障害かもしれない
【韓国紙】 「日本と対話再開を」 外交努力訴え、輸出規制強化で
微妙戦士ガンダム
国内旅行板質問スレ75
テレビ・ラジオの中の吹奏楽
中日ドラゴンズが３位に入る戦略を考えよう 26
女「エロ漫画でRものじゃないの、ある？あっても極々少数でしょ」　男「確認したエロ漫画はRものは1作(4.3%)でした」
【Tips】ディスクロード【メンテ】Part1
【鰤・蟹】北陸三県の気象情報★28【米・酒】
弱い常連が多いピン雀教えてください
◆◆◆スレッド作成依頼スレ★1214◆◆
ドラマーが捕まった件
沈黙の金曜日で中田花奈が「選抜入りたい、諦めてない。」と発言
Panasonic LUMIX DMC-GX8 Part57
▲▲▲新燃岳特集prat1▲▲▲
MakeS関連ヲチスレ
35歳以上のハンターが集まるスレ part63
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼