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

135 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/25(木) 20:56:43.12 0

確率1より確かなものは無い

136 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/25(木) 21:03:29.49 0

>>130 >>133
応用されてないよ
誰が持ってんの？
売り出しても怪しげな役立たずと思われて終わり
推論規則を書き出しただけの話であって
クリプキとは全く関係ないと気づかないのか？

137 ：考える名無しさん：2013/04/26(金) 13:49:01.52 0

>>135
http://en.wikipedia.org/wiki/Almost_surely

138 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 15:46:00.97 0

>>137
確率1って書いてあんじゃん
バカなの？

139 ：考える名無しさん：2013/04/26(金) 16:03:33.65 0

測度0の除外集合って言われてもわからんのかこの人
以前、ルベーグ積分にお詳しそうな発言をしていたと思ったが、記憶違いか

140 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 16:57:30.03 0

>>139
その意味では確率1より小さいんだが？
バカなのか？

141 ：考える名無しさん：2013/04/26(金) 16:58:32.25 0

？
何が確率1より小さいんだ？

142 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 16:59:22.90 0

もとの発言はこれ
痴呆症？

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

143 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:01:01.28 0

>>141
お前の貼ったやつのタイトルだよ

144 ：考える名無しさん：2013/04/26(金) 17:01:23.13 0

だから　何が　確率1より小さいんだ？
はっきり言えよ

145 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:04:43.22 0

>>144
>>139

146 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:05:14.10 0

確率は1だがなw

147 ：考える名無しさん：2013/04/26(金) 17:06:47.93 0

何故頑なに明言するのを避けるのか、理解に苦しむ

148 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:08:04.13 0

>>147
お前がデタラメ晒して逃げてんだよ
なにが確率1より確からしいのか明記してみろ

149 ：考える名無しさん：2013/04/26(金) 17:11:19.67 0

＞確率1より確からしい
いい加減人違いはやめてほしいが、「必然性」のことか？

で、何が確率1より小さいの？　まさか「必然性」が？ｗ

150 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:24:23.95 0

>>149
俺にレスつけて来たのはお前な

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

逃げるつもりか？

151 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:25:12.89 0

これは確率1より大きいという反論のつもりなわけだ
恥ずかしいなぁ？

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

152 ：考える名無しさん：2013/04/26(金) 17:27:34.81 0

最初は煽るつもりでなく、本当に意味がわからないから訊いたんだけどね…

「必然性は確率1より小さい」
これがブラックボックスの主張ということでいいのかな
まだ明言を避けるのであれば、手前勝手にこう理解するがよろしいか？

153 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:29:33.84 0

>>152
>>151

確率1より大きいなんてあるわけ無いだろ？
低学歴すぎだよ

154 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:31:37.62 0

偶然と必然は条件付き確率であらわす
確率の大きさが1かどうかとか言ってる時点でマトモじゃない

155 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/26(金) 17:32:39.98 0

集合論測度論確率論情報理論
これらと結びつく事に失敗した様相論理には未来は無いよ

156 ：考える名無しさん：2013/04/26(金) 19:37:34.63 0

>>153

閉区間[0, 1]上の有理数全体のルベーグ測度は0である。
閉区間[0, 1]上に素数は存在しない。

この二つの違い、わかるか？

157 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 01:13:41.96 0

>>156
当たり前だろ？
最小の素数は2だ

158 ：考える名無しさん：2013/04/27(土) 01:31:27.17 0

>>157
閉区間[0, 1]上から（一様分布に従って）実数を選べば、確率1で無理数である。
閉区間[0, 1]上の実数は必ず非素数である。

この二つの違い、本当にわかるか？

159 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/27(土) 09:24:12.15 0

>>158
わかってないのはお前
それは両方確率1
いくらごまかしても確率1より確からしいものがあるなどと書いてしまった歴史は変えられない

俺にレスつけて来たのはお前な

135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
確率1より確かなものは無い

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

逃げるつもりか？

160 ：考える名無しさん：2013/04/27(土) 12:10:24.06 0

>>159
確率を持ち込むと測度0の除外集合がネグレクトされるってことだよ
無限集合や無限通りの可能性を扱うとき、いつでも確率という基準を持ち込むのが適切というわけではない
そのくらい読み取れっての

161 ：考える名無しさん：2013/04/27(土) 12:33:34.20 0

またブラバカは論破されたのか
無知の無知ですな

162 ：考える名無しさん：2013/04/27(土) 12:50:30.03 0

139 考える名無しさん [sage]
測度0の除外集合って言われてもわからんのかこの人
以前、ルベーグ積分にお詳しそうな発言をしていたと思ったが、記憶違いか

140 非因果的ブラックボックス ◆nyDbrW8/YE []
>>139
その意味では確率1より小さいんだが？
バカなのか？

156 考える名無しさん [sage]
>>153
閉区間[0, 1]上の有理数全体のルベーグ測度は0である。
閉区間[0, 1]上に素数は存在しない。
この二つの違い、わかるか？

157 非因果的ブラックボックス ◆nyDbrW8/YE []
>>156
当たり前だろ？
最小の素数は2だ

158 考える名無しさん [sage]
>>157
閉区間[0, 1]上から（一様分布に従って）実数を選べば、確率1で無理数である。
閉区間[0, 1]上の実数は必ず非素数である。
この二つの違い、本当にわかるか？

163 ：考える名無しさん：2013/04/27(土) 12:51:01.68 0

159 非因果的ブラックボックス ◆nyDbrW8/YE []
>>158
わかってないのはお前
それは両方確率1
いくらごまかしても確率1より確からしいものがあるなどと書いてしまった歴史は変えられない
俺にレスつけて来たのはお前な
　　135 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/25(木) 20:56:43.12 0
　　確率1より確かなものは無い

　　137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
　　>>135
　　http://en.wikipedia.org/wiki/Almost_surely
逃げるつもりか？

160 考える名無しさん [sage]
>>159
確率を持ち込むと測度0の除外集合がネグレクトされるってことだよ
無限集合や無限通りの可能性を扱うとき、いつでも確率という基準を持ち込むのが適切というわけではない
そのくらい読み取れっての

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

>>162
これは確率1より大きいという反論のつもりなわけだ
恥ずかしいなぁ？

137 名前:考える名無しさん [sage] :2013/04/26(金) 13:49:01.52 0
>>135
http://en.wikipedia.org/wiki/Almost_surely

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
ブランド名で入れたかっただけ
全く無関係な推論規則の羅列に過ぎない

194 ：考える名無しさん：2013/04/30(火) 06:44:29.55 0

なぜ様相論理の無能性の話がクリプキとの関係の有無の話になってるのかね？
ブランド名で入れたというなら、ブランドになるほど価値を認められてるのだね？

195 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/04/30(火) 10:45:55.24 0

>>194
認められても無いよ

196 ：考える名無しさん：2013/04/30(火) 20:15:16.46 0

価値の認められてないもので
科研費貰えたり産総研特別研究員になったり

http://kaken.nii.ac.jp/d/p/22500021.ja.html
形式手法のための論理の構築と、一階拡張が満たす性質に関する研究
研究課題番号：22500021

キーワード
(論理の)表現力
モデル
一階様相μ計算
命題様相μ計算
形式手法
論理

197 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/05/01(水) 06:49:32.35 0

>>196
文科省のブンケー技官はバカだからなぁ

198 ：考える名無しさん：2013/05/01(水) 09:48:31.49 0

そうだねIBM research labとか
An internal semantics for modal logics: preliminary report
http://researcher.watson.ibm.com/researcher/files/us-fagin/stoc85.pdf

199 ：考える名無しさん：2013/05/01(水) 09:55:16.03 0

あらmodal logicに勝手にs付けてたわ

200 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/05/01(水) 17:33:43.97 0

>>198
年見りゃわかる
とっくに失敗プロジェクトの烙印押されて排除されてる

201 ：考える名無しさん：2013/05/01(水) 19:58:49.48 0

A Tag-Augmented Temporal Logic Checker
http://www.research.ibm.com/haifa/projects/verification/RB_Homepage/ps/new/VLSI-seq.pdf

The Development of PSL/Sugar
http://www.doulos.com/knowhow/psl/development_pslsugar/
Sugar began as an internal development within IBM, where the CTL formalism (Computation Tree Logic)
was used to express properties for model checking.

202 ：考える名無しさん：2013/05/02(木) 15:16:43.89 0

http://embedded.eecs.berkeley.edu/eecsx44/fall2011/lectures/TemporalLogic.pdf

Current status of property specification in HW

Usage of formal property specification languages is
becoming widespread
- 68% in 2007 (John Cooley, DVCon’07)
- Properties often called “assertions”
Properties are used not just in formal verification, but also
in simulation
- “Assertion-Based Verification” (ABV)
Some property specification languages: PSL/Sugar,
System Verilog Assertions (SVA), OVA, OVL, etc.
All of these are just ways of writing variants of
Temporal Logic

203 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/05/03(金) 03:17:34.11 0

だから時相ってただの推論規則の羅列だから
全く無意味で一般性なし

204 ：考える名無しさん：2013/05/03(金) 06:21:59.89 0

ベイズ確率も規則の羅列じゃないかね

205 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/05/03(金) 10:02:02.40 0

全く違う
無教養過ぎ

206 ：考える名無しさん：2013/05/03(金) 10:55:07.31 0

痴呆私大ｗ

207 ：非因果的ブラックボックス ◆nyDbrW8/YE ：2013/05/03(金) 10:55:48.83 0

底辺大学悔しかった？
駅弁以下かＷＷＷ

208 ：考える名無しさん：2013/05/03(金) 17:03:10.79 0

無限回のコイン投げで表裏交互に出続ける確率は0だと思うが
表裏交互に出続けることは可能ではないのかね