TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
俺主催囲碁プログラミングコンテスト
Deep learning
Swiftアンチスレ part1
【QBASIC互換!?】FreeBasic【GPL】 2
Kotlin 6
プログラミングのやる気出す方法教えてくれ
Gitをより良くするための運用ガイドライン作成スレ
Microsoft Silverlight その9
[RPA]PC自動化技術総合スレ[効率化] Part.8
C++Builder相談室 Part21
- 188 ：
- >>186
>形式手法の証明においては式に含まれる記号の意味は「無価値」だということ
それは証明器にとって、ということでしょう。人間にとってではない。
>これに対して、形式手法では現実世界をモデル化することは(視覚化手法と)同じだけれど、
そのモデル化の時点で、「意味」が介在するよね。
>形式に矛盾があれば誤りであると見なす
それは当たり前。矛盾というのは形式的なものだからね。
だからといって「意味」が不要ということにはならない。
プログラム板へのID導入の投票実施中 月曜0:00まで
くだすれPython(超初心者用) その37
C言語なら俺に聞け 155
ふらっと C#,C♯,C＃（初心者用） Part147
C++相談室 part138
日本語プログラミング言語『なでしこ』スレ5
WPF(XAML, XBAP, .NET4.0)GUIプログラミング Part19
プログラミング始めたいんだけどどこ言語がいい？
ぶっちゃけ始めるのにいい言語て何？
統計解析R たぶんpart3くらい
--------------------
ゲーセンにデブは来るな！臭いから
【バーチャル】hololiveアンチスレ#6713【youtuber】
甲府中央郵便局郵便課長ひき逃げ公判5ー最高裁
アリストテレスから世界はおかしくなった
喜望峰】南アフリカ・ナミビア 4【野生動物】
【アズレン】アズールレーン Part1754
【BS】バトルスピリッツ 440コア目【バトスピ】
【輝け☆彡】 石川ミリオンスターズ☆16☆
【少女虐殺下衆男】 進撃の巨人エレンアンチ10 【ブサイク在庫猿】
Rハゲ
【リノエー】OPPO Reno A【ﾜｯﾁｮｲ有り】 Part.9
【WTA】女子プロテニスツアー総合スレッド78
真相報道バンキシャ! Part9
恥ずかしい車と言われて連想した車 [324064431]
【深き魂の黎明】メイドインアビス劇場版 第十層
ネ実三国志大戦修羅の大徳
不人気楽天Rで１０００を目指すスレ Part32
エプソンの新機種
【バーチャル詐欺師】Manager2525監視スレ20
なんでバカボンのスレがないの？Part39
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼