TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
人工知能はゼルダの伝説をクリアできないだろうな
Jenkins
次世代言語18 Go Rust Elixir Kotlin TypeScript
こんなプログラミング言語は嫌だ！
【O3D】HTML5用 3D API WebGL 【Canvas:3D】
HTAをもっと流行らせる計画 Part2
【GNU】スクリプト言語 Guile【scheme】
疑似乱数２
C言語なら俺に聞け 155
プログラミングのお題スレ Part14
- 255 ：
- >>246
>形式手法とはシステム記述に形式主義を導入して
>形式主義的な検証や開発をおこなうこと
>を指すと思うのだが...
ちょっと違う。「主義」をはずせばよい。
>>248
>そういう話なのか？
>hoge = 2.0 * pi * r
>という形式的定義があった時に
>円周率や半径の類推から
>piやrの形式的定義を辿らずに
>hogeを円周の長さだと思い込んではいけない
>という話なんじゃないのか？
いや、そもそもhogeやrを円周や半径と思ってはいけないと言ってるんだろ？
それに、いくら形式的定義を辿ってもhogeが円周だとはわからないよ
>>249
>形式主義を真っ向から否定しているようだが？
形式主義を否定してるんじゃなくて、形式手法＝形式主義ではないと言ってる
>>250
>仕様を書く人は誤解を生まないように気を付けた方が良いし
>仕様を読む人は思い込みをしないように気を付けた方が良い
随分ぬるいがｗまあそういうことだ。記号病達にはこれも伝わらないのじゃないかな
TensorFlow 0.12
Smalltalk総合 Squeak Pharo
Access VBA 質問スレ Part1
２ちゃんねる互換P2P匿名掲示板の実装を考える １
【PHP】下らねぇ質問はここに 9
TopCoder
家計簿ソフトを作る
将来的にPGになりたいんだが、やっぱCから？
UNIXプログラミング質問すれ Part10
Visual Studio Code / VSCode Part6
--------------------
★ヤサシケンジについて語るスレ9
コロナウイルスで株安へ 天皇陛下が譲位してから災害続きではないか？
【霧ヶ峰】三菱電機のエアコン No11【ムーブアイ】
【マギレコ】F9こと鋼兵さんはマギレコがお好き
弓や薙刀が似合いそうなキャラ
【加計】内閣府次長“加計学園の車”使用を野党追及
NFL総合 Vol.302
【雑談】白猫プロジェクト☆1373匹
テレパシーちゃんのスレ Part.3
【RCC】ごぜん様さま 平成ラヂオバラエティ【広島】
プライバシーマーク
最近「こどおじ」が実家暮らしの無職と勘違いしてる奴が多いんだが [426957453]
実は日本が世界一のこと
恋愛至上主義にウンザリしている孤男
【世界】 東レパンパシ2009年以降part5 【集結】
どうして海自にはメタボが多いのか？
NMB48★5565
ダンベル何キロ持てる？2kg
がきデカ〜山上たつひこ14
黒川朱里はワキガ
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼