- 1 名前：ご冗談でしょう？名無しさん [2013/07/30(火) NY:AN:NY.AN ID:T12LBRhp]
- ダクト風で風力発電とか詐欺そのものだろ？
ベルヌーイの定理
全エネルギー=静圧エネルギー+風速エネルギー
ダクト消費電力
静圧
風速
風車発電電力
これらを測れば良いだけなのに実測データが1つも無い
こういう科学を悪用した悪徳商法を追放すべき
※前スレ
uni.2ch.net/test/read.cgi/sci/1373148018/
- 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]
- どしたー？
アルファベット読めなくて困ったか？ん？
|
 |
