- 1 名前：ご冗談でしょう？名無しさん [2013/07/30(火) NY:AN:NY.AN ID:T12LBRhp]
- ダクト風で風力発電とか詐欺そのものだろ？
ベルヌーイの定理
全エネルギー=静圧エネルギー+風速エネルギー
ダクト消費電力
静圧
風速
風車発電電力
これらを測れば良いだけなのに実測データが1つも無い
こういう科学を悪用した悪徳商法を追放すべき
※前スレ
uni.2ch.net/test/read.cgi/sci/1373148018/
- 31 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:cFZn3+0i]
- 夏休みらしいし
初めましてさん用関連スレログ
肯定派の理屈は1スレ目前半でほぼ完成
その後、レス番639からきゅむ(このスレの1、非因果的ブラックボックス ◆nyDbrW8/YE )が暴れだして今に至る
『餃子の王将』ダクトから排出する風で風力発電
www.logsoku.com/r/sci/1348062455/
『餃子の王将』ダクトから排出する風で風力発電★2
www.logsoku.com/r/sci/1355887607/
『餃子の王将』ダクトから排出する風で風力発電★3
www.logsoku.com/r/sci/1357188854/
【エコ】餃子の王将 換気扇で回す風力発電を開発！
www.logsoku.com/r/rikei/1348370014/
永久機関かもしれないので検討をお願いします
uni.2ch.net/test/read.cgi/sci/1292341218/788-
なぜ悪質な永久機関ビジネスはなくならないのか？
www.logsoku.com/r/sci/1368539429/
なぜ悪質な永久機関ビジネスはなくならないのか？２
www.logsoku.com/r/sci/1371178648/
なぜ悪質な永久機関ビジネスはなくならないのか？３
www.logsoku.com/r/sci/1373148018/
- 32 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:cFZn3+0i]
- www.logsoku.com/id/20121217/sci/HntNgA7J/
★受動意識仮説★
49 ： ◆nyDbrW8/YE [] ： 2012/12/17(月) NY:AN:NY.AN ID:HntNgA7J
>>46
コヒーレンス長すら知らないバカ発見
『餃子の王将』ダクトから排出する風で風力発電
639 ： ご冗談でしょう？名無しさん[] ： 2012/12/17(月) NY:AN:NY.AN ID:HntNgA7J
無駄に吹き出しに使ってるエネルギーを回収？wwww
バカ発見wwwww
ファンの回転数落とせや
- 33 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:cFZn3+0i]
- ★受動意識仮説★
uni.2ch.net/test/read.cgi/sci/1355562389/
非因果的ブラックボックス 無職なんだけど 2
awabi.2ch.net/test/read.cgi/philo/1361644667/
【詐称男】非因果的ブラックボックス【唯一神】
awabi.2ch.net/test/read.cgi/philo/1361640308/
【AKB48】指原スレの基地外きゅむ対策室
anago.2ch.net/test/read.cgi/tubo/1341876676/
- 34 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:Tp3QtncP]
- >>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話
安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない
って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ
- 35 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:Tp3QtncP]
- クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？
人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？
東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ
あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？
詐欺師養成校なんか？ここ
ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ
- 36 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:Tp3QtncP]
- これも理科大の犯罪
blog.goo.ne.jp/lemon-stoism/e/871667d18ab3bf6fc2bd861d6eb3d9e2
- 37 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:aGUUilvn]
- 今日のクローズアップ現代見ろよ
理科大詐欺師が国庫から何千億盗んだかが取り上げられる
- 38 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:cFZn3+0i]
- 慶應義塾大学大学院
uni.2ch.net/test/read.cgi/rikei/1284462651/
- 39 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:hk9lagIx]
- >>38
クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？
人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？
東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ
あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？
詐欺師養成校なんか？ここ
ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ
- 40 名前：前スレ987 mailto:sage [2013/07/31(水) NY:AN:NY.AN ID:???]
- 前スレ>>993
>0点
>陰解法はCFL条件を破っているわけでは無い
>低学歴が書く事は不正確すぎて論外
0点
そもそもの発端は低脳の以下の書き込み
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない
これに対して、CFL条件に拘束されずに正しい結果を出す例を出した
どんな妄想をこれから喚こうが低脳の嘘はログに残るし、もう遅い
>低脳のレベルに合わせてもう少し簡単に書くと
>一次元熱伝導方程式を
>"CFL条件に対して無条件安定"な完全陰解法や
>Crank-Nicolson法で数値的に解くと
>正しい結果をもたらさないってお前は主張してるわけだけど
低脳でも検算できるように簡単な例を出したつもりだったんだけど
これでも無理だったかw
- 41 名前：前スレ987 mailto:sage [2013/07/31(水) NY:AN:NY.AN ID:???]
- >>5
温情で30点…でも落第
陰解法でもCFL条件を緩和するものについてだけ正しい主張
陽解法でもCFL条件を満たしていても安定だが不正確な解は出る
>>34
俺は>>16じゃない
>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
>
>安定条件は有意な解を得るための十分条件ではない
>必要条件に過ぎない
CFL条件に対して無条件安定な陰解法スキームの場合
Δtを大きく取りすぎると結果がなまることがあるが
それを低脳なりに解釈した書き込みと思われる
また低脳のレベルに合わせて簡単に書く
例えば、一周期の正弦関数を離散的に表そうとした場合
1点、2点程度では精度の良い数値的な微積分は不可能なので
ある程度刻み幅を小さく取る
だが、これはCFL条件とは何の関係もない
つまり、Δtを大きく取れる陰解法でも精度よく計算するためには
ある程度刻み幅を小さく取らなければならないわけだ
これに気をつければ、CFL条件を満たさなくても解は不正確にはならない
- 42 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>40
＞これに対して、CFL条件に拘束されずに正しい結果を出す例を出した
は？
出せてないんだがバカなのか？ん？
何度でも言うが安定条件と正確性は対応しない
- 43 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>41
＞1点、2点程度では精度の良い数値的な微積分は不可能なので
＞ある程度刻み幅を小さく取る
＞だが、これはCFL条件とは何の関係もない
低学歴過ぎて話にならねーな
数式で書けない時点で敗北確定
- 44 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- 無条件安定だからなんだ？
それは正確という意味をカケラほども持ち合わせてない
そんなレベルの頭だから理科大にしか受からず詐欺師になる
- 45 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>41
＞温情で30点…でも落第
＞陰解法でもCFL条件を緩和するものについてだけ正しい主張
＞陽解法でもCFL条件を満たしていても安定だが不正確な解は出る
0点
必要条件と十分条件の違いを全く理解出来てない
お前はそもそも正しさを考える能力を持ってない
- 46 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- 陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話
これになんら反論出来てない
何一つな
- 47 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話
安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない
って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ
- 48 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- 理科大低学歴に命ずる
レスの中に必ず必要条件と十分条件を使って反論しろ
ＷＷＷＷ
- 49 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:cFZn3+0i]
- >>8
文単位でも結構デタラメだったけどな
集合論に関してはデタラメしかいってない
- 50 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>49
お前がデタラメ
反論せずに逃げたよなぁ？ん？
どうした？
- 51 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？
劣ったゴミだからだろ？
- 52 名前：ご冗談でしょう？名無しさん [2013/07/31(水) NY:AN:NY.AN ID:ucY1m9Oj]
- >>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？
劣ったゴミだからだろ？
- 53 名前：ご冗談でしょう？名無しさん mailto:sage [2013/07/31(水) NY:AN:NY.AN ID:???]
- >>50
でたらめ過ぎてどこから反論すればいいのやら
てか、どれに反論して無いっけ？
- 54 名前：ご冗談でしょう？名無しさん mailto:sage [2013/07/31(水) NY:AN:NY.AN ID:???]
- だいたい何を根拠に理科大認定してんだろうな
- 55 名前：ご冗談でしょう？名無しさん mailto:sage [2013/07/31(水) NY:AN:NY.AN ID:???]
- >>54
>>52
家庭教師フリーター
みたいにやっとけば理科大もしくは高卒ニート認定受けるよ
- 56 名前：ご冗談でしょう？名無しさん mailto:sage [2013/07/31(水) NY:AN:NY.AN ID:???]
- >>53
あら、「反論して無い」とか変な漢字変換してた
低学歴認定されるな
- 57 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:fa+0BFpW]
- >>53
は？
何一つ反論出来てないが？ん？
型理論知らなかった時点で白痴
- 58 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:fa+0BFpW]
- >>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？
劣ったゴミだからだろ？
- 59 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/01(木) NY:AN:NY.AN ID:???]
- www.st.keio.ac.jp/event/2013_index.html
博士論文公聴会はいつかな
- 60 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:v8uET+oG]
- >>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？
劣ったゴミだからだろ？
- 61 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:v8uET+oG]
- >>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話
安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない
って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ
理科大低学歴に命ずる
レスの中に必ず必要条件と十分条件を使って反論しろ
ＷＷＷＷ
- 62 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:v8uET+oG]
- 無条件安定だからなんだ？
それは正確という意味をカケラほども持ち合わせてない
そんなレベルの頭だから理科大にしか受からず詐欺師になる
- 63 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:v8uET+oG]
- マジで必要性と十分性の区別がついてないらしいＷＷＷＷＷＷＷＷ
- 64 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/01(木) NY:AN:NY.AN ID:???]
- 科学の話よりも学歴の話に熱心なのがなんとも
- 65 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:v8uET+oG]
- >>64
反論出来ないで逃げるからだろ？ん？
- 66 名前：ご冗談でしょう？名無しさん [2013/08/01(木) NY:AN:NY.AN ID:v8uET+oG]
- >>64
>>63
ほれ
お前が科学を理解出来ずにスルーしてるだけなんだぜ？
- 67 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/01(木) NY:AN:NY.AN ID:???]
- 必要とか十分が科学とかｗ
算数の間違いだろ
- 68 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/01(木) NY:AN:NY.AN ID:???]
- >>66
awabi.2ch.net/test/read.cgi/philo/1357333985/515
- 69 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:wQxJM7ST]
- >>68
>>53
は？
何一つ反論出来てないが？ん？
型理論知らなかった時点で白痴
- 70 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:wQxJM7ST]
- >>67
つまりその算数すら出来なかったから低学歴なのか？
自己紹介乙ＷＷＷＷＷＷＷＷ
- 71 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:wQxJM7ST]
- 理科大とか駅弁なんつーのは
「私は脳に欠陥あります」
って宣伝してるようなもんだ
- 72 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- >>57
型理論は前原昭二「数学基礎論入門」にある程度しか知らない
そこの型理論ではベースの型として1階から始めて
n階の対象のみを要素として持つ集合をn+1階の対象としている
x=P(x)、ｘ≠P(x)、x⊆P(x)、x⊇P(x)は型が整合しないので論理式と認められない
ZFの無限公理でやってるようなx∪{x}も認められない
ZF集合論は型理論とは別の体系だし
君独自の型理論など知る訳がない
- 73 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- >>70
どうして他人はできないと思い込むんだ？
思い込み激しいってよく言われないか？
- 74 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb]
- >>72
＞ZF集合論は型理論とは別の体系だし
まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ
全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ
無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？
- 75 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb]
- >>73
大学名晒せないのがその確たる証拠
- 76 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb]
- >>72
＞ZFの無限公理でやってるようなx∪{x}も認められない
あーあ
お前中央線ダイブ確定だなWWWWWWWWWW
- 77 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- >>47
よぅ、低脳！
面白い論文見つけたから今日はこれで遊ぼうぜw
熱伝導方程式の数値シミュレーションと安定性
ttp://ultra2.phys.cst.nihon-u.ac.jp/hp/graduate/h13/thesis/miyuki.pdf
一次元熱伝導方程式は解析解も計算できるからシミュレーションのテストとしては丁度いい
この論文のCFL条件は
0<2*s<=1
実際、図3-2で陽解法でs=0.6(2*s=1.2>1)で計算した場合は
解が振動して破綻してる
まあ、これはいい
今度は陰解法で、図4からCFL条件から外れたs=0.8(2*s=1.6>1)やs=1.0(2*s=2.0>1)で計算した結果は
CFL条件を満たしたs=0.5(2*s=1)の結果や解析解と大差ないことがわかる
s=5.0では流石に誤差が大きくなっているが
これは、低脳が主張する
>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
や
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない
と矛盾するんだよな
というわけで、>>48
低脳の命題がそもそも偽なので必要条件や十分条件を使って反論できないんだわ
ごめんなw
- 78 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- >>62
>無条件安定だからなんだ？
>それは正確という意味をカケラほども持ち合わせてない
その通りだけど、そんなのシュミレーションやるやつには常識だから
今更どや顔で書かれてもなんだかなあって感じで反論にすらなって無いんだよなw
CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
そこで低脳にこっちから質問だ
1.今までどんなシミュレーションをやったことがあるか？
院生らしいのでw、研究室特定も嫌だろうから今研究で取り組んでる題材は除いていいぞw
2.
>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
CFL条件は時間と空間の刻み幅の関係しか決められない
精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない
ということで、低脳はどうやって最適な時空間の刻み幅を決めてるんだ？
じゃあ回答待ってるぞw
- 79 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- 調べてみたら慶応って偏差値70なくても入れるのな。
- 80 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- へー理科大と大差ないんじゃない？
- 81 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- そもそも上流側の排気ファンの風量落とすことと、
野外への排気から余剰エネルギーを回収することは全くの別問題。
たとえ排気ファンを過剰に回そうが、そんなの客の勝手。
そもそも余剰エネルギーはあるのだが、
仮に無いとしても、
過剰に回した排気ファンの排気を、
排気ファンの出力落として節電しようが、
排気から風車でエネルギーを回収しようが、
客の勝手。ユーザーの勝手だ。
そこに口出しするのは余計なお世話。
きゅむの論点ずらしに引っかかりすぎ。
- 82 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:CAnhR17+]
- >>77
大差無い？
はぁ？？？
数字で言えよ低学歴の負け犬ＷＷＷＷＷＷ
日大卒論なんて読む価値ないね
- 83 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:CAnhR17+]
- >>81
バカによる詐欺を晒してバカの収入源を絶つのも人の勝手だなぁ？ん？
- 84 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/02(金) NY:AN:NY.AN ID:???]
- >>78
＞>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
＞CFL条件は時間と空間の刻み幅の関係しか決められない
＞精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない
何を言ってるのか全く通じてないな
必要条件十分条件で言えてないので何も主張してない
- 85 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:CAnhR17+]
- >>62
>無条件安定だからなんだ？
>それは正確という意味をカケラほども持ち合わせてない
逃げるなよクズ
- 86 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:CAnhR17+]
- >>80
そんな頭だから理科大にすら受からないんだろＷＷＷＷＷＷ
- 87 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:CAnhR17+]
- 安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない
って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ
- 88 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:CAnhR17+]
- >>77
＞と矛盾するんだよな
0点
十分性が示されてない
- 89 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:BPEoauIF]
- ケッシュ財団とか言う少し怪しい団体です。
www.keshefoundation.org/
こいつらはどのような詐欺を犯しているのですか？
- 90 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- メコスジ伝
- 91 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:oKXwvdVD]
- >>89
ホメオパシーとか原子1個も入ってないくらい薄めた水で金取る詐欺だろ？
- 92 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- livedoor.blogimg.jp/gspcopy/imgs/b/7/b7fdeb88.jpg
童貞きゅむこれでオナニーしな
- 93 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- 偏差値70ない底辺きゅむがいくら吠えても無駄WWW
- 94 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- >>74
岩波数学辞典に執筆するクラスの専門家すら低学歴だからデタラメというやつに言っても聞かないと思うが
ZFと型についてはバカペディアはこんな感じだね
en.wikipedia.org/wiki/Russell%27s_paradox#Set-theoretic_responses
> ZFC is silent about types, although some argue that Zermelo's axioms tacitly presuppose a background type theory.
他に、講義資料で校正が足りない感じだが
researchmap.jp/mu1x9nhhd-21099/#_21099
公理論的集合論
お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
5ページ下側
> ラッセルのパラドックスを解決するため、いくつかの解決策が提案された。
> (1) 古典論理は保持するが、包括原理を制限する。
> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
> (2) 包括原理を保持するが、古典論理を制限する。
- 95 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- > 全ての公理的集合論は型理論を内包している
> なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
> それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ
全く理解してない証拠を晒してるのは君ね
>>76
俺は死ねとは言わないよ
もっと醜態晒して見せてくれ
- 96 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC]
- >>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ
- 97 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC]
- >>95
お前まだ理解出来てないのかＷＷＷＷＷＷＷ
これ、完璧に俺の言ってる事そのものだから
>>94
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
- 98 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC]
- >>93
お前偏差値50しかない鳥取大だろ？ん？
- 99 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs]
- こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない
- 100 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs]
- 635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒
- 101 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs]
- >>77
＞と矛盾するんだよな
0点
十分性が示されてない
- 102 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- ニートきゅむ
- 103 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs]
- 635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒
- 104 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/03(土) NY:AN:NY.AN ID:???]
- メコスジ伝
- 105 名前：ご冗談でしょう？名無しさん [2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs]
- メコスジーノ
- 106 名前：ご冗談でしょう？名無しさん [2013/08/04(日) NY:AN:NY.AN ID:gjZn9zWb]
- 自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが
ikura.2ch.net/test/read.cgi/joke/1375551098/
- 107 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/04(日) NY:AN:NY.AN ID:???]
- 【定期】きゅむまた発狂してんな
awabi.2ch.net/test/read.cgi/akb/1375560639/
- 108 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/04(日) NY:AN:NY.AN ID:???]
- >>96
君の「集合族」は独自定義だろうね
意味が分からん
>>97
相変わらず酷い言語感覚だね
- 109 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/04(日) NY:AN:NY.AN ID:???]
- >>76
researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
> 定義 2.13 型理論の言語 L^T は以下の要素を持つ
・・・
> * 任意の項τに対し、ある n が存在して項σが type n であり、項τが type n+1 を持つ時
> のみ論理式 σ∈τ は有意味な論理式となる。
x∪{x} = {y | y∈x or y∈{x}}
変数ｙのtypeは何になるかね？
- 110 名前：ご冗談でしょう？名無しさん [2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4]
- >>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
- 111 名前：ご冗談でしょう？名無しさん [2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4]
- >>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外
- 112 名前：ご冗談でしょう？名無しさん [2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4]
- 低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ
- 113 名前：ご冗談でしょう？名無しさん [2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4]
- 高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ
- 114 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/04(日) NY:AN:NY.AN ID:???]
- >>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？
- 115 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/04(日) NY:AN:NY.AN ID:???]
- > ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
後半部分は言い過ぎた
最後のセクションにちょっとだけだったな
- 116 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？
- 117 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>115
全くどうでもいい
何の主張にも反論にもなってない
- 118 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
- 119 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- 基礎の公理？
そんな未定義造語使ってる時点で高卒確定
- 120 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>114
はよ査読論文持って来いよ中卒
- 121 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>77
＞と矛盾するんだよな
0点
十分性が示されてない
逃げたのか？ん？
- 122 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???]
- メコスジ伝
- 123 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???]
- ニートきゅむ
- 124 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>123
高卒ニートのお前がか？ん？
- 125 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???]
- ID:DBZ0KgBH0
hissi.org/read.php/akb/20130805/REJaMEtnQkgw.html
どんだけ友達いないのこいつ
- 126 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>125
論破されて悔しかったのか？ん？
高卒ニートＷＷＷＷＷ
- 127 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
- 128 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???]
- >>119
www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86
ご自慢の岩波数学辞典には載ってないかね？
i.imgur.com/qdKFgJp.jpg
i.imgur.com/yvdl2Wk.jpg
- 129 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒
- 130 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1]
- >>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
- 131 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???]
- >>121
いやあ、悪い悪い
忙しくてな
申し訳ないんで
>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
や
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない
を主張してる資料を低脳が提示してくれたら低脳の勝ちでいいよ！
>>111 みたいな事は言わないので
どの大学/企業/研究所の誰が書いたのかはっきりしてれば
講義資料だろうと査読受けてない論文だろうと発表資料だろうと構わない
低脳の書いてる事が正しいなら資料もすぐ見つかるだろうし
待ってるぜ
|
 |
