TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
数学者が技術者にプログラムを書いてもらうスレ
[RPA]PC自動化技術総合スレ[効率化] Part.8
Visual Studio 2017 Part6
C言語なら俺に聞け 152
この先き主流となる言語
テストしにくいコードをテストする方法教えて下さい
米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！
人工知能を作ろうver0.0.7
☆★Java質問･相談スレッド182★★
ゲームプログラムなら俺に聞け33
180 ：
>>164は自分の主張が矛盾しているのに気付かない可哀想な子
>>160が言うように、Zは「述語論理と型付集合論」を知っていれば学習の壁は低い
つまり、もしも>>164の言葉「同じことをするんなら小さい方がよいのに決まっとる」が正しければ、
仕様の小さなZは優れていていることになるが、その一方でツールサポートの少ない「Zは要らん」と言う
では、ナゼそんな矛盾が生まれたのか？これは形式手法へ拒絶反応を起こす人によくあるパターンで、
形式手法を扱うのに前提となる素養(論理と集合)が欠けているからだろう
だから>>164にはZの仕様が(とほうもなく)巨大に見えて尻込みしてしまう
逆にAlloyはツールで実際に動かしながら試行錯誤できるから容易い存在に見える
実際にはAlloyの全容は巨大で難解なものだけど、>>164には表層の一部しか見えていない
おそらく、>>164はERM/OMT/UMLのような「仕様の視覚化手法(visualize method)」には
十分な経験と自信があるのだろう
ところが残念なことに、その延長で「仕様の形式化手法(formal method)」を
理解しようとして、その狭間(ギャップ)で「もがいている」のだと思われる

sizeof(char)が必ず1でも、省略すべきではない
ふらっと C#,C♯,C＃（初心者用） Part146
エスパーが質問に答えるスレ
1行ずつC++を書いてプログラムを作成するスレ
【魔法】リリカル☆Lisp【言語】
Swift part12
C++/TemplateMetaProgramming
ハッシュ使うのやめてクラスにしましょう
圧縮・復元 相談室
なあ、再帰関数好きな人いる？ パート3
--------------------
【新潟】小２女児殺害事件　近所の会社員の男（２３）を逮捕　遺体遺棄・損壊の疑い★22
【ラグビーＷ杯】＜ワールドラグビーの“謝罪＆罰金勧告”にスコットランド協会は徹底抗戦の構え＞「究極の選択を迫られている」
イカロスオンライン　パルナ鯖　晒しスレ　Part15 [無断転載禁止]©2ch.net
【NTTデータ】ビーブイエムコンダクター【ドナドナ専門】
少女出会い系バー常連･前川ロリ平「安倍支持は若者が多くて厄介。我々反安倍サヨクは老人ばかり｣★2
【TPS】Warframe part812【強化外骨格】
SFCで一番綺麗なゲームはどれ？
【ﾏﾀｰﾘ】家､ついて行ってイイですか？〜今日まで撮影！日本人はXmasイブ何してた:余計な御世話すぺさる
(・∀・)ｲｲ!お勧めのPCケース 209台目
ウィザードリィ６禁断の魔筆DS完全リメイク決定
ネトウヨは先天性の脳障害なんすかね？かわいそうな子供部屋おじさんだからと言って許されないよ [隔離病棟]
次のロンドン五輪では野球は必ず金メダルを取るから
ヤバイ。超ヤバイ。完全防水の靴
梅ヶ枝餅 ◆MOTI..op.. Part155
熊本競輪場、再建見直しへ
【MBS】松井愛のすこ〜し愛して 11【1179/90.6】
しみハム！しみハム！
【VG10】Spyderco スパイダルコ 20【ZDP189】
【地方都市とは】大都会☆札幌【違うのだよ】
【糞運営】ヴァルキリーコネクトpart246【無能P】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼