TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
【C++】マイナーGUIツールキット
集合論に基づいた言語を作りたい
SQLなら俺に訊け
GARMIN社のGPSのプログラム
TypeScript（MS） VS Swift（Apple）
アセンブラ 13
訃報: C 言語の開発者、デニス・リッチー氏が死去
プログラミング未経験→月4万
Rubyについて（アンチ専用） Part005
Perl初心者スレ（マジレス回答）
106 ：
>>101
prologの優秀さは、その簡潔かつ可読性の高いコード。
無駄に仕様の大きな言語って、学習コストが高く、バグを誘発するだけ
少し前に途絶えた良い例がperlとcommon lisp
形式手法が集合論と述語論理を取り扱い、
その要件を満たす最小セットの記述がprologで済むのではないかと仮定したとき、
それに対するalloyやZがprologに対して如何なるアドバンテージがあるか
って書いたの
>他の技術を否定する正当性も与えない
技術を否定しない技術者って技術者に向いてないんじゃないの？
人権屋とか宗教家にでも転職したら？
>>102
目的が形式手法への適応で、そこに集合論と述語論理が含まれるので述語論理を扱います。
そもそも述語論理のABCを理解してない非技術者がalloyやZを使うのか疑問です
目的を忘れて仕様の膨れあがったツールがalloyやZではないのかといったのが、
>>100のレスにおける核となる主張であり、疑問です。
が、その達観した無益なレスを書いて気持ち良いですか？

ふらっと C#,C♯,C＃（初心者用） Part137
Go の宿題片付けます
Java 高速GUI SWT　3
Xamarin Part6
関数型言語一般
シェルスクリプト総合 その31
TypeScript part3
Regular Expression(正規表現) Part14
HTAをもっと流行らせる計画 Part2
【Delphi】Embarcaderoオッチャ その31【C++ﾋﾞﾙﾀﾞ】
--------------------
キンイロクワガタ亜科（パプキン,ムナコブetc）
逗子の10D使いのデジ鉄道写真　HA徹底指南
NMB48モバメスレ★76
負け組なら同窓会や成人式には逝かないよな？2
NTT西日本・フレッツ光総合★35回線目
青森・秋田・岩手のJR在来線にSuicaは必要ない！ ３枚目
【公募】イラスト仕事情報交換スレ20【登録】
【ソイレントグリーンが現実に…】猛暑の英国で今年最高気温の35.3度、食糧不足の懸念も
【WT】Warthunder part430
内定決まって暇な人のためのスレ
【モーニング娘。15期メンバー】 山?愛生ちゃん応援スレpart１０ 【趣味パンダさんグッズ集め】
女性向け同人の衰退について語るスレ
ぶらふまーは、お棺でどたばたー
●◆１文字＋後ろ２文字しりとり179◆●
【高齢独身】カラオケのオフ会について【小梨主婦】
【悲劇の人】お帰りなさい五味さん、ご苦労様！
【台風速報】現在、猛烈な勢力となっている台風19号と1ヶ月前に関東を直撃した台風15号の画像を並べてみました
辛坊治郎アナ　「山口メンバー」と呼称する理由を解説…視聴者の違和感に答える
9/22(日) 第65回 産経賞オールカマー(GⅡ) part 2
モーニングショー 緊急事態条項 [246620176]
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼