初学者向け論理学の学び方

165 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 15:29:13.88 0

>>160
こいつ頭弱いなぁ
測度の定義を変えればどうにでもなる

166 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 15:29:46.91 0

>>161
完全に死んだなお前

167 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 15:30:35.63 0

測度はただ一通りしか無いとでも思ってるんだろうか
そんなんだからブンケー底辺大しか受からない

168 ：考える名無しさん：2013/04/27(土) 15:39:21.65 0

>>165
どんな測度であれ、一度確率的な基準を入れてしまえば、空集合と零集合の区別が出来なくなる。
特定の性質（例えば素数であること）が測度0となるように測度を　具体的に　定義するためには、
素数の集合をあらかじめ　具体的に　知らなければならない（今の例であれば、空集合である）

169 ：168：2013/04/27(土) 15:41:22.14 0

後半は余計だったな

どんな測度であれ、一度確率的な基準を入れてしまえば、空集合と零集合の区別が出来なくなる。

だけでいいや

170 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 15:42:39.86 0

>>168
知りたいもの扱いたいものに応じて測度変えればいいだけ
バカすぎるブンケー底辺大

171 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 15:43:24.37 0

>>169
論理性0
どんな数字でも足し算したら元の数がわからなくなるから足し算禁止とか言ってるレベル
知能指数が低すぎる

172 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 15:44:49.59 0

確率以外の情報を消去しろなんてどこに書いてあるんだろうか？
痴呆症か？

173 ：考える名無しさん：2013/04/27(土) 15:57:22.26 0

>>172
確率以外の情報も要るってことだよ
確率では捉えきれない「必ずそうなる」という性質

174 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 16:08:40.25 0

>>173
少なくとも様相論理には全くそれを担う能力がない
条件付き確率で捉えきれない必然性は存在しない

175 ：考える名無しさん：2013/04/27(土) 16:17:00.42 0

確率では必然性を捉えられない、という話を延々としてきたのだが無駄だったか

176 ：考える名無しさん：2013/04/27(土) 16:20:46.28 0

まあ、君も舌足らずだからな

177 ：考える名無しさん：2013/04/27(土) 16:27:30.22 0

いや、これは明らかに、ブラを試すために情報を小出しにしてるんだろ

178 ：考える名無しさん：2013/04/27(土) 16:31:11.14 0

面倒な駆け引きしてるな
シッタカのカードゲームかよ

179 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 16:32:59.07 0

>>175
全く無関係だよ
測度で捉えられないものを様相論理で言えるケースは無い

180 ：考える名無しさん：2013/04/27(土) 16:34:16.63 0

>>162-163

181 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 16:36:06.19 0

>>180
バカ晒してんなぁ

182 ：考える名無しさん：2013/04/27(土) 20:28:45.89 0

劣等感の塊がこんな人を産むんだなぁ。
俺は凄い、しか語れない人は哀れだ。

183 ：考える名無しさん：2013/04/27(土) 20:43:31.05 0

137だけど、他の人が頑張ってくれたようで
で、いつものように自分勝手に勝利宣言と

184 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 23:30:11.15 0

>>183
>>179
敗北乙

185 ：考える名無しさん：2013/04/28(日) 01:09:34.90 0

>>184
はいはい。
あなたは地球一、聡明です。
あなたを超える人間なんてこの世にいません。
自信を持ってくださいね。
お近づきにはなりたくないけど＾＾

186 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/28(日) 08:29:19.03 0

様相論理は無能

187 ：考える名無しさん：2013/04/28(日) 21:20:05.41 0

無能なtemporal logicを使ったモデル検査器

NuSMV
http://nusmv.fbk.eu/
Spin
http://spinroot.com/spin/whatispin.html
UPPAAL
http://www.uppaal.com/

無能なtemporal logicを使ったモデル検査の事例

日立ソリューションズ - 入退室管理システム
http://formal.mri.co.jp/db/region/domestic/---2.html
日立ソリューションズ - Blu-Rayディスク
http://formal.mri.co.jp/db/region/domestic/---blu-ray.html
JAXA - 人工衛星の姿勢制御ソフトウェア
http://formal.mri.co.jp/db/region/domestic/jaxa--.html

モデル検査支援ツールとZIPCとの連携による設計検証の導入事例
http://www.zipc.com/instance/files/Vol13-07.pdf

産総研：システム検証研究センター
Web版システム検証の事例報告集
http://ocvs.cfv.jp/jireihoukoku/index.html

188 ：考える名無しさん：2013/04/29(月) 11:59:51.38 0

>>170
コインを投げて表が出る確率をpとする
コイン投げを無限回行ったとき、初めの１回だけ表が出て、以後全て裏である確率が0でない様にpをとれるか

189 ：考える名無しさん：2013/04/29(月) 12:56:21.04 0

190 ：考える名無しさん：2013/04/29(月) 12:57:35.49 0

字へたくそだなｗ

191 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/29(月) 13:03:58.14 0

>>187
それクリプキと何の関係も無いぞ
バカが釣られてるＷＷＷ

192 ：考える名無しさん：2013/04/29(月) 15:12:18.13 0

>>191
クリプキと関係有る無しが様相論理が無能かどうかにどう関わるのか話が見えんな

クリプキ自身が関わったかは知らんがクリプキの可能世界意味論がベースでしょ

193 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/30(火) 02:35:36.33 0

>>192
ブランド名で入れたかっただけ
全く無関係な推論規則の羅列に過ぎない