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

1 名前：ご冗談でしょう？名無しさん [2013/07/30(火) NY:AN:NY.AN ID:T12LBRhp] ダクト風で風力発電とか詐欺そのものだろ？ ベルヌーイの定理 全エネルギー=静圧エネルギー+風速エネルギー ダクト消費電力 静圧 風速 風車発電電力 これらを測れば良いだけなのに実測データが1つも無い こういう科学を悪用した悪徳商法を追放すべき ※前スレ uni.2ch.net/test/read.cgi/sci/1373148018/ 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 みたいな事は言わないので どの大学/企業/研究所の誰が書いたのかはっきりしてれば 講義資料だろうと査読受けてない論文だろうと発表資料だろうと構わない 低脳の書いてる事が正しいなら資料もすぐ見つかるだろうし 待ってるぜ 132 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???] ひとつ書き忘れた 資料を提示できない場合は 低脳の負け シンプルでいいだろ 133 名前：131=132 [2013/08/05(月) NY:AN:NY.AN ID:O4uncyk2] 忙しくて書き漏らしが多過ぎるなw 期限を決めておこうか 2013/08/11（日）の23時59分までに低脳が 資料を出せない場合は低脳の負けってことでよろしく 楽しみだわw 134 名前： 忍法帖【Lv=8,xxxP】(5+0：8) mailto:age [2013/08/05(月) NY:AN:NY.AN ID:???] 当然永久機関を歓迎しましょう 一応君達に永久機関を全否定出来ますか？ 無論御前達に永久機関を論破出来ますか？ 多分貴方達に永久機関の可能性を無視出来ますか？ 135 名前：きゅむ代弁 mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???] >>133 そんなもの必要ない とっくに論破済み(ｷﾘｯ とレスが来るでしょう ええ 136 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>131 >>77 ＞と矛盾するんだよな 0点 十分性が示されてない 逃げたのか？ん？ 137 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>133 そもそも十分性が示されてない 十分性って意味わかるか？ん？ 138 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>132 十分性を示せて無い時点でお前の負け すでに負けてるんだよ 139 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>131 はよ査読論文もってこいゴミ 140 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>128 >>108 は？ 完全にお前論破されてるぞ？ ＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） ＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論） これは数学的に同値 だからすべての公理的集合論は型理論を内包してる 141 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] 完全にきゅむの負けw 142 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>141 悔しかった？ 十分性を示せて無い時点でお前の負け 143 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>139 こんなレスしちゃってw 自ら自分が負けましたっつ言ってるようなものwww 144 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>142 お前が査読論文持ってきたこと一度もないよなwwwwwwwwww 145 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] 英語読めないもんなあwwwwwwwwww 146 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>143 はよ査読論文もってこいゴミ 147 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>145 はぁ？ 読んでるが何か？ 148 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] きゅむは英語も読めないくせに「査読論文」とか言ってるんすよwwwwwwww 違うんならなんか出してみろや 149 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>144 いくらでもあるが？ バカなのか？ん？ 150 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>148 西成の高卒ナマポニートＷＷＷＷ 840 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/09(火) NY:AN:NY.AN 0 ほれ 180 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/19(火) NY:AN:NY.AN 0 >>178 原典読めよ高卒 consc.net/papers/2dargument.pdf 151 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>149 >>149 え？証拠は？ 152 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>150 証拠まだ？ 153 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>151 833 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/27(水) NY:AN:NY.AN 0 sws1.bu.edu/osan/Lin_Osan_Tsien_Trends_Neurosciences_2006.pdf 海馬のコーディング解読 154 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] きゅむの読んだ論文ひとつでいいからあげてみてよ？ 155 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>152 128 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/11(月) NY:AN:NY.AN 0 シラードのエンジンは実際に作れる www.ieice.org/~netsci/wp-content/uploads/2012/01/NetSci201201_Sagawa.pdf 156 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>154 676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 >>470 本当に頭が悪いのなwwwww www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf これはマカク猿に画像の部分変化を与えて 視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ 報告なんて一切不要なんだよ 科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている だからどの指標を測ればその事が実証されるのかわかってる 認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ そして視線移動の時刻と、脳活動の電極測定の時刻が比較される この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ 157 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>154 678 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf これはマカク猿に画像の部分変化を与えて 視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ これはデネットの言ってる思考実験と全く同じもの>>576 三択以前にクオリアという幼稚な発想が全く成立しないことが実験から明らか 認知プロセスのどの局面でも統一された感覚などと言うものは無いのだ それぞれのモジュールがトップダウンとボトムアップで競合して処理が行われる その処理結果は一つに定まるが、起こってることを一つに記述することは原理的に不可能なのだ たがそのままではエピソード記憶が不可能になるので、統一された一つの感覚があったことに捏造して記憶野に格納する クオリアなどというものはどこにも無いのだ 158 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>154 725 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 eugen.leitl.org/striz/striz.org/docs/tegmark-qd-brain.pdf 微小管のコヒーレンス時間は100fs 理論的に量子脳理論はあり得ないとフルボッコにされてんな ハメロフはこれに反論せずに逃げてる ツーソン会議っつーのはこういう追放されてるトンデモの逃げ場なんだよ 159 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>155 おまえさあ 論文名書いただけで証拠になると思ってんの？ 真性バカ？ 160 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>159 726 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 >>725 これに対してハメロフは引用はしてるのに一切反論してない www.quantumconsciousness.org/BioSystemsElsevier.htm 逃げてるゴミ屑 こんなのは科学者ではないよ 161 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>159 は？ 論文名にそんなもん一切無いが頭弱いのか？ん？ 162 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>161 またごまかしかw 163 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>162 9 名前:非因果的ブラックボックス ◆nyDbrW8/YE [sage] :2013/03/19(火) NY:AN:NY.AN 0 チャーマーズはクソだな アドホックな仮説で逃げまくってる 自分の発言が突っ込まれるたびに改訂して In this version, と何度も逃げてる 挙げ句の果てには Still, it may be that the gap between 1-possibility and 2-possibility could be closed. と、証拠の無い推測に過ぎないことを明記してしまっている こいつの目的がわかった こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ consc.net/papers/2dargument.pdf これな 164 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>158 わかったよ じゃあこの論文のサマリー書いてみろ 英語でな 165 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>164 995 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/19(火) NY:AN:NY.AN 0 >>948 >>945 またレスせずに逃亡か？ >>843 チャーマーズはクソだな アドホックな仮説で逃げまくってる 自分の発言が突っ込まれるたびに改訂して In this version, と何度も逃げてる 挙げ句の果てには Still, it may be that the gap between 1-possibility and 2-possibility could be closed. と、証拠の無い推測に過ぎないことを明記してしまっている こいつの目的がわかった こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ consc.net/papers/2dargument.pdf これな 166 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>164 白痴か？ アブスト読め高卒 167 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] どしたー？ アルファベット読めなくて困ったか？ん？ 168 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>166 はあ？ おまえが何にも理解してないことがよくわかったw 169 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] はよ査読論文もってこいゴミ 170 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>168 お前の負け 144 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA >>142 お前が査読論文持ってきたこと一度もないよなwwwwwwwwww 171 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>165 白痴そのもの 172 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>171 >>168 お前の負け 144 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA >>142 お前が査読論文持ってきたこと一度もないよなwwwwwwwwww 173 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>170 はあ？ あたま悪いやつの思考は理解できん 174 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] 査読論文がなんなのかすら知らんのだろ 175 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>173 >>171 >>168 お前の負け 持って来た事は沢山ある事が証明された 144 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA >>142 お前が査読論文持ってきたこと一度もないよなwwwwwwwwww 176 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>165 おいおいおいおいwwwwwww おれはバカですって全世界にwwwwwwww 177 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>176 consc.net/papers/2dargument.pdf はよ読み終われよ 要約出来ないのか？ん？ 178 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>175 はあ？ 意味不明なトンでも解釈持ってきて証明とか噴飯ものwwwwwww 179 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] きゅむがアホを全世界に曝してるw 180 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] あ、日本語圏だけか よかったな英語書けなくてwwwwwwwwww 181 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>178 日本語になってない 何が解釈なの？ん？ 182 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] きゅむの無知が証明された 183 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>180 >>176 consc.net/papers/2dargument.pdf はよ読み終われよ 要約出来ないのか？ん？ 184 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>182 大学行けよＷＷＷＷ 高卒ニートＷＷＷＷＷ 185 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>180 >>176 consc.net/papers/2dargument.pdf はよ読み終われよ 要約出来ないのか？ん？ 186 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>182 >>154 676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 >>470 本当に頭が悪いのなwwwww www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf これはマカク猿に画像の部分変化を与えて 視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ 報告なんて一切不要なんだよ 科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている だからどの指標を測ればその事が実証されるのかわかってる 認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ そして視線移動の時刻と、脳活動の電極測定の時刻が比較される この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ 187 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>183 でた！！ 形勢不利になった時の得意のコピペ連投w 188 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] コピペすれば勝ったと思ってるから笑えるwwwwwwwwwww 189 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>187 はよ反論しろよ >>154 676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 >>470 本当に頭が悪いのなwwwww www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf これはマカク猿に画像の部分変化を与えて 視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ 報告なんて一切不要なんだよ 科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている だからどの指標を測ればその事が実証されるのかわかってる 認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ そして視線移動の時刻と、脳活動の電極測定の時刻が比較される この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ 190 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>188 無視しても勝ったことにはならんよ？ 永遠に逃げられない 191 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>186 英語で解説して できるよね？ 博士の学生なんだからwwwwwwwwww 192 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>190 >>186 193 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>191 は？ お前英語読めないから意味ないじゃん 194 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>192 で？ 敗北した？ 195 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>193 wwwwwwwww ごまかすなよwwwwwwwwww 196 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>195 は？ なんで俺のレスに2つアンカーつけてんの？ 狂った？ん？ 197 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] 英語書けない博士なんているの？ 198 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] とうとう狂ったかＷＷＷＷＷＷ 192 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA >>190 >>186 199 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>197 英語読めるんだろ？原典読めよ 200 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] とうとう狂ったかＷＷＷＷＷＷ 192 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA >>190 >>186 201 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???] >>197 きゅむは博士じゃないから読めなくて当然か 202 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>201 敗北したから自演？ とうとう狂ったかＷＷＷＷＷＷ 192 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA >>190 >>186 203 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] >>202 はあ？ 英語書けない博士とかあり得ないんですよw 昔どや顔できゅむが書いてた英語のひどいことひどいことw 中学生でももっとましな英語書くわwwww 204 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>203 >>551 反論しろよ？ はよはよはようＷＷＷＷＷ 676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 >>470 本当に頭が悪いのなwwwww www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf これはマカク猿に画像の部分変化を与えて 視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ 報告なんて一切不要なんだよ 科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている だからどの指標を測ればその事が実証されるのかわかってる 認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ そして視線移動の時刻と、脳活動の電極測定の時刻が比較される この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ 205 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA] 英語書けない博士wwwwwwwww 206 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky] >>205 英語読めなくて反論不能か？ 207 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:n6NkomII] >>206 可愛いやつwwwwwwwwwww 指スレでバカにされてこっちきやがったwwwwwwwwwww 208 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:n6NkomII] いやーきゅむってホント馬鹿ですねw 209 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:KvNlk8Z2] >>207 はぁ？ お前が後だよバーカ 時間見ろノロマＷＷＷＷ 210 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:KvNlk8Z2] >>207 高卒は全てがトロい 206 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky >>205 英語読めなくて反論不能か？ 603 名前:名無しさん＠実況は禁止です :2013/08/05(月) NY:AN:NY.AN ID:wR33wASY0 きゅむ永久機関スレでバカにされてんぞ 急げwwwww 211 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:n6NkomII] 英語まだあ？ 212 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:KvNlk8Z2] >>211 > 反論しろよ？ お前が英語読めることを証明出来なきゃ書く意味が無い 676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0 >>470 本当に頭が悪いのなwwwww www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf これはマカク猿に画像の部分変化を与えて 視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ 報告なんて一切不要なんだよ 科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている だからどの指標を測ればその事が実証されるのかわかってる 認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ そして視線移動の時刻と、脳活動の電極測定の時刻が比較される この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ 213 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:n6NkomII] 英語で解説どうぞ 214 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:n6NkomII] まさか英語できないの？ 215 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:KvNlk8Z2] >>214 お前が英語出来ないの？ 216 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:n6NkomII] え？英語書けない博士？ いくらレベル低い院でもそれはちょっと… 217 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:KvNlk8Z2] >>216 英語読めないから反論不能か？ 218 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1] >>216 英語読めないから反論不能か？ 219 名前：ご冗談でしょう？名無しさん [2013/08/05(月) NY:AN:NY.AN ID:PYZIVzay] きゅむスレでバカにされてんぞw 220 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/05(月) NY:AN:NY.AN ID:???] きゅむ帰宅した模様 221 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] 最上級生27歳です(ｷﾘｯ 222 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:6de8B1/1] >>216 英語読めないから反論不能か？ 223 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:KtcsqzxF] きゅむスレワロタ 224 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] きゅむTOEFLいくつ？ 225 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>224 そんなもん受けるわけ無いだろ？ 負け犬か？お前 226 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:gPiR8vud] >>224 WWWWWWWWWWWWWW 227 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>226 >>225 そんなもん受ける学者は0 228 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] 英語できないきゅむ 229 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>228 TOEIC晒せや 写真で 230 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] TOEICＷＷＷＷＷＷ TOEFLだろ普通ＷＷＷＷ 231 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>230 はぁ？ どこが？ お前やっぱ中卒だろ？ はよ晒せや 232 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] TOEICとかまじかよＷＷＷＷ ただの家庭教師フリーターじゃん 233 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>232 はよ晒せや 234 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] アメリカの大学院行きたかったらTOEFLでしょきゅむちゃん 235 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>234 はぁ？ 言い訳してねーではよ貼れよ高卒 236 名前：靖国参拝、皇族、国旗国歌、神社神道を異常に嫌うカルト教団 [2013/08/06(火) NY:AN:NY.AN ID:95Psid2J] ★マインドコントロールの手法★ ・沢山の人が偏った意見を一貫して支持する 　偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法 ・不利な質問をさせなくしたり、不利な質問には答えない、スルーする 　誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法 ↑マスコミや、カルトのネット工作員がやっていること TVなどが、偏った思想や考え方に染まっているフリや常識が通じないフリをする人間をよく出演させるのは、 カルトよりキチガイに見える人たちを作ることで批判の矛先をカルトから逸らすことが目的。 リアルでもネットでも、偽装左翼は自分たちの主張に理がないことをわかっているのでまともに議論をしようとしないのが特徴。 237 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] きゅむっていろいろボロがでるから面白いｗ 238 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] 貼ってくださいお願いしますだろ？ だから家庭教師フリーターなんだよ 239 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] 21 エリート街道さん sage 2013/08/06(火) NY:AN:NY.AN ID:Z4iRNPo9 2013/08/05(月) 3回線かな？ 基地外が2ちゃんやるとこうなるよという典型だな これが自称慶應大学院生の指原ヲタの一日の過ごし方だw ID:DBZ0KgBH0 hissi.org/read.php/akb/20130805/REJaMEtnQkgw.html ID:vVjcQnW70 hissi.org/read.php/akb/20130805/dlZqY1FuVzcw.html ID:Hm5gCyeM0 hissi.org/read.php/akb/20130805/SG01Z0N5ZU0w.html 240 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] >>129 へえ、正則性公理で載ってるか 基礎の公理の名は無いのか 大学で集合論教えてる奴にも中卒がいっぱいだな www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86 こっちは整礎性公理と呼んでたのね researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105 >>130 ∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反 これを数学的に同値と言うのかね？ 君の「数学的に同値」とか「内包」とはどういう意味かね？ 241 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] ニートきゅむ敗北 242 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>238 貼れずに逃げたか？ん？ 243 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>240 ZFじゃないだろ？ 「ZFから正則性公理を除いたもの」だろ？ 知能指数低すぎＷＷＷＷＷＷＷ 244 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>240 やっぱお前低学歴だなWWWWWWW 基礎の公理とか書いてるのはまともな大学じゃない 245 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk] >>240 ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反 0点 ZF集合論では集合とみなされないので定理にならない 本当に本当に白痴だなお前ＷＷＷＷＷＷＷ 246 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] >>243 本当に数学が出来ないね 基礎の公理FAを除いて反基礎の公理AFAを入れるとx={x}となる集合xの存在が言える ZFC-FA+AFAのモデルがZFC内に作れる (これに載ってるそうだ　P. Aczel. Non-well-founded Sets. CSLI lecture notes Number 14. CSLI Publications,Stanford University, 1988.) したがって、ZFCが無矛盾である仮定の下で ZF-FA+(∃x(x∈x))は矛盾しない つまり、ZF-FAから∀x(not x∈x)は証明出来ない 247 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] >>246 だから除いたものはZFじゃねーっの 知能指数50無いだろ？ 248 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] >>246 ＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない だからどうした？ なんか意味あるか？それ 反論できなくなってごまかしてどうする？ん？ 249 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] >>240 ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反 0点 ZF集合論では集合とみなされないので定理にならない 本当に本当に白痴だなお前ＷＷＷＷＷＷＷ 250 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] >>246 ＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない そりゃそんなことする必要全くないからなバカなのか？ん？ 251 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] >>240 ZFじゃないだろ？ 「ZFから正則性公理を除いたもの」だろ？ 知能指数低すぎＷＷＷＷＷＷＷ 252 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] >>128 >>108 は？ 完全にお前論破されてるぞ？ ＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） ＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論） これは数学的に同値 だからすべての公理的集合論は型理論を内包してる 253 名前：ご冗談でしょう？名無しさん [2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj] 逃げるなよ >>240 ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反 0点 ZF集合論では集合とみなされないので定理にならない 本当に本当に白痴だなお前ＷＷＷＷＷＷＷ 254 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] なんかだんだんきゅむが二人いるように見えてきたｗ 255 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???] 証明も参考文献も挙げずにコピペで論破連呼してるだけの白痴未満と同じに見られてるのか >>247>>248 > ZFじゃないだろ？ > 「ZFから正則性公理を除いたもの」だろ？ とか言われたから ∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが ∀x(not x∈x)のZFでの証明 x∈xとなるxが存在したとすると 対の公理からy={x}が存在する 基礎の公理から、あるu∈yが存在してu∩yが空 ところがu∈yからu=xでありx∈uかつx∈yであるから矛盾 したがって任意のxについてnot x∈x >>253 > ZF集合論では集合とみなされないので定理にならない 意味が分からん 君の脳内ZF集合論など知らんよ そんな議論してる文献があるなら見せてくれ 256 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが だから？ お前が論破されてる件に全く関係ないんだが？ん？ 257 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753] >>255 ＞意味が分からん ＞君の脳内ZF集合論など知らんよ ＞そんな議論してる文献があるなら見せてくれ >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） 258 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない 259 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753] そんなんで誤魔化せるとでも思ったのか？ん？ 専門分野で教養に負けるとかＷＷＷＷＷＷ 260 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない 261 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/07(水) NY:AN:NY.AN ID:???] >>139 低脳みたいな厳しいことは言わないので 条件>>131-133 あと、2chで議論する上での常識として ・文献や資料はWeb上にあり制限なく全て読めること ・言語は日本語か英語 が満たされてればいいかな >>135 一人でほざいてるだけじゃ狂人の戯言と一緒だからね あれだけ、自説に自信を持ってるのなら文献や資料の提示 なんて簡単でしょ？ 一週間近く時間もあるし低脳は毎日書き込めるほど暇みたいだし なので、粛々とカウントダウンするのみ 低脳敗北まで残り4日 262 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS] >>261 >>131 はよ査読論文もってこいゴミ 敗北確定だよ 263 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない 264 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS] まさか査読論文無しとか？ＷＷＷＷＷＷ 265 名前：261 mailto:sage [2013/08/07(水) NY:AN:NY.AN ID:???] >>262 >>264 あと4日あるから頑張ってな!w 266 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3] >>265 お前とっくに敗北確定だよ 次のレスで査読論文貼れなかったからな 267 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3] >>131 >>77 ＞と矛盾するんだよな 0点 十分性が示されてない 逃げたのか？ん？ はよ査読論文もってこいゴミ 268 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3] CFL条件を満たさない全ての系で 精度が全く落ちない事を証明出来ない限り 十分性が示されてないので主張とは認められない 269 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/07(水) NY:AN:NY.AN ID:???] キモヲタきゅむ 270 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3] >>269 人生の負け犬=低学歴だなWWWWWWW 271 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:zi/YmfOA] >>268 ０点 根本的にわかってないなあんたw 272 名前：ご冗談でしょう？名無しさん [2013/08/07(水) NY:AN:NY.AN ID:topIKP2x] >>271 根本的にわかってないのはお前だよ 十分性を理解してない 273 名前：ご冗談でしょう？名無しさん [2013/08/08(木) NY:AN:NY.AN ID:r/izt0mj] >>255 ＞意味が分からん ＞君の脳内ZF集合論など知らんよ ＞そんな議論してる文献があるなら見せてくれ >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） >>252 ＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） 274 名前：ご冗談でしょう？名無しさん [2013/08/08(木) NY:AN:NY.AN ID:r/izt0mj] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない 275 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/08(木) NY:AN:NY.AN ID:???] メコスジ伝 276 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/08(木) NY:AN:NY.AN ID:???] 知らんがな 277 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/09(金) NY:AN:NY.AN ID:???] プロ市民（国籍不問w）ガチ推しの飛翔体キムチ太郎当選で未来はピカドン明るいね www.hoshusokuhou.com/archives/29932855.html 278 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/09(金) NY:AN:NY.AN ID:???] >>274 ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる x∈xである集合xが存在するかどうかとは関係ない そもそも公理を減らしたら証明可能な論理式が減るだけ 新たに矛盾が導かれるわけが無い 279 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/09(金) NY:AN:NY.AN ID:???] >>278 ＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる 死亡確定だよお前ＷＷＷＷＷＷＷＷ ラッセル集合は{x|x∈x} {x| not x∈x}はその否定 つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ ＞x∈xである集合xが存在するかどうかとは関係ない 0点 280 名前：ご冗談でしょう？名無しさん [2013/08/09(金) NY:AN:NY.AN ID:Kog3ARrO] >>278 ＞そもそも公理を減らしたら証明可能な論理式が減るだけ ＞新たに矛盾が導かれるわけが無い 0点 こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない 頭弱いからムリなのかＷＷＷＷＷＷ 281 名前：ご冗談でしょう？名無しさん mailto:age [2013/08/09(金) NY:AN:NY.AN ID:???] >>271 >>268の書き込みがかなり痛いんだけど それ自体わかってない所を見ると シミュレーションの経験と知識はほぼ皆無でしょう、これは 想定の範囲内だったけど 条件>>131-133、>>261 低脳敗北まであと2日 282 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/09(金) NY:AN:NY.AN ID:???] >>279 死亡確定ですか en.wikipedia.org/wiki/Russell's_paradox mathworld.wolfram.com/RussellsAntinomy.html plato.stanford.edu/entries/russell-paradox/ www.scientificamerican.com/article.cfm?id=what-is-russells-paradox >>280 今更言うまでもない気もするが 論理を全く理解していないね 283 名前：ご冗談でしょう？名無しさん [2013/08/09(金) NY:AN:NY.AN ID:Oq5XhWbW] ボクのミニ四駆は永久機関で動いているよ 284 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>282 お前が死亡確定なんだよ アドレス貼ってなんか意味あるのか？ん？ 285 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>282 フレーゲの集合論知らないの？バカなの？ん？ 286 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>281 査読論文貼れなかったお前は既に敗北してるんだよ 負けてから何足掻いてんの？ん？ 287 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>282 ＞今更言うまでもない気もするが ＞論理を全く理解していないね なんでラッセルのパラドックスすら知らなかったの？ 生きてる意味ある？ 288 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>278 ＞そもそも公理を減らしたら証明可能な論理式が減るだけ ＞新たに矛盾が導かれるわけが無い 0点 こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない 頭弱いからムリなのかＷＷＷＷＷＷ 289 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] 素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ 頭弱いからわからなかったかＷＷＷＷＷＷ 290 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/10(土) NY:AN:NY.AN ID:???] >>286 予防線を張ったつもりで自爆してる>>268暇があったら 資料なり文献なりさっさと提示して勝負決めればいいのに 月曜日から金曜日まで何してたの？w 291 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/10(土) NY:AN:NY.AN ID:???] >>290 2ちゃんとオナニーとAKB 292 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>290 お前が査読論文貼れなかった時点で敗北してるんだよ 哀れＷＷＷＷＷ 293 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない 294 名前：ご冗談でしょう？名無しさん [2013/08/10(土) NY:AN:NY.AN ID:PoCzu6MB] 難しいことはよくわからんが>>292の負けというのはわかったw 295 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>294 査読論文貼れなかった時点で敗北してるんだよ 296 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] これが先だからな 111 名前:ご冗談でしょう？名無しさん :2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4 >>109 だからさぁ 査読論文持って来いよ 日本語の講義資料なんつーのは論外 297 名前：ご冗談でしょう？名無しさん mailto:age [2013/08/11(日) NY:AN:NY.AN ID:???] >>291 本当に院生だとしても 下に付いた学生が可哀想w >>294 まだ、時間があるのでもう少し待ってあげてください 淡々とカウントダウンするのみ 低脳敗北まで19時間を切りました 298 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>297 もうお前敗北済みだよ 査読論文持ってこいと言われたあと 無理だと悟って逃げ打ったんだろ？ん？ 299 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] 証明責任すら理解できないのは底辺大特有 300 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない 301 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] はよ査読論文持ってこい 底辺大ＷＷＷＷＷ 302 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>162 9 名前:非因果的ブラックボックス ◆nyDbrW8/YE [sage] :2013/03/19(火) NY:AN:NY.AN 0 チャーマーズはクソだな アドホックな仮説で逃げまくってる 自分の発言が突っ込まれるたびに改訂して In this version, と何度も逃げてる 挙げ句の果てには Still, it may be that the gap between 1-possibility and 2-possibility could be closed. と、証拠の無い推測に過ぎないことを明記してしまっている こいつの目的がわかった こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ consc.net/papers/2dargument.pdf これな 303 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>282 なんで自殺記念アドレス貼ってんの？ 304 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:4JQ0i0Ne] ボクのミニ四駆、ついに永久機関になったからヤフオクにだしてあげるよ 305 名前：ご冗談でしょう？名無しさん mailto:age [2013/08/11(日) NY:AN:NY.AN ID:???] CFL条件が提唱されたのが1928年 1975年にＣｒａｙ-1発表 1970年台には実用的なシミュレーション論文が出てるので CFL条件の議論は1928〜1960年台にはとっくに終わってる にもかかわらず >陰解法でもCFL条件を満たさなければ解は不正確になる >安定な不正確な解が出るだけの話 や >この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件 >これを破るシミュレーションは正しい結果をもたらさない という内容の資料が一つも出てこないw 俺の探し方が悪いだけかもしれないので低脳に資料の提示を求めたわけだが 証明責任とか精度が全く落ちない事を証明しろとか喚くだけで 低脳が頑なに資料の提示を拒んでいるのが現状 条件>>131-133、>>261 低脳敗北まであと10時間を切りました 306 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>305 いやお前の主張を裏付ける資料が一つも出てこない 査読論文貼れなかった時点でとっくに敗北確定したぞ 307 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] まさか英語論文読めないのか？ん？ 308 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>162 9 名前:非因果的ブラックボックス ◆nyDbrW8/YE [sage] :2013/03/19(火) NY:AN:NY.AN 0 チャーマーズはクソだな アドホックな仮説で逃げまくってる 自分の発言が突っ込まれるたびに改訂して In this version, と何度も逃げてる 挙げ句の果てには Still, it may be that the gap between 1-possibility and 2-possibility could be closed. と、証拠の無い推測に過ぎないことを明記してしまっている こいつの目的がわかった こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ consc.net/papers/2dargument.pdf これな 309 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/11(日) NY:AN:NY.AN ID:???] >>284 そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが upload.wikimedia.org/math/9/0/e/90e4544d455cca4479f0c67b0ff2d383.png まあ、人はいつか死ぬのは恐らく確かだろう >>293 ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当 つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが 310 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/11(日) NY:AN:NY.AN ID:???] >>296 Toward Useful Type-Free Theories. I Solomon Feferman The Journal of Symbolic Logic, Vol. 49, No. 1. (Mar., 1984), pp. 75-111. www.impan.pl/~kz/truthseminar/Feferman_TypeFreeI.pdf 76ページ 5行目 > Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which > would be universal since ∀x(not x ∈ x) holds in ZF). 76ページ 下から4行目 > ZF and BG are both untyped formalisms, i.e. the levels which we have in mind in > their informal interpretations do not appear explicitly in the syntax. Thus we can > form expressions x ∈ y without restriction, in particular the expression x ∈ x. 311 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>309 ＞>>293 ＞ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当 0点 根拠無しの妄想 312 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>310 また死亡確定したなＷＷＷＷＷ 完璧に公理的集合論に型理論が内包される事しか言ってない 313 名前：ご冗談でしょう？名無しさん [2013/08/11(日) NY:AN:NY.AN ID:742qEOcR] >>310 査読論文貼れなかった時点でとっくに敗北確定したぞ 314 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/12(月) NY:AN:NY.AN ID:???] 慶應ってこんなに馬鹿なんだな 315 名前：ご冗談でしょう？名無しさん [2013/08/12(月) NY:AN:NY.AN ID:fnm8AuQH] >>314 理科大のくせに？ん？ 316 名前：ご冗談でしょう？名無しさん [2013/08/12(月) NY:AN:NY.AN ID:fnm8AuQH] クズ大学しか入れずに 何も生み出せずに死んで行くってどんな気持ちだ？ん？ 人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって どんな気持ちだ？ん？ 東京理科大なんてのは受精卵の段階から失敗作だろ 死んで詫びろクズ あっそうそう 降圧剤ディオバンの詐欺やった女も理科大だってな？ 詐欺師養成校なんか？ここ ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ 317 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] 理科大卒理科大教授の収入>>>>声られない壁>>>>きゅむの家庭教師バイト代 318 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>317 お前は理科大教授じゃない つまりゴミ 319 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] ageる奴はキチガイの法則ってほんと鉄板だよな・・・ 320 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] 理科大卒理科大教授の収入>>>>声られない壁>>>>きゅむの家庭教師バイト代20万 i.imgur.com/fPAWy.jpg 321 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] しかもExcelで作った自演 322 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] もはや土毛座すべきのきゅむ 323 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>320 あれ？ お前それにも負けちゃったの？ 324 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>321 残念でしたー>>24 もう痴呆症になったの？ん？ 325 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] クズ大学しか入れずに 何も生み出せずに死んで行くってどんな気持ちだ？ん？ 人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって どんな気持ちだ？ん？ 東京理科大なんてのは受精卵の段階から失敗作だろ 死んで詫びろクズ あっそうそう 降圧剤ディオバンの詐欺やった女も理科大だってな？ 詐欺師養成校なんか？ここ ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ 326 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] 自分で貼っておきながら忘れるとか俺には不可能だわＷＷＷＷＷ 神経系の性能がゴキブリクラスか？ 327 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] >>324 金額違うよ 数字も読めないニートきゅむ 328 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] Excelで給与明細を自作するニートきゅむ 329 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>327 は？ 当然2種類の明細と通帳を載せてるが？ 頭狂ったのか？ん？ 330 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>328 >>24 自分で貼っておきながら忘れるとか俺には不可能だわＷＷＷＷＷＷＷＷＷＷＷ この>>24画像の隣に必ず>>320の通帳振込も貼ってある 331 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] やっぱり根本的に知能指数が低いんだなＷＷＷＷ 332 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] Excel自作の明細はこれしか貼ってないでしょ 痴呆症のニートきゅむ 333 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>332 貼ってるが何か？ 頭弱いのか？ん？ 334 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] そもそも自作じゃないから通帳が対応してるわけで 335 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] やっぱり根本的に知能指数が低いんだなＷＷＷＷ 336 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] クズ大学しか入れずに 何も生み出せずに死んで行くってどんな気持ちだ？ん？ 人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって どんな気持ちだ？ん？ 東京理科大なんてのは受精卵の段階から失敗作だろ 死んで詫びろクズ あっそうそう 降圧剤ディオバンの詐欺やった女も理科大だってな？ 詐欺師養成校なんか？ここ ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ 337 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] ぐぐっても20万のしか出てこないよニートきゅむちゃん 338 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>337 はぁ？ そんなもん知らねーな テメーの探し方と記憶力がカスなだけ 339 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] >>337 i.imgur.com/XnBfk.jpg あれあれ？ 自殺しちゃうの白痴？ sp.logsoku.com/r/akb/1354709193/516 白痴 www.byoki-syojyo.net/body/Child-23.html 　精神薄弱とは、脳神経の障害のために、知能の発達が遅れ、 正常の社会に適応できなかったり、身辺の処理が困難であるものをいうが、 一般に精神薄弱の程度をしめすには知能指数が用いられる。 ●　IQは軽愚（愚鈍）で50〜75、痴愚で25〜50、白痴で0〜25の3段階に分類される。 340 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] やっぱり根本的に脳神経の作りと知能指数が違うんだろうな 341 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:9NSS+kWD] どう探したり整理したり関連付けたりすればいいか思考できないんだろうね 低性能 342 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] 目子筋特別攻撃隊 343 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/13(火) NY:AN:NY.AN ID:???] >>311 君って0点以外の点数とった無いだろうね ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ >>312 白痴未満とんでもないな 書いてあることを読めずに書いてないことしか読み取ってない 344 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE] >>343 ＞>>311 ＞君って0点以外の点数とった無いだろうね ＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ だから？ 何の意味も無いが頭弱いのか？ん？ 345 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE] >>343 ＞>>312 ＞白痴未満とんでもないな ＞書いてあることを読めずに書いてないことしか読み取ってない お前の妄想を肯定する文は存在しない 346 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE] >つまりZFで基礎の公理を使わずに証明できるって事ですよ それ、ZFじゃないじゃん 公理的集合論ではない 347 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE] 専門分野で片手間教養に負けるとかＷＷＷＷＷＷＷＷ 哀れよのうＷＷＷＷＷＷ やきうガキがプロサッカー選手にやきうで負かされたレベル 348 名前：ご冗談でしょう？名無しさん [2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE] 何日も考え抜いては数秒で潰されるアリンコ 349 名前：ご冗談でしょう？名無しさん [2013/08/14(水) NY:AN:NY.AN ID:aVqeoTIH] やっぱり根本的に脳神経の作りと知能指数が違うんだろうな 350 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/14(水) NY:AN:NY.AN ID:???] hissi.org/read.php/akb/20130814/MWRWZVNKNXcw.html 566 ：名無しさん＠実況は禁止です[]：2013/08/14(水) NY:AN:NY.AN ID:1dVeSJ5w0 >>565 してないよ こいつそもそも入れ方理解する能力ない 必死に効かない効かない叫んで無駄と思わせて退散して欲しいだけ 351 名前：ご冗談でしょう？名無しさん [2013/08/14(水) NY:AN:NY.AN ID:/WxrXbF0] ja.wikipedia.org/wiki/%e3%81%99%e3%81%a3%e3%81%b1%e3%81%84%e8%91%a1%e8%90%84 すっぱい葡萄 あらすじ キツネが、たわわに実ったおいしそうなぶどうを見つける。食べようとして跳び上がるが、ぶどうはみな高い所にあり、 届かない。何度跳んでも届かず、キツネは怒りと悔しさで、「どうせこんなぶどうは、すっぱくてまずいだろう。誰が食べてやるものか。」と捨て台詞を残して去る。 手に入れたくてたまらないのに、人・物・地位・階級など、努力しても手が届かない対象がある場合、 その対象を価値がない・低級で自分にふさわしくないものとみてあきらめ、心の平安を得る。フロイトの心理学では防衛機制・合理化の例とする。また、英語圏で「Sour Grapes」は「負け惜しみ」を意味する熟語である。 352 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/14(水) NY:AN:NY.AN ID:???] おっぱい葡萄 めこすじ 353 名前：ご冗談でしょう？名無しさん [2013/08/14(水) NY:AN:NY.AN ID:aVqeoTIH] スジの上にぶどうアリ 354 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/15(木) NY:AN:NY.AN ID:???] やっぱり根本的に脳神経の作りと知能指数が違うんだろうな >>279 > ラッセル集合は{x|x∈x} > {x| not x∈x}はその否定 > つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ >>310 > Russell set {x | not(x ∈ x)} >>245 > >>240 > ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反 > > 0点 > ZF集合論では集合とみなされないので定理にならない >>310 > ∀x(not x ∈ x) holds in ZF 355 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:T1eN0Y5I] >>354 346 名前:ご冗談でしょう？名無しさん :2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE >つまりZFで基礎の公理を使わずに証明できるって事ですよ それ、ZFじゃないじゃん 公理的集合論ではない 356 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:T1eN0Y5I] ダメだよー反論不能になって逃げるのは 絶対に永遠に許さないからな 357 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN] >>354 なんで無意味に単語で切るの？ >>310 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which 英語できないからなの？ 358 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN] 書き込みペース落ちてるよぉお？？？ フェードアウトしてごまかしちゃうの？ ごまかし人生ＷＷＷＷ 359 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/15(木) NY:AN:NY.AN ID:???] 学生最後の夏休みの設定なんだから2ちゃんばっかしてるなよきゅむ 360 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN] >>310 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which ＞> would be universal since ∀x(not x ∈ x) holds in ZF). え？ 英語できないの？ マジで？？？？？ マジで？？？？？？ ＷＷＷＷＷＷ 361 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN] >>359 反論不能か？ 哀れよのうＷＷＷＷＷＷ 362 名前：ご冗談でしょう？名無しさん [2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN] はよ査読論文もってこいゴミ 363 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:FgXteolJ] >>310 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which ＞> would be universal since ∀x(not x ∈ x) holds in ZF). え？ 英語できないの？ マジで？？？？？ マジで？？？？？？ ＷＷＷＷＷＷ 364 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:JssZS/bt] norすら知らないブンケー高卒とかＷＷＷＷＷＷ 365 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:JssZS/bt] てゆーか英語できないブンケーってなんだ？？？ なんも出来ねーじゃん ブンケーっていうか白痴系じゃん 366 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:JssZS/bt] >>343 ＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ ZFで基礎の公理を使わない？ それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？ よな？ ラッセル集合を認める公理系は公理的集合論とは呼ばない 367 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/16(金) NY:AN:NY.AN ID:???] >>343 ＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ ZFで基礎の公理を使わない？ それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？ よな？ ラッセル集合を認める公理系は公理的集合論とは呼ばない nor 368 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:lXPqOwwz] フレーゲ以前のレベルのまま死んで行く高卒 369 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:yZNU8F6H] there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF WWWWWWWWWWWW 370 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/16(金) NY:AN:NY.AN ID:???] Journal of Applied Logic Volume 3, Issue 1, March 2005, Pages 15-41 www.sciencedirect.com/science/article/pii/S1570868304000503 The most popular of those is the so-called Russell set, R := {x|not x∈x}, for by the law of excluded middle one immediately gets ‘R∈R∧not R∈R’, an apparent contradiction. 371 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:yZNU8F6H] >>370 there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF WWWWWWWWWWWW 372 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:yZNU8F6H] >>370 paraconsistentは公理的集合論ではない バカなのか？ん？ 373 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:yZNU8F6H] 公理的集合論というものがどういうものなのか全く理解できないのなＷＷＷＷＷＷＷ 374 名前：ご冗談でしょう？名無しさん [2013/08/16(金) NY:AN:NY.AN ID:yZNU8F6H] >>343 ＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ ZFで基礎の公理を使わない？ それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？ よな？ ラッセル集合を認める公理系は公理的集合論とは呼ばない nor 375 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:KGz9QE31] ばーかＷＷＷＷＷ 矛盾許容論理は常に古典論理よりも弱い 矛盾許容論理は他の論理体系よりも弱いとされている。 これはつまり、矛盾許容論理による推論能力が弱いということである。 矛盾許容論理では、通常の論理体系で偽とされるものを真とする可能性があるが、問題はそこではなく、 矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。 そういった意味で、矛盾許容論理は古典論理よりも「保守的」あるいは「慎重」である。 矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。 矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。 矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。 矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。 矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。 376 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:KGz9QE31] >>370 there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF WWWWWWWWWWWW 377 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:yZNU8F6H] パラコン持ってくるとか完全なる敗北宣言ですやん？ 378 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/17(土) NY:AN:NY.AN ID:???] メコスジヤロウ ノ セカイ 379 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:KGz9QE31] メコスジーノ 380 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:KGz9QE31] てゆーか英語できないブンケーってなんだ？？？ なんも出来ねーじゃん ブンケーっていうか白痴系じゃん 381 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/17(土) NY:AN:NY.AN ID:???] 白痴は中国語でバイツーと読む 日本語の馬鹿に相当するよく使われる言葉 382 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/17(土) NY:AN:NY.AN ID:???] dl.acm.org/citation.cfm?id=319317 https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-425.pdf The Russell set R might be written as the comprehension {x: not x∈x}, but ZF allows only comprehension over some previously constructed set S 383 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:nZuPwh11] >>382 >>370 there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF there is nor any Russell set in ZF WWWWWWWWWWWW 384 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:nZuPwh11] >>382 自殺？ん？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. The Russell set R might be written as the comprehension {x : x ̸∈ x}, but ZF allows only comprehension over some previously constructed set S, as shown in Figure 1. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 385 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:nZuPwh11] 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 386 名前：ご冗談でしょう？名無しさん [2013/08/17(土) NY:AN:NY.AN ID:Q6XmEsNb] >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 387 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/17(土) NY:AN:NY.AN ID:???] >>367 重症だな 論理の初歩も知らずにデタラメ並べてごねてるだけだな 自然演繹NK、シーケント計算LK、ヒルベルトシステムとかどれか一つでも聞いたことあるかね？ >>384 {x: not x∈x}をラッセル集合と呼んでるようにしか解釈できないが 君の解釈は違うんだよね >>279 > ラッセル集合は{x|x∈x} > {x| not x∈x}はその否定 > つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ 基礎の公理があるなら{x|x∈x}は単に空集合だね 集合の否定とか不思議な表現だね 388 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/17(土) NY:AN:NY.AN ID:???] >>375 推論能力の強さでいったら 矛盾している素朴集合論はそこからあらゆる論理式を証明できる最強の体系ですよ 389 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 390 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] 真偽を決定不能=推論能力低い こういう意味で使われてる バカすぎるＷＷＷＷＷ 391 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 392 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 393 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:47AcfkeA] 証明可能なことと真偽決定可能なことの区別がついてないのなＷＷＷＷＷ つーか必要条件と十分条件の違いすら理解できないのなＷＷＷＷＷ 394 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:X92WfDdz] www.citizenhearing.org/jp/index.html シチズンズ・ヒアリング：ディスクロージャー 45年間、米国議会が成し得なかった、人類に関わる地球外生命体の問題を取り巻く事実の追求を、このシチズンズ・ヒアリングが行います。 www4.ocn.ne.jp/~ds08pro/ 公開プロジェクトの摘要書 www4.ocn.ne.jp/~ds08pro/BriefingDoc_JPNhiro_ver1.1.pdf www.youtube.com/watch?feature=player_embedded&v=ulWK-Ni-xiw UFO ディスクロージャーの動画（日本語の字幕がつきました！） www.youtube.com/watch?v=KicoTXPF1_E&list=PL4109D290157F3C57 395 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:RLaplpi4] 真偽決定不可能なものを推論とは呼ばない 白痴すぎる 396 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] メコスジヤロウ ノ セカイ 397 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>375 散々けなしてた日本語版バカペディアから丸写しか ja.wikipedia.org/wiki/%E7%9F%9B%E7%9B%BE%E8%A8%B1%E5%AE%B9%E8%AB%96%E7%90%86 398 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>390 君は勉強したことも無いくせに勝手に決め付けるよね 科学なめてるよね 399 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>397 >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ 400 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>398 証明可能なことと真偽決定可能なことの区別がついてないのなＷＷＷＷＷ つーか必要条件と十分条件の違いすら理解できないのなＷＷＷＷＷ 無能が何やっても無駄 脳神経の性能が足りてない 401 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>398 証明可能であることは推論可能であることの十分条件ではない と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから 真偽決定不可能ならば推論可能とは言えない マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 402 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] 必死にコピペして水遁されたニートきゅむ 403 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] 論理で対抗できないからコピペ連発でごまかすきゅむw 404 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>401 何回同じコピペしてるの。 バカなの？ 405 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] コピペに必死で水遁された 基地外肥満ニートきゅむ 406 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] なぜ悪質な目子筋レスはなくならないのか？６９ 407 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>404 >>398 証明可能であることは推論可能であることの十分条件ではない と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから 真偽決定不可能ならば推論可能とは言えない マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 408 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>341 自戒を込めた発言ですか？w 資料も提示できない負け犬クンw 409 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>408 お前の貼った資料にお前が自殺するべきという文章が書いてあるぜ？ん？ 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 410 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>409 馬鹿だねw負け犬はw 一週間猶予をやって資料出せるか試してあげただろ？w >陰解法でもCFL条件を満たさなければ解は不正確になる >安定な不正確な解が出るだけの話 や >この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件 >これを破るシミュレーションは正しい結果をもたらさない 絶対安定のADIスキーム On the Fourth-Order Accurate Compact ADI Scheme for Solving the Unsteady Nonlinear Coupled Burgers’ Equations ttp://www.atlantis-press.com/php/download_paper.php?id=891? ADI schemes for higher-order nonlinear diffusion equations ttp://www3.nd.edu/~zxu2/acms60790S11/ADI_nonlinear_diff_eqn.pdf A Generalized Peaceman--Rachford ADI Scheme for Solving Two-Dimensional Parabolic Differential Equations ttp://link.springer.com/article/10.1023%2FA%3A1025631211217 最後は査読論文じゃないけど、負け犬がシミュレーション分かって無いからおまけだw ADIスキームの説明 ttp://blossom1.s.kanazawa-u.ac.jp/else/cdrom/main_part1.pdf 411 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>410 全く意味不明 安定性には正確という意味はないから解答になってない 0点 412 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>410 安定であることは正確であることの必要条件ではあるが十分条件ではない つまり0点 413 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] 査読論文未だに貼れずの負け犬ＷＷＷＷＷ 正確であることの必要性が示せてない 414 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] 訂正 査読論文未だに貼れずの負け犬ＷＷＷＷＷ 安定である事の必要性を示しただけで 正確であることの十分性が示せてない 415 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>411-413 はい、ひっかかったw ラックスの等価原理をお勉強しましょうね Richtmyer, R. D. and Morton, K. W.: Difference mithods,for Initial-Value Problems, John Wiley and Sons Inc. (1967) 適切な線形初期値問題と整合性を満たす差分近似が与えられた時、"安定性"が収束の必要十分条件となる ここで、収束とは格子幅が0に近づくに従い、離散方程式の解が微分方程式の厳密解に近づくことをいう 絶対安定なスキームでは 格子幅を0に近づける方法はCFL条件が満たされていなくとも構わない そうでないというなら >陰解法でもCFL条件を満たさなければ解は不正確になる >安定な不正確な解が出るだけの話 や >この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件 >これを破るシミュレーションは正しい結果をもたらさない ↑資料だしてねw 416 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] コピペ肥満ニート敗北寸前 417 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] 　　　　／￣| .　　人 　　　　|　　｜.　（＿_） イェ〜ィ！ 　　　 ｜ 　｜. （＿＿）　ウンコッコー！ 　 ,―　　　　＼（ ・∀・） 　| ＿＿_） 　 ｜　　ノ 　| ＿＿_） 　 ｜）＿） 　| ＿＿_） 　 ｜ 　ヽ＿＿）＿／ 418 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>415 本当に知能指数低いのなＷＷＷＷＷＷ 格子幅を小さくしたら自動的にCFL条件が満たされる CFL条件を破ったままなら収束することは不可能 419 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>415 しかもラックスの等価原理で言ってる安定性と CFL条件で言ってる安定性は全く異なる 単語がたまたま「安定性」と似てるだけで定義が違う つまり何一つ言及した事になってない 420 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>418 やっぱり、負け犬はCFL条件誤解してるな CFL条件は時空間の刻み幅の関係を表すものでしかないのに なんで >格子幅を小さくしたら自動的にCFL条件が満たされる こう書けるんだ？ 時空間の刻み幅そのものの大きさとは全く無関係だって散々上で書いたのに 結局理解できなかったのか… 適当な事書いてる暇があったら資料出せよw 421 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>420 CFL条件を破ったままなら収束することは不可能 この文を無視しないと都合悪いもんなぁ？ CFL条件を破ったままなら収束することは不可能 逃げるなよ？ CFL条件を破ったままなら収束することは不可能 422 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>415 しかもラックスの等価原理で言ってる安定性(ラックス・リヒトマイヤー安定性)と CFL条件で言ってる安定性は全く異なる 単語がたまたま「安定性」と似てるだけで定義が違う つまり何一つ言及した事になってない 都合の悪い部分から逃げる事は絶対に認めない 永遠にな 423 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>422 永遠に資料を出す事から逃げてる負け犬が何を書いてんの？ 424 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>423 査読論文出せないの悔しかった？ん？ なんの関係も無いもの貼っても意味無いんだわ 425 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>424 絶対安定なスキーム出た時点で煙に巻こうとしても無駄だよ CFL条件的にもラックス・リヒトマイヤー安定性的にも安定なんだから で、CFL条件満たしてなくとも収束するわけ 負け犬は屁理屈ごねてないで、はよ資料出してね 426 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>407 その「推論可能」の意味は君が勝手に決めたものだよね plato.stanford.edu/entries/logic-paraconsistent/ > The contemporary logical orthodoxy has it that, from contradictory premises, anything can be inferred. >>409 コピペでレス流してるのか知らないけどさ 君の言う「ラッセル集合」は{x| not x∈x}ではなくて{x|x∈x}なんだよね？ その解釈で文章のつじつまが合うかね？ 427 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>425 お前痴呆症か？ 前スレから無条件安定なんてのは既にお前が出してて既に反論されてる 無条件安定だろうが絶対安定だろうが全く意味が無い 安定は正確であることの十分条件じゃない 428 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>427 反論w もう無理するなよw 負け犬は早く資料出せばいいだろw それで済むのに何で言い訳ばかりして逃げてるの？w それに尽きるw 429 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>426 いや？ 真偽決定可能=推論可能 論理学における推論はこれ以外の意味で用いられることはない 430 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>428 お前が正確であることの十分性を示せる資料を示せなかった時点で敗北確定なんだよ 431 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] 童貞きゅむ 432 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>430 絶対安定なスキームが存在して >>410 ラックスの等価原理で収束 >>415 >>425 もう笑いすぎて腹痛いから言い訳するのやめて 資料出してくださいよ 負け犬さん また日数決めて勝敗決める？ イージーゲームだなw 433 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>432 421 名前:ご冗談でしょう？名無しさん :2013/08/18(日) NY:AN:NY.AN ID:73xMykX8 >>420 CFL条件を破ったままなら収束することは不可能 この文を無視しないと都合悪いもんなぁ？ CFL条件を破ったままなら収束することは不可能 逃げるなよ？ CFL条件を破ったままなら収束することは不可能 434 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] 査読論文貼れやの次のレスで十分性を示した査読論文貼れなかった時点で敗北確定してる 今更取り消そうとしても無駄 435 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/18(日) NY:AN:NY.AN ID:???] >>433 >CFL条件を破ったままなら収束することは不可能 苦し紛れにもほどがあるだろ どういう根拠で収束は不可能だといいたいわけ？ 436 名前：ご冗談でしょう？名無しさん [2013/08/18(日) NY:AN:NY.AN ID:73xMykX8] >>404 >>398 証明可能であることは推論可能であることの十分条件ではない >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから 真偽決定不可能ならば推論可能とは言えない マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 未だに理解出来ないのか？ん？ なんなら真偽決定不能なのに推論可能と言えるケースの存在を証明してみろ 437 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] きゅむの分が悪いな 438 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>435 そもそも収束なんてもんは正確さとは無関係だがな なぜなら数値計算のリソースは有限だから実際には収束などしない 439 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>438 もう屁理屈しか書けないのか ご苦労さん 負け犬の言う正確ってのは何かはっきりさせてよw 後出しで色々出してくるから、正直疲れるんだけどw あと、はよ資料出してねw 資料出せば済む話なんだから 440 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>439 は？ 正確性なんて解析解との差に決まってんだろ 数値解と解析解とのノルムでいい 441 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] 434 名前:ご冗談でしょう？名無しさん :2013/08/18(日) NY:AN:NY.AN ID:73xMykX8 査読論文貼れやの次のレスで十分性を示した査読論文貼れなかった時点で敗北確定してる 今更取り消そうとしても無駄 442 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>440 それだけじゃ不十分だろw ノルムの値がどの程度以下なら正確だと考えてるわけ？ 負け犬さんよ、はっきりさせようやw 陽解法でも誤差は蓄積していくからアホな値を設定すると こいつ分かってねーなってのがすぐばれちまうぞ っていうかさ、解析解が存在しないシミュレーションなんて 幾らでもあるわけだけどその場合は >数値解と解析解とのノルムでいい なんて出せないんだけど こういう所で分かってねーなってのがばれるんだよなw もうボロが出るからこれ以上書き込むの止めたら?w >>441 貼れやのって何？ 顔真っ赤にして書いた文そのまま貼り付けて何がしたいの、負け犬は？ はよ資料出してくださいよ、負け犬さんw 443 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>442 なんでもいいね 精度を任意に設定して任意のケースで満たせるかどうか 444 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] 査読論文貼れや 査読論文貼れや 査読論文貼れや 査読論文貼れやの次 445 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] 434 名前:ご冗談でしょう？名無しさん :2013/08/18(日) NY:AN:NY.AN ID:73xMykX8 査読論文貼れやの次のレスで十分性を示した査読論文貼れなかった時点で敗北確定してる 今更取り消そうとしても無駄 446 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>442 解析解が存在しない？ はぁ？ テメーがラックス・リヒトマイヤー安定性出してきたんだろうがＷＷＷＷＷＷＷ もしかして全く理解してなかったの？ん？ ラックス・リヒトマイヤー安定性では解析解が存在しなければ定義不可能なわけだが 自殺しちゃうの？ん？ 447 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>446 まあ、そう怒るなや負け犬w 解析解のある場合はノルム そうで無い場合は>>443ね で解析解のある場合でも 精度は任意で設定していいのか？ 何でもありになるがw あと、資料早く出してねw 448 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>447 え？ ラックス・リヒトマイヤー安定性は放棄でいいの？ 放棄しないの？ だって解析解が無いケースなんだろ？ん？ はよ査読論文貼れやカス 449 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>447 ＞で解析解のある場合でも ＞精度は任意で設定していいのか？ ＞何でもありになるがw 根本的に知能指数低いのなWWWWWWW >>438 450 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>448 解析解のある場合ってんだから ラックス・リヒトマイヤー安定性だけど、そんな事も分からないの？ 負け犬はw で任意精度でいいの？w ノルム0.1以下でいいなら楽勝だぞw 451 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>450 あれ？ なにこれ？ >>442 ＞っていうかさ、解析解が存在しないシミュレーションなんて ＞幾らでもあるわけだけどその場合は 452 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] おっかしいなー 解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて >>442 ＞っていうかさ、解析解が存在しないシミュレーションなんて ＞幾らでもあるわけだけどその場合は ？？？？？ もしかして全く理解してない付け焼き刃？ 453 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>450 >>449 文盲か？ ん？ 454 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>452 はいはい、反撃できたつもりだろうけど 解析解がある場合のノルムはどの程度以下なら正確性があると考えてるのか 逃げずに早く答えてね あと、資料早く出してくれw 455 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>454 はぁ？ 読めよ文盲 >>453 456 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] おっかしいなー 解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて >>442 ＞っていうかさ、解析解が存在しないシミュレーションなんて ＞幾らでもあるわけだけどその場合は ？？？？？ もしかして全く理解してない付け焼き刃？ 457 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] 専門分野が付け焼き刃で瞬時に滅ぼされるってどうなのよＷＷＷＷＷＷ 458 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] くさやきうのガキがプロサッカー選手に喧嘩売ってやきうで滅ぼされる感じＷＷＷＷ 459 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>457 資料も出せない、正確性も明確に出来ないんじゃ 話にならないんだけど 460 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] >>459 >>455 資料出せないのはお前だけ 461 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] くさやきうのガキがプロサッカー選手に喧嘩売ってやきうで滅ぼされる感じＷＷＷＷ 462 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:VUFes2dY] おっかしいなー 解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて >>442 ＞っていうかさ、解析解が存在しないシミュレーションなんて ＞幾らでもあるわけだけどその場合は ？？？？？ もしかして全く理解してない付け焼き刃？ 463 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] おっかしいなー 解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて >>442 ＞っていうかさ、解析解が存在しないシミュレーションなんて ＞幾らでもあるわけだけどその場合は ？？？？？ もしかして全く理解してない付け焼き刃？ 464 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>398 証明可能であることは推論可能であることの十分条件ではない と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから 真偽決定不可能ならば推論可能とは言えない マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 465 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] 30 エリート街道さん sage 2013/08/19(月) NY:AN:NY.AN ID:hUGDOXfl 自称慶應大学大学院　理工学研究科　後期博士課程の狂った指原ヲタが「きゅむ」と呼ばれる由来 ゲロブス指原莉乃のことを　「りのきゅむ」　と気持ち悪い呼び方しちゃう痛い奴ｗｗ hissi.org/read.php/akb/20111121/VmhlRTdxWkYw.html 507 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0 りのおおおおｐ 526 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0 りーのー 564 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0 りののりのの 589 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0 りのきゅんきゃわわ 708 ： 名無しさん＠お腹いっぱい。 ： 2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0 天使の三段活用！ りのくん りのきゅん りのきゅむ！ 466 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>398 証明可能であることは推論可能であることの十分条件ではない と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから 真偽決定不可能ならば推論可能とは言えない マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 467 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] 31 エリート街道さん sage 2013/08/19(月) NY:AN:NY.AN ID:hUGDOXfl これが自称慶應大学大学院　理工学研究科　後期博士課程のキチガイ指原ヲタ「きゅむ」の投稿 尋常じゃない投稿数ｗ マジキチですｗ 2013/08/03(土) ID:Ty5M4Lub0 hissi.org/read.php/akb/20130803/VHk1TTRMdWIw.html i.imgur.com/ssvUM2F.jpg ↑ このＩＤだけでこの日の投稿数1位獲得ｗ ID:x6l7mE3O0 hissi.org/read.php/akb/20130803/eDZsN21FM08w.html ID:wO1fPix20 hissi.org/read.php/akb/20130803/d08xZlBpeDIw.html ID:8TyZp0Xf0 hissi.org/read.php/akb/20130803/OFR5WnAwWGYw.html ID:JBHWioOt0 hissi.org/read.php/akb/20130803/SkJIV2lvT3Qw.html 2013/08/04(日) ID:1MHxMfR50 hissi.org/read.php/akb/20130804/MU1IeE1mUjUw.html i.imgur.com/YgIPb6Z.jpg ↑ 投稿数ダントツの1位ｗ 2位以下を大きく引き離す投稿数ｗ 468 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] 32 エリート街道さん sage 2013/08/19(月) NY:AN:NY.AN ID:hUGDOXfl 2013/08/05(月) この日も発狂しまくりの自称慶應大学大学院　理工学研究科　後期博士課程のキチガイ指原ヲタ「きゅむ」 ID:DBZ0KgBH0 hissi.org/read.php/akb/20130805/REJaMEtnQkgw.html i.imgur.com/6FJaIIK.jpg ↑ このIDだけの投稿数ダントツの1位ｗ 安定のダブルスコア！ 以下他のＩＤ ID:3S0EPeOp0 hissi.org/read.php/akb/20130805/M1MwRVBlT3Aw.html ID:vVjcQnW70 hissi.org/read.php/akb/20130805/dlZqY1FuVzcw.html ID:Hm5gCyeM0 hissi.org/read.php/akb/20130805/SG01Z0N5ZU0w.html 469 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>398 証明可能であることは推論可能であることの十分条件ではない と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ >>388 証明しても意味無いから なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので 真偽を決定出来ないから 真偽決定不可能ならば推論可能とは言えない マジで理解できないのなＷＷＷＷＷＷＷＷＷ お前単語に脊髄反射する人工無能だわ 470 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] おっかしいなー 解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて >>442 ＞っていうかさ、解析解が存在しないシミュレーションなんて ＞幾らでもあるわけだけどその場合は ？？？？？ もしかして全く理解してない付け焼き刃？ 471 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 472 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] ｹﾞﾛﾌﾞｽ指原莉乃を「りのきゅむ」と呼ぶ童貞ｷﾓｦﾀｗ awabi.2ch.net/test/read.cgi/akb/1376757715/ 473 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 474 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] 不完全性定理とか連続体仮説とかのあたりでは"undecidable"は"neither provable nor refutable"の意味で使うよね "provable and refutable"とは違うよね 475 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>461 自称プロサッカー選手がバッターボックスから突然三塁方向に走り出してランニングホームランだと言い張ってる感じ 476 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>474 「あたりでは」なんて言い方はあり得ない 学会で統一されてる 独自用法してるやつはリジェクト 477 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>475 >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 478 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] こっちはスルーするんですかね >>245 > >>240 > ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反 > > 0点 > ZF集合論では集合とみなされないので定理にならない >>310 > ∀x(not x ∈ x) holds in ZF 479 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>478 お前がスルーしてんだよ nor 480 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] norがついてる文からnorを削除して抜粋と称するか？ それは捏造だ 481 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] 357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN >>354 なんで無意味に単語で切るの？ >>310 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which 英語できないからなの？ 482 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>476 出たな脳内学会 独自用法は君だろうに 483 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>482 「あたりでは」なんて言い方があり得ない バカ過ぎ 484 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] なんでこれにレスつけずに逃げつづけてんの？ん？ 357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN >>354 なんで無意味に単語で切るの？ >>310 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which 英語できないからなの？ 485 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>481 英語出来ないのは君だよね 486 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>485 nor 487 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ 488 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] まさかなぁ… 489 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] まさかなぁ… 490 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] きゅむは英語できないの？ no 491 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>490 だから？ん？ 492 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] きゅむが英語できないの認めたWWW 493 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>483 かなり近い分野の計算可能性とかだと別に意味になるし 494 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/19(月) NY:AN:NY.AN ID:???] >>487 そんな意味にとって文章全体でどんな意味になるって妄想してるんだろうね 495 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>493 0店 数学基礎論で使われてる意味と矛盾する語法は数学全ジャンルで絶対にあり得ない 496 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 497 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] >>492 英語出来ないのはお前だろ？ん？ もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ 498 名前：ご冗談でしょう？名無しさん [2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ] なんでこれにレスつけずに逃げつづけてんの？ん？ 357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN >>354 なんで無意味に単語で切るの？ >>310 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which 英語できないからなの？ 499 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:rypUSQ0t] >>492 英語出来ないのはお前だろ？ん？ もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ 500 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/20(火) NY:AN:NY.AN ID:???] きゅむは英語できないの？ no だから？ん？ 英語できないの認めたWWWWWWWW 501 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:rypUSQ0t] >>500 それがなんか意味あるのか？ん？ nor以降の意味に何の関係も無い 502 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/20(火) NY:AN:NY.AN ID:???] は？自問自答しただけだ きゅむは英語できないの？ no きゅむ→　だから？ん？ はい、英語できないの認めましたＷＷＷＷ 503 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:rypUSQ0t] >>502 はぁ？ 何も答えてねーが？ん？ 俺が聞いてんだよ 504 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/20(火) NY:AN:NY.AN ID:???] きゅむは英語できないの？ no だから？ん？ 英語できる人ならnoを否定するはずだよな？ん？ 英語できないこと認めちゃいましたＷＷＷＷＷＷＷ 505 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:rypUSQ0t] >>504 小学生か？ん？ そのnoは >>310 ＞76ページ 5行目 ＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which ＞> would be universal since ∀x(not x ∈ x) holds in ZF). のnoだ 文脈読めないアスペルガー引きこもりとかWWWWWWW 506 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:OJaljYIh] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 507 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/20(火) NY:AN:NY.AN ID:???] メコスジヤロウ ノ セカイ 508 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/20(火) NY:AN:NY.AN ID:???] きゅむは英語できないの？ no だから？ん？ 509 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:OJaljYIh] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 510 名前：ご冗談でしょう？名無しさん [2013/08/20(火) NY:AN:NY.AN ID:OJaljYIh] >>475 >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 511 名前：ご冗談でしょう？名無しさん [2013/08/21(水) NY:AN:NY.AN ID:+JSjAoB5] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 512 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/21(水) NY:AN:NY.AN ID:???] >>339 しょべーw この程度なら穀物先物や貴金属先物やれば一瞬だわ でも、9割以上が1年以内に退場する世界だから勧めないけどな まあ、きゅむは ・クソニート ・留年ドクター ・研究職最下層の助教 のどれかだとしても始めるのは金銭的に無理w レバレッジ効かせるにしても種銭が無いと始められないし 助教だとしても年収300万台だろ？w 513 名前：ご冗談でしょう？名無しさん [2013/08/21(水) NY:AN:NY.AN ID:2dL0XLPq] >>512 学生時代無銭の最底辺ナマポニートＷＷＷＷＷ 514 名前：ご冗談でしょう？名無しさん [2013/08/21(水) NY:AN:NY.AN ID:2dL0XLPq] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 515 名前：ご冗談でしょう？名無しさん [2013/08/21(水) NY:AN:NY.AN ID:2dL0XLPq] >>512 同年齢比較したら何一つ1秒ですら勝てずに死ぬナマポニートＷＷＷＷＷ 516 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/22(木) NY:AN:NY.AN ID:???] メコスジヤロウ ノ セカイ 517 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/22(木) NY:AN:NY.AN ID:???] >>515 反論にすらなってないがw スライム=学生 スライムベス=院生 だとしたら 成り立ての助教なんてドラキー程度だろ？w 518 名前：ご冗談でしょう？名無しさん [2013/08/22(木) NY:AN:NY.AN ID:14ECtkUF] >>517 お前はただのミジンコだろ 519 名前：ご冗談でしょう？名無しさん [2013/08/22(木) NY:AN:NY.AN ID:14ECtkUF] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 520 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/22(木) NY:AN:NY.AN ID:???] >>518 いつものキチガイじみた切れが無いなw GMOのトレードアイランドなんかは 金融資産と利益が一発で見られるから それ見せられたらぐうの音も出ないんだろうが きゅむの現状じゃ始めるのも無理だからなw 才能無いと資産飛ばすだけだし、きゅむにはお勧めできないw 521 名前：ご冗談でしょう？名無しさん [2013/08/22(木) NY:AN:NY.AN ID:9zEdESPv] >>520 年齢と現金見せられない時点でナマポニートＷＷＷＷＷ 522 名前：ご冗談でしょう？名無しさん [2013/08/22(木) NY:AN:NY.AN ID:9zEdESPv] norも理解できないバカがアメリカの政策なんかわかるわけねぇ ただのカモＷＷＷＷＷ 523 名前：ご冗談でしょう？名無しさん [2013/08/22(木) NY:AN:NY.AN ID:Z4jSpnaP] norも理解できないバカがアメリカの政策なんかわかるわけねぇ ただのカモＷＷＷＷＷ 524 名前：ご冗談でしょう？名無しさん [2013/08/22(木) NY:AN:NY.AN ID:Z4jSpnaP] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 525 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:cO0Re8+x] >>494 もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？ hold inは現れないって意味だ 白痴 There is nor any Russell set in ZF. ZFにはいかなるラッセル集合も存在しない 526 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG] >>128 >>108 は？ 完全にお前論破されてるぞ？ ＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） ＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論） これは数学的に同値 だからすべての公理的集合論は型理論を内包してる 527 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:+rr6eh/J] 自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが ikura.2ch.net/test/read.cgi/joke/1375551098/ ゲロブス指原のヲタが精神異常者にしか見えない件 toro.2ch.net/test/read.cgi/mental/1374499817/ 528 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG] >>128 >>108 は？ 完全にお前論破されてるぞ？ ＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） ＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論） これは数学的に同値 だからすべての公理的集合論は型理論を内包してる 529 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG] >>475 >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 530 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:LEkxMf3H] 論文0 特許0 データ0 つまり理科大=詐欺師養成校 531 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:LEkxMf3H] クズ大学しか入れずに 何も生み出せずに死んで行くってどんな気持ちだ？ん？ 人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって どんな気持ちだ？ん？ 東京理科大なんてのは受精卵の段階から失敗作だろ 死んで詫びろクズ あっそうそう 降圧剤ディオバンの詐欺やった女も理科大だってな？ 詐欺師養成校なんか？ここ ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ 532 名前：ご冗談でしょう？名無しさん [2013/08/23(金) NY:AN:NY.AN ID:LEkxMf3H] 線積分すら出来ないよーなクズがエネルギー語ったら そりゃあ100%詐欺になるしかない 533 名前：ご冗談でしょう？名無しさん [2013/08/24(土) NY:AN:NY.AN ID:8TULpkzV] 線積分すら出来ないよーなクズがエネルギー語ったら そりゃあ100%詐欺になるしかない 534 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/24(土) NY:AN:NY.AN ID:???] 超メコスジ 535 名前：ご冗談でしょう？名無しさん [2013/08/24(土) NY:AN:NY.AN ID:/i/uThRb] メコスジーノ 536 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/25(日) NY:AN:NY.AN ID:???] >>495 お前ほんとに数学知らないのね regularとかどれだけの意味で使われてると思ってるんだ >>496 hold inは「現れない」なんて訳すのか The Binomial Theorem holds in any commutative ring crazyproject.wordpress.com/2010/09/12/the-binomial-theorem-holds-in-any-commutative-ring/ 慶應博士って英語読めなくても取れるのね 537 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:HunEzEaW] >>536 norの後だからなぁ 英語出来なかったの悔しかった？ん？ 538 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:HunEzEaW] >>536 このページのは訳は「〜における」だな あれ？ 白痴って文脈読む知能指数足りてない？ 539 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:HunEzEaW] >>536 ＞お前ほんとに数学知らないのね ＞regularとかどれだけの意味で使われてると思ってるんだ やっぱり文脈読む能力0？ 540 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:HunEzEaW] >>536 >>475 >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 541 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/25(日) NY:AN:NY.AN ID:???] >>538 動詞じゃないのか 想像も付かなかった The Use of Ultraproducts in Commutative Algebra, 第 1999 号 12ページ books.google.co.jp/books?id=ohbdke-cBxwC&hl=ja&pg=PA12#v=onepage&q&f=false We will give meaning to the expression a satisfies the formula φ(ξ) in A (sometimes abbreviated to φ(a) holds in A, or is true in A) by induction on the number of quantifiers. 542 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/25(日) NY:AN:NY.AN ID:???] >>540 俺はZFやZF-FAでラッセル集合が作れるなんていってないはずだがな 俺の言うラッセル集合は{x|not x∈x}で、基礎の公理があるなら∀x(not x∈x)だから{x|not x∈x}は集合全体、too big 君はなにやら違うものをラッセル集合と呼んでるようで 543 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD] >>541 日本語で対応する動詞は存在しない バカなのか？ん？ 544 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD] >>542 >>536 >>475 >>387 >>382 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 自殺？ In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big. 545 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD] >>542 痴呆症か？ん？ >>128 >>108 は？ 完全にお前論破されてるぞ？ ＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま ＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） ＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論） これは数学的に同値 だからすべての公理的集合論は型理論を内包してる 546 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD] 全ての公理的集合論は型理論を内包している これを否定しようとして完全論破されたのがお前 547 名前：ご冗談でしょう？名無しさん [2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD] >>541 sometimesの意味すら知らない中卒かＷＷＷＷＷ 548 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] たかしくんwww 549 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 550 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] >>544 コピペをそのまま返して何を言いたいのかね？ >>545 数学的に同値とはどういうことかね？ 同値というなら逆に型理論の方は公理的集合論を内包してないのかね？ >>547 君は英語全く読めないのね 551 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 552 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] www.epcos.org/library/papers/pdf_2010/Posters/PA10-Saiki.pdf Nanoscale writing and erasing of amorphous marks in a GeSbTe thin film with a gold nanoparticle by femtosecond laser irradiation Takashi Hira and Toshiharu Saiki Department of Electronics and Electrical Engineering, Keio University 553 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] https://confit.atlas.jp/guide/event/jsap2013a/subject/18a-C14-9/class [18a-C14-9]金ナノロッドを用いたナノ領域相変化および検出 11:15 AM 〜 11:30 AM ○（DC）平敬，本間貴士，内山貴之，斎木敏治 慶大院理工 高密度記録,光ナノスイッチ,相変化材料 554 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 555 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] >>553 www.jsap.or.jp/activities/annualmeetings/index.html 2013年 第74回応用物理学会秋季学術講演会 開催場所： 同志社大学京田辺キャンパス（京都府京田辺市多々羅都谷1-3） 期間： 2013年9月16日(月) 〜 20日(金) https://confit.atlas.jp/guide/event/jsap2013a/session/18a-C14-1~11/class [18a-C14-1~11] 3.7 近接場光学 03．光 一般セッション(口頭講演) 2013年9月18日(水) 9:00 AM 〜 12:00 PM C14 (TC3 2F-215) 556 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] たかし… 557 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] なぜわかった？ん？ 558 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/26(月) NY:AN:NY.AN ID:???] kaken.nii.ac.jp/d/p/19106004/2011/3/ja.en.html Presentation T.Hira: "A Complete Switching of the Surface Plasmon Resonance due to Ultrafast Pphase Change of GeSbTe Substrate" 2011 MRS Spring Meeting. (20110427). アメリカ T.Hira: "Femtosecond Nanoscale Phase-Change Dynamics in GeSbTe Thin Films" The 11th International Symposium on Optical Memory. (20110719). アメリカ(INVITED)(招待講演) T.Hira: "Giant Surface Plasmon Resonance Switching of Gold Nanoparticles Based on Ultrafast Phase Change of GeSbTe" The 2011 European symposium on Phase Change and Ovonic Science. (20110906). スイス(INVITED)(招待講演) T.Hira: "Surface Plasmon Resonance Switching of Gold Nanoparticles Based on Ultrafast Phase Change of GeSbTe" The Symposium on Phase Change Optical Information Storage (PCOS) 2011. (20111118). Shizuoka 平敬: "フェムト秒ナノスケール電子励起によるGeSbTeの相変化誘起" レーザー学会学術講演会第32回年次大会. (20120131). 仙台(招待講演) 559 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 560 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/27(火) NY:AN:NY.AN ID:???] 同志社での発表楽しみだわｗ 561 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 562 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/27(火) NY:AN:NY.AN ID:???] たかしくんってどのくらい凄い人なの？ 563 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/27(火) NY:AN:NY.AN ID:???] 2ちゃん書き込み数で世界トップとるくらいかな？ 564 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 565 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/27(火) NY:AN:NY.AN ID:???] みんなで同志社つめかけようぜ！ 566 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 567 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 568 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/27(火) NY:AN:NY.AN ID:???] 大学ってこんなゴミの面倒まで見ないといけないの？大変ですね。 569 名前：ご冗談でしょう？名無しさん [2013/08/28(水) NY:AN:NY.AN ID:u5mnZTyv] 　　　　　　　　　　　　　_,,..r'''""~~`''ｰ-.､ 　　　　　　　　　　　 ,,.r,:-‐'''"""~~`ヽ､:;:;:＼ 　　　　　　　　　　 r"r　　　　　　　　　 ゝ､:;:ヽ 　　 r‐-､　　 ,...,,　|;;;;|　　　　　　　,,.-‐-:､ ヾ;:;ゝ 　　 :i!　 i!　　|: : i! ヾ| r'"~~` :;:　::;",,-‐‐-　 `r'^!　 　　　 !　 i!. 　|　 ;|　l| 　''"~~　　　､　　　　　　i' |　　　　　イェーイ 　　 　 i!　ヽ　|　　|　|　　　 ,.:'"　　　､ヽ､　　　!,ﾉ 　　　　ゝ　 `-! 　:|　i!　　.:;:　'~~ｰ~~'"　ﾞヾ　: : ::| 　　 r'"~`ヾ、　　　i!　i!　　 ,,-ｪェI二エﾌﾌ　: : :::ﾉ~|`T 　　 敬（たかし）くん見てるー？ 　　,.ゝ､　　r'""`ヽ､i!　`:､　　 ー　-　'"　:: : :／ ,/ 　　　　　　　　 　　!､　 `ヽ､ー､　　 ヽ‐''"`ヾ､.....,,,,＿,,,,.-‐'",..-'" 　　 | ＼ i:" ）　　　　 |　　　~`'''ー---―''"~ 570 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 571 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 572 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 573 名前：ご冗談でしょう？名無しさん [2013/08/28(水) NY:AN:NY.AN ID:ooXVQfj7] へいけーいけーい♪へいけーいけーい♪ 人生捨ててもまだマジキチ♪ あっと驚く奇跡も起きない♪ あなたと日吉であえそうだね確信♪ 574 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/28(水) NY:AN:NY.AN ID:???] 名前バレして来なくなったってことは、 今までの所業が悪いことだとは認識できていたってことだよね？ 本物のキチガイではなかったってことか・・・意外だな。 575 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/28(水) NY:AN:NY.AN ID:???] AKBスレで絶賛大暴れ中 576 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/28(水) NY:AN:NY.AN ID:???] >>574 本物のキチガイだよ 指原スレ行ってみなよ 577 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 578 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/29(木) NY:AN:NY.AN ID:???] >>558 講演ばかりで論文が>>552しか出てこないんだよな しかも、さらに謎なのは斎木研の業績に全くきゅむが出てこないんだけど どういうことだってばよ？ で、 >>552の論文見るとFDTD法のシミュレーションやってるね 前スレ 504 名前： ご冗談でしょう？名無しさん 投稿日： 2013/07/16(火) NY:AN:NY.AN ID:zaCk92+d >>503 東京理科大のバカには理解出来ないんだろ 静圧・風速は全方向に音速で伝播してエネルギーと情報を伝える その効果範囲は無限大で効果がなくなる境目など存在しない 家の蛇口をひねれば水源地の水位が変わるのさ 音速で伝播する この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件 これを破るシミュレーションは正しい結果をもたらさない ↑ FDTD法の知識を元に書いていると考えると多少はすっきりする しかし、同志社大の発表どうするんだろうな 金払えば一般人でも公聴できるよね？ いよいよ顔バレするのか 579 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/30(金) NY:AN:NY.AN ID:???] 往復3万かけてまで京都行く気にはなんないなーw 580 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/30(金) NY:AN:NY.AN ID:???] 微小系でしか適用されない現象を強制適用するという誤謬というか詭弁を押し通すのが特徴だよな 581 名前：ご冗談でしょう？名無しさん [2013/08/30(金) NY:AN:NY.AN ID:FuK/2DPJ] 同志社大のヤツ、満席ワロスｗｗｗ なんか「同志社オフ」をやるみたいｗｗｗ 582 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 583 名前：ご冗談でしょう？名無しさん [2013/09/02(月) 06:39:46.66 ID:IhCQkW8c] タカティーｗｗ 584 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/03(火) 08:19:02.53 ID:???] なかっち 動画 www.youtube.com/watch?v=z2qK2lhk9O0s みんなで選ぶニコ生重大事件 2012 vote1.fc2.com/browse/16615334/2/ 2012年　ニコ生MVP blog.with2.net/vote/?m=va&id=103374&bm= 2012年ニコ生事件簿ベスト10 niconama.doorblog.jp/archives/21097592.html 生放送の配信者がFME切り忘れﾌﾟﾗｲﾍﾞｰﾄを晒す羽目に 放送後に取った行動とは? getnews.jp/archives/227112 FME切り忘れた生主が放送終了後､驚愕の行動 niconama.doorblog.jp/archives/9369466.html 台湾誌 www.ettoday.net/news/20120625/64810.htm 585 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/09(月) 13:08:48.91 ID:???] >>549,551,554,559,561,564,566,567,570,571,572,577 削除依頼乙 ◆nyDbrW8/YE　=　非因果的ブラックボックス（哲学板荒らし）　=　きゅむ（AKBスレ荒らし）　=　慶応大学 理工学研究科 後期博士課程 T. H. アイドルだけに留まらず、 こいつの学歴差別ならぬ「学歴差“蔑”」は完全アウトだからな。 哲学板では先鋭的過ぎてタダのキチガイ。 排気風力発電関連では、各大学や大手企業(特に三菱系)へ対する病的に激しい名誉毀損。 物理学の大学院生としては許されない明確な詭弁の数々。 本来の意味での確信犯。 これで慶大が放置したら、慶大も同罪な。 ●「誹謗中傷した人」が法的保護を受けることは難しい 「誹謗中傷をしていたことが明らかになったということを理由に、損害賠償請求をすることは難しいと思います。自ら不法な行為をしていた以上、その者を保護するべき必要が乏しく、また、そもそもどういった権利が侵害されたのかということも必ずしも明らかでないからです」 headlines.yahoo.co.jp/hl?a=20130905-00000739-bengocom-soci 586 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 587 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 588 名前：ご冗談でしょう？名無しさん [2013/09/11(水) 15:22:00.05 ID:2XLo6bFR] ひらたかｓ君ビビッてるｗｗ 589 名前：ご冗談でしょう？名無しさん [2013/09/11(水) 18:36:53.89 ID:Kz0uPLT3] ひらかた市レスが悉くあぼーんｗ 590 名前：ご冗談でしょう？名無しさん [2013/09/12(木) 00:55:22.08 ID:6ZYRtXWG] これっていったいどっちの「主張」の方が正しいん？ ＃純粋に「学術的」に。 591 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/12(木) 05:12:31.51 ID:???] ダクト排気で風力発電でエネルギーを生み出すことは原理的に不可能 発電のためのエネルギー分排気能力を落とすことになるが， それならダクトの回転数を落とした方が節電になる。 592 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/12(木) 06:37:53.01 ID:???] このスレではもう排気風力発電の話なんか殆どしてないわけだが >>590の「主張」がそのことをいってるのなら >>31にある過去ログ見ればよかろ 593 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/12(木) 06:45:36.74 ID:???] 排気風力発電肯定派の意見のまとめは uni.2ch.net/test/read.cgi/sci/1292341218/792 とか 594 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/14(土) 21:36:01.47 ID:???] こんなこといってたのに>>356>>358 白痴未満大学院生はもう来ないのか 英文の査読論文要求しといてマトモに英語読めないのには参った 常に予想の上を行くダメさ あのヘンテコなholdの解釈でvon Neumann読んでるとか酷い冗談 595 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/14(土) 22:14:13.12 ID:???] 本名割れちゃったからね 恥ずかしくてこれないでしょw 596 名前：ご冗談でしょう？名無しさん mailto:sage [2013/09/16(月) 09:30:19.84 ID:???] もしかして学会中止？ 悪運強えな 597 名前：ご冗談でしょう？名無しさん [2013/11/09(土) 02:46:31.56 ID:7p775tHP] 平平平 598 名前：ご冗談でしょう？名無しさん mailto:sage [2013/11/09(土) 02:51:45.44 ID:???] 敬敬敬 599 名前：ご冗談でしょう？名無しさん mailto:sage [2013/11/09(土) 20:09:55.95 ID:???] 読み返すとコピペに流されて見逃してたものが見つかるな >>537はnorが関係代名詞which、接続詞sinceを飛び越えてholdに係るって言ってるのか > Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which > would be universal since ∀x(not x ∈ x) holds in ZF). そもそもholdsの主語は∀x(not x ∈ x)という命題であって、それが現れるだの現れないだの意味が分からない norがどうたら言ってるから全然違う構文解釈しているのだろうが、そうなると中学高校レベルの英語もまるで出来てないということだろう >>547ではsometimesをどんな意味だと言い張るつもりだったんだろう？ 600 名前：ご冗談でしょう？名無しさん mailto:sage [2013/11/15(金) 21:49:09.92 ID:???] >>495 ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86#.E6.B1.BA.E5.AE.9A.E4.B8.8D.E8.83.BD.E5.91.BD.E9.A1.8C.E3.81.AE.E4.BE.8B 数学と計算機科学において、「決定不能」という言葉には二つの異なった意味がある。 一つ目は証明論の文脈でゲーデルの定理に関連して使われる意味であり、特定の形式的体系の下で或る命題を証明も否定の証明もできないことを言う。 二つ目は（本項では詳述しないが）計算可能性理論に関連した用法であり、命題ではなく決定問題に適用される。 決定問題とは答が YES か NO のいずれかになるような問題の可算無限集合である。ある問題集合に含まれる全ての問題に正しく解答するような計算可能関数が存在しないとき、そうした問題は決定不能であると言う。 601 名前：ご冗談でしょう？名無しさん mailto:sage [2013/11/15(金) 22:52:07.89 ID:???] >>469 en.wikipedia.org/wiki/Paraconsistent_logic#Example で例に挙げられたLPでは、仮定p, not p, qからqは証明できてnot qは証明できない 敬君の意味で仮定p, not p, qからqが推論可能 一方、古典論理では仮定p, not p, qからqもnot qも証明できる 敬君の意味で仮定p, not p, qからqは推論不可能 paraconsistent logic LPは古典論理より、敬君の意味で推論能力が高いことになる >>375の引用と合わないね 602 名前：ご冗談でしょう？名無しさん mailto:sage [2013/11/16(土) 22:50:07.08 ID:???] >>375 www.iep.utm.edu/para-log/ Secondly, since DS is a valid classical inference, we can see clearly that a paraconsistent logic will validate fewer inferences than classical logic. (No classically invalid inferences are going to become valid by dint of inconsistent information.) That is the whole idea―that classical logic allows too much, and especially given the possibility of inconsistency, we must be more discriminating. This is sometimes expressed by saying that paraconsistent logics are ‘weaker’ than classical logic; but since paraconsistent logics are more flexible and apply to more situations, we needn’t focus too much on the slang. Classical logic is in many ways more limited than paraconsistent logic (see §4c.). 「矛盾許容」とか「弱い」といった言葉の響きだけで分かったつもりになっているようでは理系として無能 博士課程まで来てそんなでは救いようが無い馬鹿 603 名前：ご冗談でしょう？名無しさん [2014/01/16(木) 03:29:25.57 ID:bYaLT8U8] uni.2ch.net/test/read.cgi/sci/1364780009/190 　　↑　　↑　　↑　　　↑　　↑　　↑ 604 名前：ご冗談でしょう？名無しさん mailto:sage [2014/02/01(土) 21:58:23.52 ID:???] www.st.keio.ac.jp/event/2013_index.html?2 博士学位請求論文公聴会 日程：2014/02/05(水)13:00〜14:30 発表者：平 敬 題目：カルコゲナイド相変化材料を用いた局在表面プラズモン共鳴スイッチング 専攻：総合 場所：電子工学科会議室（25-402) 605 名前：ご冗談でしょう？名無しさん mailto:sage [2014/02/12(水) 23:15:59.88 ID:???] >>119>>129>>244 基礎の公理の成り立たない集合論 (non well-founded set theory) について 渕野 昌 kurt.scitec.kobe-u.ac.jp/~fuchino/foundation.html >>258>>280>>289>>311 鴨 浩靖 taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html よくある間違い2 「正則性公理（基礎の公理）はパラドックスを排除するために導入された」 数学の理論で公理を増やして定理が減ることはありません。だから、公理を追加することで矛盾が解消することなど、ありえません。 集合論そのものをよく知らなくても、常識を働かせるだけですぐわかる間違いです。なんでこんなのを信じちゃう人がいるんでしょうねえ。 606 名前：ご冗談でしょう？名無しさん mailto:sage [2014/02/15(土) 22:38:30.96 ID:???] >>366 証明において全ての公理を使う必要は無い そもそもZFの公理は無限個なのに対し、証明は有限の長さなのだから、全ての公理を使うのは不可能 本当に初歩的な知識も無いままデタラメ喚き散らしてる >>372>>373>>377 論文はparaconsistent set theoryが主題だが、引用した部分は本題に入る前の枕として古典論理上でのラッセルのパラドックスについて述べている paraconsistentという単語に反応してグダグダ喚く人工無能は平君 >>389 証明する意味など関係無く、証明能力の強いとはより多くの命題が証明できること 証明能力の強さが演繹体系の有用さではないということを矛盾した公理系の例から察しろというのは白痴未満君には無理な要求だった >>390 ある命題が決定不能とは通常、その命題も否定も証明できないことを言う 肯定と否定が両方証明されるときはそもそも公理系が矛盾している 推論能力という言葉はあまり使われていないようで勝手に意味を決めて使ってもよいだろうが おそらく大抵の人は証明能力の意味にとるだろうし、 白痴未満君が>>375でwikipediaからパクった文章でも証明能力の意味で使ってるだろう そもそも脳神経の性能が足りてない敬君が証明という概念を理解しているか疑わしいが >>495 多くの数学者は基礎論を殆ど知らない。基礎論に合わせることなど考えてもいないだろう 607 名前：ご冗談でしょう？名無しさん mailto:sage [2014/02/19(水) 23:25:08.73 ID:???] >>268 必要条件、十分条件、量化子、反例といった論理の基本からしてめちゃくちゃ >>418 CFL条件を理解していないか、そもそも不等式というものが理解できていないか >>266>>434>>441>>444 自分の主張の正しさより何でもいいから自分が勝ったことにするのに必死 突然、変てこな論文貼りゲームやってたことにして、その勝手に決めたルールには自分の勝利条件しかない まるで幼稚園児 608 名前：ご冗談でしょう？名無しさん mailto:sage [2014/02/28(金) 13:57:24.62 ID:???] ◆nyDbrW8/YE　=　非因果的ブラックボックス（哲学板荒らし）　=　きゅむ（AKBスレ荒らし）　=　慶応大学 理工学研究科 後期博士課程 T. H. アイドルへの激しい中傷だけに留まらず、 こいつの学歴差別ならぬ「学歴差“蔑”」は完全アウトだからな。 哲学板では先鋭的過ぎてタダのキチガイ。 排気風力発電関連では、各大学や大手企業(特に三菱系)へ対する病的に激しい名誉毀損。 物理学の大学院生としては許されない明確な詭弁の数々。 本来の意味での確信犯。 これで慶大が T. H. を放置したら、慶大も同罪な。 https://www.google.co.jp/search?q=nyDbrW8/YE&safe=off&tbm=isch 609 名前：ご冗談でしょう？名無しさん [2014/04/02(水) 03:19:19.69 ID:T8xC6gja] ２０１２年に世界中の政府に手渡されたUSBスティックが台湾政府によって、 台湾ケッシュ財団グループにリリースされたと知らされた。 そして私たちの要望に答えて、その全内容が今日公開された。 oriharu.net/KesheFoundation/KF_org%20data.rar 610 名前：ご冗談でしょう？名無しさん mailto:age [2014/04/06(日) 23:20:41.17 ID:???] フリーエネルギー詐欺 ttp://mizu888.at.webry.info/201403/article_93.html 611 名前：ご冗談でしょう？名無しさん [2014/04/07(月) 00:13:20.55 ID:N+yA3Js2] フィックス・ザ・ワールド・チームが、量子エネルギー発電機（Quantum Energy Generator; QEG）と呼ばれるオーバーユニティー装置を製造しました。 ここでQEGについて読むことができます。 hopegirl2012.wordpress.com/2014/03/25/qeg-open-sourced/ QEGユニットの詳しい図面と作り方はこちらからダウンロードできます。 hopegirl2012.files.wordpress.com/2014/03/qeg-user-manual-3-25-14.pdf 612 名前：ご冗談でしょう？名無しさん mailto:sage [2014/04/10(木) 23:58:30.40 ID:???] オカルトビジネス糾弾スレかと思ったら学歴スレなのかｗｗｗｗｗ 613 名前：ご冗談でしょう？名無しさん mailto:sage [2014/04/18(金) 12:52:19.72 ID:???] 巨人軍は永久に…永遠に… 614 名前：ご冗談でしょう？名無しさん [2014/04/22(火) 04:21:22.11 ID:knRHb9Wu] 大国に囲まれたほぼ無勝、千敗の超〜賎人は(バイクじゃなく)馬や船に乗って来たヒャッハー なお兄さん達に(少年誌だから描かれないが当然)go韓され続けたため、その末裔こそが気性 の激しい△△魔となってしまったのは無慈悲な地政学的宿命。リアル性器待つ覇者○○○○ハ ーンと同一のYを継ぐ者が現在全世界で1600万人もいるが貢献大。恨の文化や歴史捏造癖は (ドラマと異なり)惨めな歴史故だがお陰で若干体格は良くなり一部のオバ様達をあ〜逞しいと 言わしめましたとさ。あ〜キムい、キムい。 615 名前：ご冗談でしょう？名無しさん mailto:sage [2014/04/22(火) 13:03:45.88 ID:???] 「だ、誰だキサマ！」 「当ててみな　メコスジワールドへご招待するぜ」

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef