TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
日下部陽一著 作ってわかるCプログラミング(第6版)
●●●●TCL/TKなら俺に聞け 4●●●●
C++相談室 part146
米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！
コーディングスタイルにこだわるスレ
クラス名・変数名に迷ったら書き込むスレ。Part28
【入門】Common Lisp その11【質問よろず】
リファクタリングをただのコード修正と思ってる人へ
Android SDK以外でのアプリ作成を全面禁止へ
【License】ライセンス総合【利用許諾】
- 180 ：
- >>164は自分の主張が矛盾しているのに気付かない可哀想な子
>>160が言うように、Zは「述語論理と型付集合論」を知っていれば学習の壁は低い
つまり、もしも>>164の言葉「同じことをするんなら小さい方がよいのに決まっとる」が正しければ、
仕様の小さなZは優れていていることになるが、その一方でツールサポートの少ない「Zは要らん」と言う
では、ナゼそんな矛盾が生まれたのか？これは形式手法へ拒絶反応を起こす人によくあるパターンで、
形式手法を扱うのに前提となる素養(論理と集合)が欠けているからだろう
だから>>164にはZの仕様が(とほうもなく)巨大に見えて尻込みしてしまう
逆にAlloyはツールで実際に動かしながら試行錯誤できるから容易い存在に見える
実際にはAlloyの全容は巨大で難解なものだけど、>>164には表層の一部しか見えていない
おそらく、>>164はERM/OMT/UMLのような「仕様の視覚化手法(visualize method)」には
十分な経験と自信があるのだろう
ところが残念なことに、その延長で「仕様の形式化手法(formal method)」を
理解しようとして、その狭間(ギャップ)で「もがいている」のだと思われる
機械語なら俺に質問しろ！その２
【安定版】ActiveBasicその12【4.24】
delphiで作った有名ソフトって何があるの？
【えっ】Perlに未来はあるのか？【終わり？】
MFC vs .NET
【GUI】wxWidgets(旧wxWindows) その5【サイザー】
ねねっちと一緒にプログラムを勉強するスレ第3話
Microsoft Silverlight その9
【漏れは】猫でもわかる質問スレ【猫以下です】
オブジェクト指向は愚かな考え。この世は計算式 ★3
--------------------
【ガルパン】ガールズ＆パンツァー戦車道大作戦part256
その他
【修復】プレハブ・汲取便所店主の逆襲【過走行】
【A応P】アニメ“勝手に”応援プロジェクト part66
転職板＠何でも質問所 ip表示無 Part.26
神様、僕は気づいてしまった part1
36歳女とでもエッチしたいと思える人っていますか？
【NCT127】YUTA part8【ユウタ】
【ハイクラス】高級コンデジ Part21【レンズ固定】
【MTG】どんな質問でも残さず答えるスレ part30
「チョレイ！」張本のスレ9
MLON部★263
【switch】大乱闘スマッシュブラザーズ晒しスレ 3【スマブラsp】
こんな萌絵ちゃんは嫌だ！
【速報】イタリア、感染者数86498人(+5959) 死者数9134人(+919) 致死率10.6％ ★2
【関東】キャッチボールするオフ【初心者歓迎】★３
【映画】『ハーレイ・クインの華麗なる覚醒 BIRDS OF PREY』が1位スタート！広瀬すず主演作が続く ／ 映画週末興行成績
【AKB48】茂木忍応援スレ☆23【もぎちゃん】
すのぼだ、烈しく知能が低い模様
台所のスポンジがやばい！ [327876567]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
