今まで閑古鳥だったfjスレが急に臭くなって来たぞ。
エムシラ、sci.mathに続いて2chでも自分のスレから逃亡かよ。とことんチキンだな。
ワス・・・嫁っこに・・・に、逃げられますたぁ〜!!! (゚д゚)
ワスの口座の預金が・・・あらかた引き出されてたッス!(涙々涙々
/:::::::::::::::::::::\
/::::::::::::::::::::::::::::::::\
|:::::::::::|_|_|_|_|_|
|_|_ノ∪ \,, ,,/ ヽ
|::( 6 ー─◎─◎ )
|ノ (∵∴∪( o o)∴)
| < ∵ 3 ∵>
/\ └ ___ ノ
.\\U ___ノ\
\\_ _) ヽ 敬白 マツシン
954 :
132人目の素数さん:04/04/16 22:36
今度のエムシラスレ、完全にウンコスレだな(w
sci.mathの面々もλ代数ぐらい使えよ。
くだらねぇところでエムシラに挙げ足とられちゃって、話が進まねぇじゃんか。
「挙げ足をとられた」というよりも「首を刎ねられた」に近いと思われ(w
>>957 ば〜か。
崖からまっ逆さまに落とされたけど、ちょっと隙をみせちゃったために
裾をつかまれてぶらさがられちゃってんだよ。x=xだのx=yだのぐだぐだ
やってないで、λ式で言うとこうだ、とやればそれでエムシラはいっかん
の終わりだよ。
λ式でどうなるかは教えてやらん。エムシラはここ見てパクるからな。
>>957 「首を刎ねられた」と言い張りたいなら、逆にエムシラの方から
λ式で表現してやっちゃどうだ?
馬鹿だのアホだの低レベルの罵りでなく、その程度のまともな
話ができるなら「首を刎ねられた」ってのを認めてやってもいいよ(w
>>958-9 御大、「私と議論したいなら、最低でも何々何々読んでからにしなさい」って5,6冊の洋書あげてて、
その中にH.B.Curryの"Foundations of Mathematical Logic"含まれてなかったっけ?
H.B.Curryが創始者なんだよな>λ計算。 漏れらのほうこそ「もう終わり」じゃんけ・・・。(涙
以前だれかのエムシラのRLでの論理式の表現はλ式のやきなましに過ぎないと指摘されたとき、
エムシラはλ代数は前世紀の遺物であるみたいなこと言って否定してたじゃん。
エムシラのその他の言動のどれをとってもλ代数を理解しているとは思えん。
理解しているというんなら、RLとの対比でλ代数が間違ってるという議論は
保留にしたままでも、今fj.sci.mathで議論されている内容をλ代数を使った
表現で解説可能ってことだよな。fj.sci.mathでやってみな。
逆に理解していないなら、λ代数での議論はできないってことになるよな。
どうせできるわけないけどな。
万が一それができたら信用してやるよ。
◆xbepNFP2hw のトリップを付けていた者ですが、旅先から。(そのためトリップが出せない)
久しぶりに M_SHIRAISHI さんの様子を拝見したら、sci.math をお引き払いでしたか。
まあ、fj.sci.math で罵倒三昧の方が気楽でしょう。
たまたま解析概論が手近にあったので読んでみましたが、
問題にされている解説は、微分を導入するところに置かれているのですね。
確かにとまどいがちなところです(直後に「xが独立変数であるときには、上記の dx=△x.
ということは、あまりに作為が過ぎるようであるが…」との注記がある)が、読み進んでいくと、
通常導関数として D(x^n) =n (x^(n-1)) のようにDを用いた式が多用されているなか、ところどころ
d(x^n)
---- =n (x^(n-1))
dx
みたいな表現が使われていて、この種の式に接しているうちに
「xの関数としてのx」という考え方に自然になじんでいくことを期待しているように思います。
その辺りの配慮が理解できないで「≪錯誤≫」、「≪錯誤≫」とわめき立てるあたり、
変数の扱いが不得手な M_SHIRAISHI さんらしいですね。
>>961 キタ━━━━(゚∀゚)━━━━!!!!
『御大に「ならば」を言ったら「でないならば」も言っとかないとまともに通じない』の法則
>>960 Churchがλ計算を考案したんだろ。
その本、今手元にないので調べられないのだけど、λ計算の話あったっけ?
たしかにHaskell B. Curryはλ計算とかカリー化とかのトピックで有名だけどさ。
>>960 ウソつきはどろぼうの始まり。
ラムダ計算は半世紀以上前にチャーチによって新しい関数の表記法として考えだされたものだ。
従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧になってしまうので、
ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表している。
そういう意味では、ラムダ記法を使えばエムシラに妙なあげあしをとられずにすんだはずだというのは的確な指摘だ。
カリー化というのは多変数の関数が1変数の高階関数として表現できるというもので、
後にカリーによって考案されたからこの名前がついている。
だからカリーがラムダ代数の創始者だという主張はかなり無理がある。
彼がその方面で重要な業績を残していることに異を唱えるつもりはないが。
それにしてもエムシラの論狸学はラムダ代数とは相容れないものではなかったのか?
エムシラの論狸式の独自表記法はラムダ記法の不完全な「車輪の再発明」にすぎない。
エムシラは数学関連の原文による蔵書のコレクションは豊富なようだが、
本棚に飾っておくだけでは数学ができるようにならないことに早く気づくべきだろう。
>エムシラの論狸学はラムダ代数とは相容れないものではなかったのか?
エムシラ論狸の発想は、たとえて言えば型つきラムダ計算のようなもの。
なんでもかんでも「型」にあてはめないと気がすまないのがエムシラ。
だから不動点作用素に用いられる自己適用のような発想は、
エムシラにはまったく理解できない。
現にゲーデルの不完全性定理の「間違い」として
エムシラが指摘するのは自己適用の箇所。
でもこれが許容できないと再起的定義なんて出来ないんだがな。
>>966の訂正 ×再起○再帰
>エムシラは数学関連の原文による蔵書のコレクションは豊富なようだが、
>本棚に飾っておくだけでは数学ができるようにならないことに
>早く気づくべきだろう。
小平の「ボクは算数しかできなかった」に、大学院生の口頭試問で
何を質問しても、そのことはどの本の何ページに書いてあるとだけ
いい、何が書いてあるか答えられない学生の話が出てくるね。
この学生ってエムシラそっくりだと思わない?
この学生は試験委員全員一致で落とされたそうだけど、その後
「大数学者ワイヤストラスも試験に落ちたというから自分は失望しない」
と捨て台詞をはいたって。これもまたエムシラそっくり(笑)
>>962 解析概論で
d(x^n)
---- =n (x^(n-1))
dx
みたいな表記があるんじゃ
エムシラの反論は無意味だね。
それとも今度は
”d(x^n)という表記は間違ってる”
と言い出すのかな?
エムシラっていつも出発点はそんなに悪くないんだけどなぁ…。
ちょっと注意力のあるやつならだれでも気づくような
「教育の過程におけるちょっとしたごまかし」に敏感に
反応してそのつまづきの原因を追及しようとする。
これは悪いことどころか、初学者の態度としては
多少は褒めてあげてもいいことかもしれない。
ただ、歩きだす方向が決定的に間違ってるのに、
ガンとしてそれを認められないからタチが悪いね。
もっとも、その追及の動機が論狸学の正当性を
ひけらかすためってのが醜いから褒めてあげるのは
やっぱりダメだな。
>>968 と、アッフォーがアッフォーなこととも知らずにアッフォーなことを申すていたのでありますた。(藁
>>966 > >エムシラの論狸学はラムダ代数とは相容れないものではなかったのか?
>
> エムシラ論狸の発想は、たとえて言えば型つきラムダ計算のようなもの。
> なんでもかんでも「型」にあてはめないと気がすまないのがエムシラ。
だとしたら、代数的な議論をあそこまでかたくなに拒絶するのは何故なのだろうか?
理解できないから?
読書量はそこそこあるみたいだからもったいない。
それとも理解したくないから?
ちゃんと勉強すると自分の提唱する理論を自ら否定する羽目に陥るのを無意識に分かっているんだったりして。
>>971 >だとしたら、代数的な議論をあそこまでかたくなに拒絶するのは何故なのだろうか?
型づけと代数は関係ないよ。
型にあてはめるっていうのは例えば数の型と関数の型を区別するってこと。
エムシラの思考は文字列検索とか文字列の一致判定を除けば
型の分類か機械的な計算しかない。
つまり計算機言語の処理系と同程度の機能しかない(笑
>>805 >なんとなくおかしいなと思っただけで、
>エムシラ本人にも人にはっきり説明できるような
>何かを掴んでいるわけではない
結局、
>>805のアホのアホな予想はまったくはずれたのだが、このアホ、首くくって果てたかな?(藁
[email protected] > 故:高木貞治(博士)とか Cauchy とか(?)は、y=x+c という特殊な場合
> にだけ成り立つ dx=△x という関係を、一般の場合に適用してシマッタ
> ので、「そりゃ〜、不味い」ってのが、他でもない、「このクイズの答」
> なのですよ。 ヽ(^。^)ノ
結局、クイズの怪解ってこれのことれすか?
だとすると
>>805の予想は、当たらずとも遠からずって感じじゃないれしょうか。
>>973 また「一部だけ取り出して引用してわざと曲解する」悪い癖がでちゃったのかな。
その3行に続く部分、特に最後の6行はモロに当たってるみたいだね。
>だからこそクイズということにして
>誰かが答えてくれるのを待っている。
>しかし、そもそもそのおかしいと思ったこと
>自体が勉強不足からくる毎度の勘違いだから、
>だれもエムシラの納得いく答えは出しようがない。
>だから、今後ももし誰かがfj.sci.mathに何か
>書き込みしても、それははずれだといって
>お茶を濁すだけ。
エムシラの中では+を使って他人を嘲るのがブームなのか?
一応忠告しておくと他人より多く他人を嘲った人間が賢いんじゃないぞ。
賢い人間が他人より多く他人を嘲う機会は多いかもしれないが。
尤も賢い人間は他人に嘲笑してるところ見せたりはしないだろうが。
977 :
132人目の素数さん:04/04/18 02:34
エムシラ著「嘘つきの論狸学」徳間書店w
>>976 と、笑われた間抜けが負け惜しみを言うとりますた(爆笑
>>977
エムシラ御大(著)『余の論理学を“論狸学”と誹謗した者の哀れなる末路』オックスフォード大学出版局,2007
980 :
132人目の素数さん:04/04/18 04:11
御大って推定45歳以上なのにパソコンの前で
>>978とか
>>979とか
打ってるんでしょ?ある意味笑えるw
人の哀れさとは、まさにこのことだな
>>979 オックスフォード大から出るなら、
その本当然英語でかかれるんでしょ?
論狸学って英語でなんていうの?
いくら英語に(自称)堪能でもそこまでは無理?
>>979 イオンド大学出版局の誤りじゃな〜い?(プ
>>985 エムシラにはもう相手の言動の角っこをつつくぐらいしか手がないんだろう。
>>986 それをいうなら
エムシラにはもう自分の馬鹿を理由に
相手のつっこみの馬鹿さを指摘する
特攻戦術しか手が無いんだろ
というべき
エムシラのsci.mathデビューで今年いっぱいぐらいは遊べると思っていたんだが、
早々と撃退→敗走→撤退となってしまって1スレももたなかったね。
>>988 ネットで威張るやつって、
実際に面と向かってみれば、
意外に控えめだったりするからな。
あと、日本語だと大口たたくくせに
相手が外国人で英語だとしおらしいやつとか。
エムシラもその類なんだろ。
おい、マツシン! 今こそfj.sci.mathに「復活」する絶好のチャンスだぞ!!!
この機会にエムシラのやつに一発見舞って積年の屈辱を果たさんかい!!!
行け、行け、マツシン、 Go,go,go!!!!
>>990 エムシラ、最後はマツシンの手で往生したいってことか?(w
age
sage
age
sage
age, sage, age, sage って、体操してる香具師がいるな(w
あげ
さげ
おしまい
1001 :
1001:
このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。