13/04/29 12:57:35.49 0
字へたくそだなｗ
191:非因果的ブラックボックス ◆nyDbrW8/YE
13/04/29 13:03:58.14 0
>>187
それクリプキと何の関係も無いぞ
バカが釣られてるＷＷＷ
192:考える名無しさん
13/04/29 15:12:18.13 0
>>191
クリプキと関係有る無しが様相論理が無能かどうかにどう関わるのか話が見えんな
クリプキ自身が関わったかは知らんがクリプキの可能世界意味論がベースでしょ
193:非因果的ブラックボックス ◆nyDbrW8/YE
13/04/30 02:35:36.33 0
>>192
ブランド名で入れたかっただけ
全く無関係な推論規則の羅列に過ぎない
194:考える名無しさん
13/04/30 06:44:29.55 0
なぜ様相論理の無能性の話がクリプキとの関係の有無の話になってるのかね？
ブランド名で入れたというなら、ブランドになるほど価値を認められてるのだね？
195:非因果的ブラックボックス ◆nyDbrW8/YE
13/04/30 10:45:55.24 0
>>194
認められても無いよ
196:考える名無しさん
13/04/30 20:15:16.46 0
価値の認められてないもので
科研費貰えたり産総研特別研究員になったり
URLﾘﾝｸ(kaken.nii.ac.jp)
形式手法のための論理の構築と、一階拡張が満たす性質に関する研究
研究課題番号：22500021
キーワード
(論理の)表現力
モデル
一階様相μ計算
命題様相μ計算
形式手法
論理
197:非因果的ブラックボックス ◆nyDbrW8/YE
13/05/01 06:49:32.35 0
>>196
文科省のブンケー技官はバカだからなぁ
198:考える名無しさん
13/05/01 09:48:31.49 0
そうだねIBM research labとか
An internal semantics for modal logics: preliminary report
URLﾘﾝｸ(researcher.watson.ibm.com)
199:考える名無しさん
13/05/01 09:55:16.03 0
あらmodal logicに勝手にs付けてたわ
200:非因果的ブラックボックス ◆nyDbrW8/YE
13/05/01 17:33:43.97 0
>>198
年見りゃわかる
とっくに失敗プロジェクトの烙印押されて排除されてる
201:考える名無しさん
13/05/01 19:58:49.48 0
A Tag-Augmented Temporal Logic Checker
URLﾘﾝｸ(www.research.ibm.com)
The Development of PSL/Sugar
URLﾘﾝｸ(www.doulos.com)
Sugar began as an internal development within IBM, where the CTL formalism (Computation Tree Logic)
was used to express properties for model checking.
202:考える名無しさん
13/05/02 15:16:43.89 0
URLﾘﾝｸ(embedded.eecs.berkeley.edu)
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
13/05/03 03:17:34.11 0
だから時相ってただの推論規則の羅列だから
全く無意味で一般性なし
204:考える名無しさん
13/05/03 06:21:59.89 0
ベイズ確率も規則の羅列じゃないかね
205:非因果的ブラックボックス ◆nyDbrW8/YE
13/05/03 10:02:02.40 0
全く違う
無教養過ぎ
206:考える名無しさん
13/05/03 10:55:07.31 0
痴呆私大ｗ
207:非因果的ブラックボックス ◆nyDbrW8/YE
13/05/03 10:55:48.83 0
底辺大学悔しかった？
駅弁以下かＷＷＷ
208:考える名無しさん
13/05/03 17:03:10.79 0
無限回のコイン投げで表裏交互に出続ける確率は0だと思うが
表裏交互に出続けることは可能ではないのかね
209:考える名無しさん
13/05/06 17:06:45.09 0
>>1
初心者ですが、>>16 の戸田山さんの本は、面白かったですよ。
どんな教科書でも通常は省略して暗黙の了解としたり、
「本書では触れないが」として書かないようなことを、懇切丁寧にクドクド（笑）書いてあって、
隅々までよく理解ができた気がしました。
結論だけで終わるのではなく、その周辺の気になることなどもかなりたくさん
説明してあって、出来うる限りの「完全な理解」に近づけるよう、
一つのことを多方面から詳しく説明してある気がします。
ただの理系で初心者ですが、詳しくたくさん書いてある分、難しさはなく、
平易にすべてが理解できると思います。
なので、個人的にはオススメ。
で、その後、どこへ行けばよくわからないのが自分ですが、、、www
科学基礎論とかへ行きたいんだが、、、、
むーん。
210:考える名無しさん
13/05/07 21:13:12.71 0
ゲーデルと20世紀の 論理学 ロジック [全4巻］
URLﾘﾝｸ(www.utp.or.jp)
「すでに論理学について一通りの知識をお持ちの方にも，
初めてふれる方にも興味をもって読んでいただけるように記述を工夫している」
そうだが本当に初めてで読めるものだろうか