なぜ悪質な永久機関ビ ..
[2ch|▼Menu]
76:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN vWsFFnOb.net
>>72
>ZFの無限公理でやってるようなx∪{x}も認められない

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

77:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN .net
>>47
よぅ、低脳!
面白い論文見つけたから今日はこれで遊ぼうぜw

熱伝導方程式の数値シミュレーションと安定性
URLリンク(ultra2.phys.cst.nihon-u.ac.jp)
一次元熱伝導方程式は解析解も計算できるからシミュレーションのテストとしては丁度いい

この論文の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:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN .net
>>62
>無条件安定だからなんだ?
>それは正確という意味をカケラほども持ち合わせてない

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

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

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

じゃあ回答待ってるぞw

79:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN .net
調べてみたら慶応って偏差値70なくても入れるのな。

80:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN .net
へー理科大と大差ないんじゃない?

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

82:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN CAnhR17+.net
>>77
大差無い?
はぁ???
数字で言えよ低学歴の負け犬WWWWWW

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

83:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN CAnhR17+.net
>>81
バカによる詐欺を晒してバカの収入源を絶つのも人の勝手だなぁ?ん?

84:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN .net
>>78
>>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
>CFL条件は時間と空間の刻み幅の関係しか決められない
>精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない


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

85:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN CAnhR17+.net
>>62
>無条件安定だからなんだ?
>それは正確という意味をカケラほども持ち合わせてない

逃げるなよクズ

86:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN CAnhR17+.net
>>80
そんな頭だから理科大にすら受からないんだろWWWWWW

87:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN CAnhR17+.net
安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



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

88:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN CAnhR17+.net
>>77
>と矛盾するんだよな

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

89:ご冗談でしょう?名無しさん
13/08/02 NY:AN:NY.AN BPEoauIF.net
ケッシュ財団とか言う少し怪しい団体です。
URLリンク(www.keshefoundation.org)

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

90:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
メコスジ伝

91:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN oKXwvdVD.net
>>89
ホメオパシーとか原子1個も入ってないくらい薄めた水で金取る詐欺だろ?

92:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
URLリンク(livedoor.blogimg.jp)


93: 童貞きゅむこれでオナニーしな



94:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
偏差値70ない底辺きゅむがいくら吠えても無駄WWW

95:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
>>74
岩波数学辞典に執筆するクラスの専門家すら低学歴だからデタラメというやつに言っても聞かないと思うが
ZFと型についてはバカペディアはこんな感じだね
URLリンク(en.wikipedia.org)
> ZFC is silent about types, although some argue that Zermelo's axioms tacitly presuppose a background type theory.


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

96:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
> 全ての公理的集合論は型理論を内包している
> なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
> それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ

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

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

97:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN B0LODvQC.net
>>95
は?
完璧に内包されてんじゃん?
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなWWWWWW

98:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN B0LODvQC.net
>>95
お前まだ理解出来てないのかWWWWWWW

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

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

99:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN B0LODvQC.net
>>93
お前偏差値50しかない鳥取大だろ?ん?

100:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN 4LDfFYVs.net
こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない

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


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

102:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN 4LDfFYVs.net
>>77
>と矛盾するんだよな

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

103:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
ニートきゅむ

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


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

105:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN .net
メコスジ伝

106:ご冗談でしょう?名無しさん
13/08/03 NY:AN:NY.AN 4LDfFYVs.net
メコスジーノ

107:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN gjZn9zWb.net
自称()慶応理工学研究科博士課程のゲロブス指原ヲタが
スレリンク(joke板)

108:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN .net
【定期】きゅむまた発狂してんな
スレリンク(akb板)

109:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN .net
>>96
君の「集合族」は独自定義だろうね
意味が分からん

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

110:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN .net
>>76
URLリンク(researchmap.jp)
> 定義 2.13 型理論の言語 L^T は以下の要素を持つ
 ・・・
> * 任意の項τに対し、ある n が存在して項σが type n であり、項τが type n+1 を持つ時
>  のみ論理式 σ∈τ は有意味な論理式となる。

x∪{x} = {y | y∈x or y∈{x}}
変数yのtypeは何になるかね?

111:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN 1ukx3AL4.net
>>108
は?
完全にお前論破されてるぞ?

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

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

112:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN 1ukx3AL4.net
>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外

113:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN 1ukx3AL4.net
低学歴が「かね」とか書いても無意味だっつのWWWW

114:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN 1ukx3AL4.net
高卒は素朴集合論レベルから進歩してないWWWWW

115:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN .net
>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

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

116:ご冗談でしょう?名無しさん
13/08/04 NY:AN:NY.AN .net
> ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

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

117:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>114
だからどうした?
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ?ん?

118:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>115
全くどうでもいい
何の主張にも反論にもなってない

119:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>108
は?
完全にお前論破されてるぞ?

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

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

120:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
基礎の公理?
そんな未定義造語使ってる時点で高卒確定

121:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>114
はよ査読論文持って来いよ中卒

122:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>77
>と矛盾するんだよな

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


逃げたのか?ん?

123:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
メコスジ伝

124:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
ニートきゅむ

125:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>123
高卒ニートのお前がか?ん?

126:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
ID:DBZ0KgBH0
URLリンク(hissi.org)

どんだけ友達いないのこいつ

127:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>125
論破されて悔しかったのか?ん?
高卒ニートWWWWW

128:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>108
は?
完全にお前論破されてるぞ?

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

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

129:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
>>119
URLリンク(www.google.co.jp)
ご自慢の岩波数学辞典には載ってないかね?
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)

130:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒

131:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>128
>>108
は?
完全にお前論破されてるぞ?

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

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

132:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
>>121
いやあ、悪い悪い
忙しくてな

申し訳ないんで

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

>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない

を主張してる資料を低脳が提示してくれたら低脳の勝ちでいいよ!
>>111 みたいな事は言わないので
どの大学/企業/研究所の誰が書いたのかはっきりしてれば
講義資料だろうと査読受けてない論文だろうと発表資料だろうと構わない

低脳の書いてる事が正しいなら資料もすぐ見つかるだろうし
待ってるぜ

133:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
ひとつ書き忘れた
資料を提示できない場合は
低脳の負け

シンプルでいいだろ

134:131=132
13/08/05 NY:AN:NY.AN O4uncyk2.net
忙しくて書き漏らしが多過ぎるなw
期限を決めておこうか

2013/08/11(日)の23時59分までに低脳が
資料を出せない場合は低脳の負けってことでよろしく

楽しみだわw

135: 忍法帖【Lv=8,xxxP】(5+0:8)
13/08/05 NY:AN:NY.AN .net
当然永久機関を歓迎しましょう
一応君達に永久機関を全否定出来ますか?
無論御前達に永久機関を論破出来ますか?
多分貴方達に永久機関の可能性を無視出来ますか?

136:きゅむ代弁
13/08/05 NY:AN:NY.AN .net
>>133
そんなもの必要ない
とっくに論破済み(キリッ

とレスが来るでしょう
ええ

137:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>131
>>77
>と矛盾するんだよな

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


逃げたのか?ん?

138:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>133
そもそも十分性が示されてない
十分性って意味わかるか?ん?

139:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>132
十分性を示せて無い時点でお前の負け
すでに負けてるんだよ

140:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>131
はよ査読論文もってこいゴミ

141:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>128
>>108
は?
完全にお前論破されてるぞ?

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

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

142:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
完全にきゅむの負けw

143:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>141
悔しかった?
十分性を示せて無い時点でお前の負け

144:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>139
こんなレスしちゃってw
自ら自分が負けましたっつ言ってるようなものwww

145:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

146:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
英語読めないもんなあwwwwwwwwww

147:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>143
はよ査読論文もってこいゴミ

148:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>145
はぁ?
読んでるが何か?

149:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
きゅむは英語も読めないくせに「査読論文」とか言ってるんすよwwwwwwww

違うんならなんか出してみろや

150:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>144
いくらでもあるが?
バカなのか?ん?

151:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>148
西成の高卒ナマポニートWWWW

840 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/09(火) NY:AN:NY.AN 0
ほれ
180 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/19(火) NY:AN:NY.AN 0
>>178
原典読めよ高卒
URLリンク(consc.net)

152:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>149
>>149
え?証拠は?

153:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>150
証拠まだ?

154:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>151
833 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/27(水) NY:AN:NY.AN 0
sws1.bu.edu/osan/Lin_Osan_Tsien_Trends_Neurosciences_2006.pdf
海馬のコーディング解読

155:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
きゅむの読んだ論文ひとつでいいからあげてみてよ?

156:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>152
128 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/11(月) NY:AN:NY.AN 0
シラードのエンジンは実際に作れる
www.ieice.org/~netsci/wp-content/uploads/2012/01/NetSci201201_Sagawa.pdf

157:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>154
676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

158:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>154
678 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ

これはデネットの言ってる思考実験と全く同じもの>>576

三択以前にクオリアという幼稚な発想が全く成立しないことが実験から明らか

認知プロセスのどの局面でも統一された感覚などと言うものは無いのだ
それぞれのモジュールがトップダウンとボトムアップで競合して処理が行われる
その処理結果は一つに定まるが、起こってることを一つに記述することは原理的に不可能なのだ
たがそのままではエピソード記憶が不可能になるので、統一された一つの感覚があったことに捏造して記憶野に格納する
クオリアなどというものはどこにも無いのだ

159:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>154
725 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
URLリンク(eugen.leitl.org)
微小管のコヒーレンス時間は100fs
理論的に量子脳理論はあり得ないとフルボッコにされてんな
ハメロフはこれに反論せずに逃げてる

ツーソン会議っつーのはこういう追放されてるトンデモの逃げ場なんだよ

160:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>155
おまえさあ
論文名書いただけで証拠になると思ってんの?
真性バカ?

161:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>159
726 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>725
これに対してハメロフは引用はしてるのに一切反論してない
URLリンク(www.quantumconsciousness.org)
逃げてるゴミ屑
こんなのは科学者ではないよ

162:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>159
は?
論文名にそんなもん一切無いが頭弱いのか?ん?

163:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>161
またごまかしかw

164:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>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.
と、証拠の無い推測に過ぎないことを明記してしまっている



165: こいつの目的がわかった こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ http://consc.net/papers/2dargument.pdf これな



166:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>158
わかったよ
じゃあこの論文のサマリー書いてみろ
英語でな

167:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>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
これな

168:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>164
白痴か?
アブスト読め高卒

169:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
どしたー?
アルファベット読めなくて困ったか?ん?

170:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>166
はあ?
おまえが何にも理解してないことがよくわかったw

171:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
はよ査読論文もってこいゴミ

172:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>168
お前の負け

144 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

173:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>165
白痴そのもの

174:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>171
>>168
お前の負け

144 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

175:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>170
はあ?
あたま悪いやつの思考は理解できん

176:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
査読論文がなんなのかすら知らんのだろ

177:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>173
>>171
>>168
お前の負け
持って来た事は沢山ある事が証明された

144 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

178:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>165
おいおいおいおいwwwwwww
おれはバカですって全世界にwwwwwwww

179:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>176
consc.net/papers/2dargument.pdf


はよ読み終われよ
要約出来ないのか?ん?

180:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>175
はあ?
意味不明なトンでも解釈持ってきて証明とか噴飯ものwwwwwww

181:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
きゅむがアホを全世界に曝してるw

182:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
あ、日本語圏だけか


よかったな英語書けなくてwwwwwwwwww

183:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>178
日本語になってない
何が解釈なの?ん?

184:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
きゅむの無知が証明された

185:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>180
>>176
consc.net/papers/2dargument.pdf


はよ読み終われよ
要約出来ないのか?ん?

186:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>182
大学行けよWWWW
高卒ニートWWWWW

187:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>180
>>176
consc.net/papers/2dargument.pdf


はよ読み終われよ
要約出来ないのか?ん?

188:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>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
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

189:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>183
でた!!
形勢不利になった時の得意のコピペ連投w

190:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
コピペすれば勝ったと思ってるから笑えるwwwwwwwwwww

191:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>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
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

192:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>188
無視しても勝ったことにはならんよ?
永遠に逃げられない

193:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>186
英語で解説して
できるよね?
博士の学生なんだからwwwwwwwwww

194:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>190
>>186

195:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>191
は?
お前英語読めないから意味ないじゃん

196:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>192
で?
敗北した?

197:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>193
wwwwwwwww
ごまかすなよwwwwwwwwww

198:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>195
は?
なんで俺のレスに2つアンカーつけてんの?
狂った?ん?

199:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
英語書けない博士なんているの?

200:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
とうとう狂ったかWWWWWW

192 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>190
>>186

201:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>197
英語読めるんだろ?原典読めよ

202:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
とうとう狂ったかWWWWWW

192 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>190
>>186

203:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
>>197
きゅむは博士じゃないから読めなくて当然か

204:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>201
敗北したから自演?

とうとう狂ったかWWWWWW

192 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>190
>>186

205:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
>>202
はあ?
英語書けない博士とかあり得ないんですよw
昔どや顔できゅむが書いてた英語のひどいことひどいことw
中学生でももっとましな英語書くわwwww

206:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>203
>>551
反論しろよ?
はよはよはようWWWWW
676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

207:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN jn0NJiaA.net
英語書けない博士wwwwwwwww

208:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN h3/RhEky.net
>>205
英語読めなくて反論不能か?

209:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN n6NkomII.net
>>206
可愛いやつwwwwwwwwwww

指スレでバカにされてこっちきやがったwwwwwwwwwww

210:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN n6NkomII.net
いやーきゅむってホント馬鹿ですねw

211:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN KvNlk8Z2.net
>>207
はぁ?
お前が後だよバーカ
時間見ろノロマWWWW

212:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN KvNlk8Z2.net
>>207
高卒は全てがトロい
206 名前:ご冗談でしょう?名無しさん :2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
>>205
英語読めなくて反論不能か?


603 名前:名無しさん@実況は禁止です :2013/08/05(月) NY:AN:NY.AN ID:wR33wASY0
きゅむ永久機関スレでバカにされてんぞ
急げwwwww

213:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN n6NkomII.net
英語まだあ?

214:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN KvNlk8Z2.net
>>211
>
反論しろよ?
お前が英語読めることを証明出来なきゃ書く意味が無い

676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

215:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN n6NkomII.net
英語で解説どうぞ

216:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN n6NkomII.net
まさか英語できないの?

217:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN KvNlk8Z2.net
>>214
お前が英語出来ないの?

218:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN n6NkomII.net
え?英語書けない博士?
いくらレベル低い院でもそれはちょっと…

219:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN KvNlk8Z2.net
>>216
英語読めないから反論不能か?

220:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN 6de8B1/1.net
>>216
英語読めないから反論不能か?

221:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN PYZIVzay.net
きゅむスレでバカにされてんぞw

222:ご冗談でしょう?名無しさん
13/08/05 NY:AN:NY.AN .net
きゅむ帰宅した模様

223:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
最上級生27歳です(キリッ

224:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN 6de8B1/1.net
>>216
英語読めないから反論不能か?

225:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN KtcsqzxF.net
きゅむスレワロタ

226:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
きゅむTOEFLいくつ?

227:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>224
そんなもん受けるわけ無いだろ?
負け犬か?お前

228:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN gPiR8vud.net
>>224
WWWWWWWWWWWWWW

229:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>226
>>225
そんなもん受ける学者は0

230:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
英語できないきゅむ

231:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>228
TOEIC晒せや
写真で

232:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
TOEICWWWWWW

TOEFLだろ普通WWWW

233:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>230
はぁ?
どこが?
お前やっぱ中卒だろ?

はよ晒せや

234:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
TOEICとかまじかよWWWW

ただの家庭教師フリーターじゃん

235:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>232
はよ晒せや

236:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
アメリカの大学院行きたかったらTOEFLでしょきゅむちゃん

237:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>234
はぁ?
言い訳してねーではよ貼れよ高卒

238:靖国参拝、皇族、国旗国歌、神社神道を異常に嫌うカルト教団
13/08/06 NY:AN:NY.AN 95Psid2J.net
★マインドコントロールの手法★

・沢山の人が偏った意見を一貫して支持する
 偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法

・不利な質問をさせなくしたり、不利な質問には答えない、スルーする
 誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法


↑マスコミや、カルトのネット工作員がやっていること

TVなどが、偏った思想や考え方に染まっているフリや常識が通じないフリをする人間をよく出演させるのは、
カルトよりキチガイに見える人たちを作ることで批判の矛先をカルトから逸らすことが目的。

リアルでもネットでも、偽装左翼は自分たちの主張に理がないことをわかっているのでまともに議論をしようとしないのが特徴。

239:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
きゅむっていろいろボロがでるから面白いw

240:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
貼ってくださいお願いしますだろ?

だから家庭教師フリーターなんだよ

241:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
21 エリート街道さん sage 2013/08/06(火) NY:AN:NY.AN ID:Z4iRNPo9
2013/08/05(月)

3回線かな?

基地外が2ちゃんやるとこうなるよという典型だな

これが自称慶應大学院生の指原ヲタの一日の過ごし方だw


ID:DBZ0KgBH0
URLリンク(hissi.org)

ID:vVjcQnW70
URLリンク(hissi.org)

ID:Hm5gCyeM0
URLリンク(hissi.org)

242:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
URLリンク(www.google.co.jp)

こっちは


243:ョ礎性公理と呼んでたのね http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105 >>130 ∀x(not x∈x) はZF集合論では定理だが型理論では文法違反 これを数学的に同値と言うのかね? 君の「数学的に同値」とか「内包」とはどういう意味かね?



244:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN .net
ニートきゅむ敗北

245:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>238
貼れずに逃げたか?ん?

246:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>240
ZFじゃないだろ?
「ZFから正則性公理を除いたもの」だろ?
知能指数低すぎWWWWWWW

247:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>240
やっぱお前低学歴だなWWWWWWW
基礎の公理とか書いてるのはまともな大学じゃない

248:ご冗談でしょう?名無しさん
13/08/06 NY:AN:NY.AN pBpBlBRk.net
>>240
>∀x(not x∈x) はZF集合論では定理だが型理論では文法違反

0点
ZF集合論では集合とみなされないので定理にならない

本当に本当に白痴だなお前WWWWWWW


次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

179日前に更新/241 KB
担当:undef