TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
動的言語で大規模開発
C#だとそんなに重くなるもんなの？
ふらっと C#,C♯,C＃（初心者用） Part139
くだすれPython(超初心者用) その46【Ruby禁止】
ネットワークプログラミング雑談
Boost総合スレ part10
WindowsDDK各種についてのスレ
Excel VBA 質問スレ Part61
次世代言語15 Go Rust Bosque Kotlin TypeScript
Git 13
108 ：
>>106
>形式手法が集合論と述語論理を取り扱い、
>その要件を満たす最小セットの記述がprologで済むのではないかと仮定したとき、
その仮定「Prologは形式手法の要件を満たす」が間違っているんじゃないかね
述語論理だけを取り扱う、いわゆる純粋Prologの表現力は極めて乏しいものだ
Prologプログラミングでは、カットや高階述語(assertなど)の非純粋な操作が必然となる
結果からすると、形式手法の要件である「検証」をPrologは満たさないことになる
また、Prologは型付けの弱い言語だ
仕様を記述できたとしても、それに矛盾が無いことを「検査」できない
形式的な立場であれば、ある集合の要素はすべて同じ種類でなければならないが、
この種類、つまり型の一貫性をPrologでは保証できない点は、形式言語としては致命的な欠陥

日本語プログラミング言語Mind
Gitをより良くするための運用ガイドライン作成スレ
師匠！1週間よろしくお願いするぞ！
C言語なら俺に聞け 152
MSX-BASICの奥義を伝授するスレ
Visual Studio Code / VSCode Part7
今まで見た中で一番すげーコメント
a4です。Ｐ２Ｐ人工知能「Ｔ」開発。
C#, C♯, C＃相談室 Part93
英語の技術書読めちゃうプログラマ
--------------------
櫻井翔と黒川朱里
豊島将之 Part26
【HMD】Oculus Quest Part.30【VRStandalone】IP付
◆芸スポ＋スレッド作成依頼スレ★1199
【2018選手権大会】西東京の高校野球 part6
◆◆武豊・優先主義 Ｐａｒｔ２４７６◆◆
金地金を買った俺は煽られた530
Real Betis Balompie 乾貴士 part83
【Xaomi】xiaoyi M1 part1
北海道経済を考える14〜インフラ危機がリアルに〜
ナポリタンロールを語ろう
肉肉肉　マッスル．ファイトの裏事情45世　肉肉肉
ビンゴ5を予想するスレ その2
回数券・プリペイドカード・ICカード総合スレ9枚目
ハートを磨くっきゃない
藤井はオナニーのおかず探しも長考するの？
この美大ランク付けって19年現在でも合ってるの？
楽天リワード28
新しい泳法を考えるスレ
弁当は・・・冷凍食品派VS全て手作り派
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼