なぜ悪質な永久機関ビジネスはなくならないのか？４

>>49
お前がデタラメ
反論せずに逃げたよなぁ？ん？
どうした？

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

>>50
でたらめ過ぎてどこから反論すればいいのやら
てか、どれに反論して無いっけ？

だいたい何を根拠に理科大認定してんだろうな

>>54


>>52
家庭教師フリーター


みたいにやっとけば理科大もしくは高卒ニート認定受けるよ

>>53
あら、「反論して無い」とか変な漢字変換してた
低学歴認定されるな

>>53
は？
何一つ反論出来てないが？ん？
型理論知らなかった時点で白痴

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

http://www.st.keio.ac.jp/event/2013_index.html
博士論文公聴会はいつかな

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

>>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

理科大低学歴に命ずる
レスの中に必ず必要条件と十分条件を使って反論しろ


ＷＷＷＷ

無条件安定だからなんだ？
それは正確という意味をカケラほども持ち合わせてない
そんなレベルの頭だから理科大にしか受からず詐欺師になる

マジで必要性と十分性の区別がついてないらしいＷＷＷＷＷＷＷＷ

科学の話よりも学歴の話に熱心なのがなんとも

>>64
反論出来ないで逃げるからだろ？ん？

>>64
>>63

ほれ
お前が科学を理解出来ずにスルーしてるだけなんだぜ？

必要とか十分が科学とかｗ
算数の間違いだろ

>>66
http://awabi.2ch.net/test/read.cgi/philo/1357333985/515

>>68
>>53
は？
何一つ反論出来てないが？ん？
型理論知らなかった時点で白痴

>>67
つまりその算数すら出来なかったから低学歴なのか？
自己紹介乙ＷＷＷＷＷＷＷＷ

理科大とか駅弁なんつーのは
「私は脳に欠陥あります」
って宣伝してるようなもんだ

>>57
型理論は前原昭二「数学基礎論入門」にある程度しか知らない
そこの型理論ではベースの型として1階から始めて
n階の対象のみを要素として持つ集合をn+1階の対象としている
x=P(x)、ｘ≠P(x)、x⊆P(x)、x⊇P(x)は型が整合しないので論理式と認められない
ZFの無限公理でやってるようなx∪{x}も認められない

ZF集合論は型理論とは別の体系だし
君独自の型理論など知る訳がない

>>70
どうして他人はできないと思い込むんだ？
思い込み激しいってよく言われないか？

>>72
＞ZF集合論は型理論とは別の体系だし


まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ

全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ

無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？

>>73
大学名晒せないのがその確たる証拠

>>72
＞ZFの無限公理でやってるようなx∪{x}も認められない

あーあ
お前中央線ダイブ確定だなWWWWWWWWWW

>>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

>>62
>無条件安定だからなんだ？
>それは正確という意味をカケラほども持ち合わせてない

その通りだけど、そんなのシュミレーションやるやつには常識だから
今更どや顔で書かれてもなんだかなあって感じで反論にすらなって無いんだよなw
CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw

そこで低脳にこっちから質問だ
1.今までどんなシミュレーションをやったことがあるか？
院生らしいのでw、研究室特定も嫌だろうから今研究で取り組んでる題材は除いていいぞw

2.
>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
CFL条件は時間と空間の刻み幅の関係しか決められない
精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない
ということで、低脳はどうやって最適な時空間の刻み幅を決めてるんだ？

じゃあ回答待ってるぞw

調べてみたら慶応って偏差値70なくても入れるのな。

へー理科大と大差ないんじゃない？

そもそも上流側の排気ファンの風量落とすことと、
野外への排気から余剰エネルギーを回収することは全くの別問題。
たとえ排気ファンを過剰に回そうが、そんなの客の勝手。
そもそも余剰エネルギーはあるのだが、
仮に無いとしても、
過剰に回した排気ファンの排気を、
排気ファンの出力落として節電しようが、
排気から風車でエネルギーを回収しようが、
客の勝手。ユーザーの勝手だ。
そこに口出しするのは余計なお世話。
きゅむの論点ずらしに引っかかりすぎ。

>>77
大差無い？
はぁ？？？
数字で言えよ低学歴の負け犬ＷＷＷＷＷＷ

日大卒論なんて読む価値ないね

>>81
バカによる詐欺を晒してバカの収入源を絶つのも人の勝手だなぁ？ん？

>>78
＞>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
＞CFL条件は時間と空間の刻み幅の関係しか決められない
＞精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない


何を言ってるのか全く通じてないな
必要条件十分条件で言えてないので何も主張してない

>>62
>無条件安定だからなんだ？
>それは正確という意味をカケラほども持ち合わせてない

逃げるなよクズ

>>80
そんな頭だから理科大にすら受からないんだろＷＷＷＷＷＷ

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

>>77
＞と矛盾するんだよな

0点
十分性が示されてない

ケッシュ財団とか言う少し怪しい団体です。
http://www.keshefoundation.org/

こいつらはどのような詐欺を犯しているのですか？

メコスジ伝

>>89
ホメオパシーとか原子1個も入ってないくらい薄めた水で金取る詐欺だろ？

http://livedoor.blogimg.jp/gspcopy/imgs/b/7/b7fdeb88.jpg
童貞きゅむこれでオナニーしな

偏差値70ない底辺きゅむがいくら吠えても無駄WWW

>>74
岩波数学辞典に執筆するクラスの専門家すら低学歴だからデタラメというやつに言っても聞かないと思うが
ZFと型についてはバカペディアはこんな感じだね
http://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.


他に、講義資料で校正が足りない感じだが
http://researchmap.jp/mu1x9nhhd-21099/#_21099
公理論的集合論
お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
5ページ下側
> ラッセルのパラドックスを解決するため、いくつかの解決策が提案された。
> (1) 古典論理は保持するが、包括原理を制限する。
> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
> (2) 包括原理を保持するが、古典論理を制限する。

> 全ての公理的集合論は型理論を内包している
> なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
> それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ

全く理解してない証拠を晒してるのは君ね

>>76
俺は死ねとは言わないよ
もっと醜態晒して見せてくれ

>>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ

>>95
お前まだ理解出来てないのかＷＷＷＷＷＷＷ

これ、完璧に俺の言ってる事そのものだから

>>94
＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

>>93
お前偏差値50しかない鳥取大だろ？ん？

こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない

635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒

>>77
＞と矛盾するんだよな

0点
十分性が示されてない

ニートきゅむ

635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒

メコスジ伝

メコスジーノ

自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが
http://ikura.2ch.net/test/read.cgi/joke/1375551098/

【定期】きゅむまた発狂してんな
http://awabi.2ch.net/test/read.cgi/akb/1375560639/

>>96
君の「集合族」は独自定義だろうね
意味が分からん

>>97
相変わらず酷い言語感覚だね

>>76
http://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は何になるかね？

>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外

低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ

高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ

>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？

> ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

後半部分は言い過ぎた
最後のセクションにちょっとだけだったな

>>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？