kingの講義 - 1231338167 - したらば掲示板

116：名無しさん：2009/04/03(金) 05:20:52 ID:???: お前のモニターが臭いんじゃね？
117：名無しさん：2009/04/04(土) 01:48:04 ID:JGpVsmpQ: kingは臭いのか
118：名無しさん：2009/04/04(土) 01:57:27 ID:lf4WcdfU: kingはイカ臭いのか
119：kmath1107：2009/04/04(土) 12:56:08 ID:x3ZJHA6U: Re:>>115,>>117-118 お前は何をしに来た。
Re:>>116 そのもよう。
120：粋蕎<ｲｯｷｮｳ> ◆C2UdlLHDRI：2009/04/05(日) 20:44:56 ID:5LQn7SKo: 腸抜きした大王イカで作った寝袋をkingに使わせる計画が無期限凍結中｡
121：名無しさん：2009/05/14(木) 11:59:23 ID:ZPFM9s4Q: kingさんp-進数やアデールについて教えてください
122：猫はWeilとちゃう ◆ghclfYsc82：2009/05/15(金) 06:59:20 ID:???: おいら～積
123：名無しさん：2009/05/15(金) 14:10:50 ID:eQRFKl1.: 猫さんが代わりに教えてくれますか？
124：猫は専門家じゃない ◆ghclfYsc82：2009/05/15(金) 17:49:14 ID:???: 取り敢えずは有限素点とか無限素点とかを念頭に入れて「英語版のウィキ」でも
見て下さいよ。まあアイデアの基本の一つはオイラー積表示だと猫は考えますが、
定義はそれとは別に考えた方がいいでしょうかね。あともう一つの注意事項は
「ハッセの原理」ですかね。標準的な教科書が何だかは知りませんが、代数的
整数論の教科書だったら何にでも書いてあるでしょう。少なくともWeilの本には
あります。
125：やんやん ◆jReFkq.CTY：2009/05/15(金) 21:39:06 ID:???: 数学に限っては英語版ウィキを見るよりも、
MathWorldの方がいいよ。
http://mathworld.wolfram.com/
例えばHasseの原理は
http://mathworld.wolfram.com/HassePrinciple.html
126：猫の印象 ◆ghclfYsc82：2009/05/15(金) 21:58:24 ID:???: ハッセの原理だけ見たけど、あんまり良い説明だとは思いませんね、
勿論人によるのだろうけれど。それよりちゃんとした教科書で勉強した
方がいいでしょう。
127：名無しさん：2009/05/15(金) 23:02:54 ID:eQRFKl1.: 数学科でもないし教科書でマトモに勉強するのはしんどい・・・
1,2,4,8,…が0に収束したりとか総和法と関係との関係は深いんですか？
128：猫は無知 ◆ghclfYsc82：2009/05/16(土) 03:52:52 ID:???: それは発散級数論とか、そんなのでしょうかね
猫は純粋数学者なので知りません
129：名無しさん：2009/05/16(土) 08:40:31 ID:r3AiqUI2: 発散級数は純粋数学じゃないの？
130：やんやん ◆jReFkq.CTY：2009/05/16(土) 10:05:01 ID:???: Hasseの原理についてはMathWorldよりWikiの方が説明が
良かったですね。すみません。
でも、MathWorldはちょっとした調べものに便利です。

ところで質問なのですが、
Langの教科書よりもWeilの教科書の方がいいのでしょうか?
代数的数論もちょっとかじってみたいのですが。
131：ねこ君 ◆ghclfYsc82：2009/05/16(土) 11:03:42 ID:???: それは「その人の好き好き」でしょうかね
まあ猫はたまたまWeilの本が身近だったからですかね
いや、それでLnagの本はとにかく誤植が多い多い・・・
そやからこそ「勉強になる」でしょうけれど
思い出しますとね、実は二人とも傍で観た事、っちゅうか喋った事がありますね
Lang先生は直ぐキレはるさかい・・・
132：名無しさん：2009/05/16(土) 11:19:17 ID:???: ポアンカレ十二面体って何ですか？
133：ねこ君 ◆ghclfYsc82：2009/05/16(土) 13:05:08 ID:???: な～んだったかな、何かの群が面白いんでしょ。
今度調べときますよｗ
134：名無しさん：2009/05/16(土) 16:18:59 ID:r3AiqUI2: 線分の通過領域の面積って折り返しや重複が無ければ
中点の移動距離に線分の長さを掛けた物に等しい？
135：ねこ君 ◆ghclfYsc82：2009/05/16(土) 18:46:16 ID:???: う～ん、確かに「そうなるケース」はいっぱいありますね
136：名無しさん：2009/05/16(土) 18:55:29 ID:r3AiqUI2: 必ずしもじゃないの？
137：やんやん ◆jReFkq.CTY：2009/05/16(土) 20:32:48 ID:???: 「線分の通過」をちゃんと定義してくれないとなんともいえない。
とりあえず平行移動という条件は必須のような。
138：ねこ君 ◆ghclfYsc82：2009/05/16(土) 21:25:52 ID:???: いやいや、猫が考えたのは「時計の針」ですよ
139：kmath1107★：2009/05/17(日) 11:53:57 ID:???: Re:>>120 お前は何か。
Re:>>121 整数論のことか。定義だけならすぐにできるかもしれない。
140：名無しさん：2009/05/17(日) 14:05:11 ID:oY4jwSkM: >>133
待ってます
よろしくお願いします
>>137
時間tの関数で各々のtの時それが線分になっているようなものを考えて
ある点がtの時の線分に含まれているようなtが存在する時、その点は通過領域に含まれると言う
tが複数存在している時、それは重複しているという
数学の用語に沿ってなかったり説明が下手だったりするのにはご容赦ください
平行移動に限定なんてそんな明らかな話はお聞きしないですよ
>>138
そうそう、時計の針とか
数学の専門の方でもすっとは出て来ない類いの問題なんですねぇ……
>>139
定義は一応調べましたが取り敢えずはそれでよろしくお願いします
141：粋蕎<ｲｯｷｮｳ> ◆C2UdlLHDRI：2009/05/17(日) 14:16:20 ID:T.2nvhdQ: Re:>>139 大王イカ製寝袋の制作｡
142：やんやん ◆yanyan72E.：2009/05/17(日) 17:52:03 ID:???: >>140
ごめんなさい。「時計の針」でもう>>134は成立しないと
思っていましたが
今計算用紙があったので計算していたら、
「時計の針」では>>134が成立しますね。
ところで、平行移動であっても斜めに平行移動したら>>134が
成立しないのは気付いていますか?

ここは、線分の中点が線分に対して垂直方向にのみ動くという
条件を暗に置いているとして解釈します。
「時計の針」はその非自明な例ですね。
ちょっと計算してみましたが、この時計を楕円にするだけで
計算が一気に複雑になります。

今、出先なのですが、帰ったらMathematicaにでも
計算させてみることにします。
143：あをい：2009/05/17(日) 18:09:50 ID:sQsrXFgI: 中点を中心に回転しては駄目という自明なことしか分からんかった
144：名無しさん：2009/05/17(日) 19:20:05 ID:oY4jwSkM: >>142
本当ですね
お恥ずかしながら四角形なんだから掛ければ大丈夫だろうという浅はかな考えで速断してしまいました
仰る通り垂直方向にのみ動くという条件でお願いします
わざわざMathematicaでやっていただけるとはありがとうございます
>>143
中点を中心に回転した場合は逆方向の通過領域を負の面積だと考えれば含められますよ
145：ねこ君 ◆ghclfYsc82：2009/05/18(月) 07:43:56 ID:???: >>144
恐らくそれ「も」本質の一つでしょう。
146：名無しさん：2009/05/18(月) 09:10:08 ID:yEowxBT6: >>145
答えを知ってるなら勿体振らずに教えてください猫さん
147：猫氏です ◆ghclfYsc82：2009/05/18(月) 09:17:18 ID:???: また「あっち」がアク禁ですな

そんで答えなんてモンは「皆で創る」モンですよ
元々の問題なんてどうでもエエじゃないですかｗ
148：名無しさん：2009/05/18(月) 09:23:24 ID:???: 猫さんバナッハタルスキの逆理の１次元版の否定の証明方法ってご存知ないですか？
149：猫氏です ◆ghclfYsc82：2009/05/18(月) 12:06:10 ID:???: それは知りませんが、でも「一次元」だったら当然否定したくなりますねｗ
150：名無しさん：2009/05/18(月) 15:56:20 ID:???: 否定されてるんですけどフランス語で読めなかったんです
フランス語の堪能な猫さん助けてください
151：猫氏です ◆ghclfYsc82：2009/05/18(月) 16:13:46 ID:???: 否定って、ああそうなん。そんで「誰がどういう方法で証明」したかを
教えて下さい。それで文献を教えてくれたら猫も見てみたいです。
152：猫氏です ◆ghclfYsc82：2009/05/18(月) 16:31:50 ID:???: 千葉大教育とかKenzi Satoとかが出て来ました。
153：名無しさん：2009/05/18(月) 23:06:14 ID:???: >>151
これです
ttp://matwbn.icm.edu.pl/ksiazki/fm/fm4/fm412.pdf
154：山猫軒 ◆ghclfYsc82：2009/05/19(火) 05:38:00 ID:???: ちょっと読んでみたけど、こういうのは数学的には「非日常」だから
難しいねぇ、数学で大事なのは何が正しいか正しくないかじゃなくって
「何処にエッセンスがあるか」ですからね、まあ関数解析とかでは
こういうのは「けっこうある」んだけれど、まあ「猫は苦手」なんで・・・

P.S.「あっち」でまた何か言うてはる人が居るみたいやけど、「猫は
２ちゃんはアク禁や」って誰か伝えておいて下さいな。
155：名無しさん：2009/05/19(火) 11:38:03 ID:???: 簡単に翻訳か概略を書いていただくわけにはいきませんか・・・？
156：猫でつ ◆ghclfYsc82：2009/05/19(火) 11:42:23 ID:???: もうちょっと待って下さい、猫の「得意方面」ではないので。
そんで「翻訳」は絶対にご勘弁。
157：名無しさん：2009/05/19(火) 20:57:58 ID:???: いえ、もちろんそれで結構です
お待ちしておりますー
158：やんやん ◆yanyan72E.：2009/05/22(金) 05:21:16 ID:???: >>144
寝起きにMathematicaを起動して線分が楕円上を動く場合を計算させました。
といっても解析的には無理みたいだったので数値的にやりました。
結果としては、>>134はこの場合成立しませんでした。
nbを置いておきますね。
http://arakawa.mydns.jp/up/src/cyclotron_n1325.zip.html
DL keyはkingです。
159：猫の疑問 ◆ghclfYsc82：2009/05/22(金) 08:05:40 ID:???: 何ででしょうかねぇ。楕円じゃなくって円だったら凄く特徴的な事が起こって、「その障害」って
のは曲率というか「円の半径」みたいなモノで決まる感じが何となくしますが・・・

とにかくまあ「ちょっと変な世界」みたいですね。そんで「そのファイル」ってのはpdfみたいで
すが、downloadしたらフリーズしたのでリブートしましたね。まあ最近のパソコンは糞やねぇ
160：やんやん ◆yanyan72E.：2009/05/22(金) 10:14:08 ID:???: >>159
.nbという拡張子はMathematicaのものです。
Mathematica Playerで読めます。
http://www.wolfram.com/products/player/
161：猫でも知ってる ◆ghclfYsc82：2009/05/22(金) 10:59:15 ID:???: いや知ってますよ、Mathematicaのnotebookでしょ。Mathematicaは前は持って
ましたが、全然使わないのでどっかへやってしまいましたし、それにversionも古いで
すよね、猫が持ってるヤツは。そんで拡張子は.nbでも、何故かAcrobatが立ち上が
ってましたんで。

まあでも結論は「主張が（そのままでは）不成立」という理解でいいんでしょ？
162：やんやん ◆yanyan72E.：2009/05/22(金) 13:57:41 ID:???: .nbを読むだけならば、Mathematica Readerで十分で、
Mathematica Readerは>>160のアドレスから無料で
ダウンロードできますよ。
最近は純粋数学者もMathematicaをフル活用している人は
少なくないんではないですか?
少なくとも超弦理論の中でも数学寄りの人はけっこう
Mathematicaを活用しています。

能書きはさておき、とにかく、私の計算ミスでなければ、
主張はそのままでは不成立という理解でいいです。
163：名無しさん：2009/05/22(金) 22:47:00 ID:???: >>158>>162
ありがとうございます、お手数お掛けしました
しかし成り立ちませんでしたか・・・
家庭教師先の生徒に言われてちょっとドキリとしたので伺ったのですかただの偶然っぽいですね
164：猫の提案 ◆ghclfYsc82：2009/05/23(土) 00:48:19 ID:???: >>all
いや、それで終わらせない方がいいと思います。
この問題は数学として中々面白いと思いますね。
それこそバナッハ・タルスキーよりも「何かある」
と猫は感じます。
165：やんやん ◆yanyan72E.：2009/05/23(土) 01:42:04 ID:???: >>163,164 みなさま
ごめんなさい!
ケアレスミスがありました!

楕円の場合は>>134は成立します。
http://arakawa.mydns.jp/up/src/cyclotron_n1334.zip.html
別の曲線でも試してみたいですね。
166：猫でつ ◆ghclfYsc82：2009/05/23(土) 03:31:02 ID:???: ほ～　やっぱり猫が予想した通りですね。まあ此処まで来れば
次は「命題の証明」でもエエんだろうけれど、それよりも更に
計算機実験をするならば猫ならば「高次元の場合」でしょうね。
というのは未だちょっと全体の仕掛けが猫には読めないモンで・・・
167：猫でつ ◆ghclfYsc82：2009/05/23(土) 03:39:48 ID:???: それに更に加えて猫の疑問ですが、
「何故中点でなければならないか」
というのでさえ問題としてありますしね。
但し「この論点」は定式化が非常に難しい、
というのは「時計の針」では端点を選ぶと
結果がゼロになり得るからです。
168：猫でつ ◆ghclfYsc82：2009/05/23(土) 03:51:33 ID:???: >>165
それこそもしやるんだったら、カージオイドとかサイクロイドとかで、
特異点があるヤツを猫ならばやってみますが・・・
169：猫でつ ◆ghclfYsc82：2009/05/23(土) 03:56:47 ID:???: それと二次曲線（所謂「円錐曲線」というヤツ）は外しましょう。
例えば非特異ならば：
x^2(x-1)=y^2
とかで、また：
x^3=y^2
は特異点を持ちます。
170：名無しさん：2009/05/23(土) 14:21:56 ID:???: >>165
そうでしたか！　ご苦労様です
まあ確かに円と方形の両方で成り立つなんて偶然にしてはちょっとですもんね

>>166
多次元等に一般化するなら「図形を重複することなく移動させた場合、その通過領域は移動角度の正弦を
重心の移動距離で積分したものにその図形を掛けたものに等しい」あたりですかね
ていうか私たちが知らないだけで普通に定理化されてそうな気がしますけどね
171：名無しさん：2009/05/23(土) 14:41:44 ID:???: >>164
あとそんなこと言わずにお願いしますよ
自分にとってはバナッハ・タルスキーの方が「何かある」と感じるんですから
172：やんやん ◆yanyan72E.：2009/05/23(土) 15:27:59 ID:???: インタラクティブにしてより分かりやすくしてみました。
http://arakawa.mydns.jp/up/src/cyclotron_n1345.zip.html

とりあえず、次はカージオイドあたりに挑戦してみます。
173：猫でつ ◆ghclfYsc82：2009/05/23(土) 16:53:44 ID:???: >>170
いやいや、こういうのはきっと既にどっかにあるでしょう。
でもそれが「完璧な回答」という保障は何処にもありません
なにやら「変分方臭いな」という気がするんですが、まあ
素人感覚なんで・・・
174：名無しさん：2009/05/24(日) 02:01:44 ID:???: あ、ところで猫さんバナッハ～はいつ頃に見当は付きますでしょうか
期待しながらずっと待つっていうのもちょっときついんで・・・
全然見当が付かないならそれはそれで構わないですが
175：やんやん ◆yanyan72E.：2009/05/24(日) 07:28:11 ID:???: >>169>>170
サイクロイド、カージオイド、y^2=x^3を試してみました。
前2者について>>134は成立、最後については>>134は不成立という
結果になりました。

これは、なかなか面白い結果なんではないでしょうか?
176：やんやん ◆yanyan72E.：2009/05/24(日) 07:40:40 ID:???: >>174
バナッハタルスキーは自分としては興味があるので
もしも見る時間があったら見てみます。
177：やんやん ◆yanyan72E.：2009/05/24(日) 13:38:48 ID:???: >>175
あ、y^2=x^3だけ開いた曲線だから、そこで間違ってる可能性があります。
あとで検証します。
178：猫でつ ◆ghclfYsc82：2009/05/24(日) 16:22:54 ID:???: 非コンパクトというのも然る事ながら、端点が「特異点を通過」する
所を精密に見て下さい。それで「更に実験が必要」ならば、大昔の
数セミの別冊で：
「デカルトの精神と代数幾何」（黄色い表紙）
にかなり一杯素材があります。そうでなければ堀川さんの教科書
とか上野健爾さんの本にも何か実例があったと思いますね。

実は最初は「代数曲線で、しかも二次でなければダメか」と疑いま
したが、三次とかでも大丈夫そうだし、また代数曲線でなくても超越
函数でも良さそうだし、更に特異点があっても良さそうだし、てな感じ
ですね。

なので「既に知られているかどうか」は別として何かあるのは確実で
しょうね。
179：名無しさん：2009/05/24(日) 20:21:51 ID:???: >>176
ありがとうございます
どうかよろしくお願いします
180：ねこっち ◆ghclfYsc82：2009/05/31(日) 08:38:35 ID:???: あれからまたちょっと見てみました。それで「猫の感覚」としてはBanach-Tarski paradox
というのは、とにかく３次元だったかで反例がある訳で、それだけで「数学的な直感というか
自然な感覚に反する事実が論理的には正しい」という事実を示している訳で、それを１次元
でも提供したいというのであれば、何か特別なモチベーションが必要です。それで、その「モ
チベーション」を何も理解していない猫がフォローしても、論理だけでは何を見落とすか怖く
てなりません。何だかみっともない言い訳みたいですが、「猫は数学の力が無い」と思って、
諦めて下さい。まあ、また引き続いて時々眺めはしますが・・・
181：名無しさん：2009/06/01(月) 04:40:18 ID:???: いえ、確か１、２次元における否定の証明は３次元における証明（Banach-Tarski paradox）より早かった筈です。
だから猫さんの言う意味でのモチベーションはあります。
あと猫さんにとっては違うのかもしれないですけど、自分には「何も知らないよりは見落としのある理解の方がマシ」ですので、
できれば流れの雰囲気だけでも伝えていただければ嬉しいです。
182：ねこっち ◆ghclfYsc82：2009/06/01(月) 07:31:43 ID:???: はあはあ、なるほど。以前よりは深く了解しました。あなたが仰る：
「何も知らないよりは見落としのある理解の方がマシ」
というのはとても素晴らしい考えですね、猫の場合と全く同じです。

それで質問なんですが、１次元や２次元で反例があるのに、では
「何故３次元の反例を構成しなければならなかった」
のでしょうか？　また、という事は：
「任意の次元での反例の構成」
にさえも意味があるのでしょうか？
猫は知らないので教えて下さい。

猫の興味としては、むしろ「フラットではない空間」でやってみたいですね、
（コンパクトな）双曲多様体とかですね・・・
183：ねこっち ◆ghclfYsc82：2009/06/01(月) 08:02:47 ID:???: やんやんさんへ、
あなたが計算したMathematica notebookをftpで落としたいので、
何とかして戴けませんでしょうか？
（或いはソースのテキストだけを貼り付けて下さっても結構ですが。）
184：やんやん ◆yanyan72E.：2009/06/01(月) 10:28:57 ID:???: あとでアップしますのでちょっと待って下さいね。
185：やんやん ◆yanyan72E.：2009/06/01(月) 11:23:20 ID:???: >>183
最新版です。

http://arakawa.mydns.jp/up/src/cyclotron_n1452.zip.html
ダウンロードのキーはあいかわらずkingです。

開いた曲線で計算が狂うのは、計算を見れば明らかなことで、
お恥ずかしい限りです。
186：ねこっち ◆ghclfYsc82：2009/06/02(火) 03:05:51 ID:???: ファイルは未だ一個しか落としていませんが、syntaxをもう忘れたし、また最近のは
graphics関係の制御コードがあるので、其処は取り敢えずは無視してCだと思って
読んでいますが、まあまあちょっとですかね。

それで「この問題」は猫の研究ノートに入れておきたいのですが、「やんやんさんの
プライオリティ」はどうしましょうか？

それでambientがユークリッド３次元で、２次元の境界付きコンパクトが動く場合で
は、上の「時計の針」の一般化で主張が成立の実例が一つだけあります。まあ「問題
の点」ってのは差し当たっては「動く図形のbarycenter」ですかね・・・
なので「何故barycenterでなければいけないのか」が気になって仕方がありません

この問題は「境界の存在」を避けて通れないから少々厄介ですね。
187：名無しさん：2009/06/02(火) 03:50:55 ID:???: 私のプライオリティは＞＜
188：やんやん ◆yanyan72E.：2009/06/02(火) 04:07:33 ID:???: >>186
>>187
すいません。論文が遅延して論文に週末ぐらいまで
最優先のプライオリティでやらなければいけない状況です。
バナッハタルスキーについては猫さんの方が詳しいようですので、
猫さんにお任せします。私には猫さん以上の知見を
述べることはできないと重います。
189：名無しさん：2009/06/02(火) 05:05:07 ID:???: というか回転移動で成り立つことが分かっているんだから、
中点の軌跡を円弧で近似して極限を取れば普通に示せるような。
３次元における平面図形の移動にしても、回転移動の時に成り立つことは
一次モーメントが重心の両側で等しいことから簡単に示せるわけで、
それを同様に円弧で近似してやれば示せるだろうし、
況やもっと高次元の場合をや。

まあ数学者の人はもっと厳密な証明を付けなきゃいかんのでしょうけど。
190：やんやん ◆yanyan72E.：2009/06/02(火) 05:20:35 ID:???: >>189
特異点がある場合やC^2ではない場合などが
問題になってくるのではないでしょうか?
191：ねこっち ◆ghclfYsc82：2009/06/02(火) 06:12:18 ID:???: いや「名無しの人のプライオリティ」はとても気になっていましたが、「名無し」
なのでどうしようもないから「どうしようか」と思って悩んでいた所でした。
だから、もし何かが出来上がって公表という事態にでもなれば「菜々氏さんの
定理」にでもしようかとかギャグを考えていたんですが・・・

もし名乗って下さればメアドくらいは控えておきますが
そんで「やんやんさん」は東大の松尾研に問い合わせますので

まあいずれにしても「何かが出来てから」ですけどね・・・
192：ねこっち ◆ghclfYsc82：2009/06/02(火) 06:26:11 ID:???: まあ「差し当たっての証明」ですか、円弧を繋ぎ合わせてC-infinityとかC-twoで近似
とかいう昔のＰＬトポロジーみたいな方法ですかね、それは。まあ正しく定式化すれば、
証明は各種あるでしょうね。猫が今のところ想定するのは領域摂動とか変分法に持ち込
む類のルートですけどね・・・　今の段階では何もはっきりとはしません・・・

それよりも、特に高次元の場合に「問題を正しく定式化する事」でして、今猫が一つ想定
している状況は「２次元の円盤を３次元空間内で回転してソリッド・トーラスを得る場合」
ですね、要するにドーナツですよ。これが「猫が考える時計の針の一般化」ですよ。それ
でこれは「楕円盤でも成立」します。また「表面積の考察」もしたい所で、ソリッド・トーラス
の境界は２トーラスですから。
193：ねこっち ◆ghclfYsc82：2009/06/02(火) 07:03:33 ID:???: やんやんさんへ
もし出来ましたら「線分の端点が特異点を通過する場合」のケースの数値計算
をもっとして戴けると助かりますが。もし非コンパクトが嫌ならばコンパクトでも
特異点を持つ場合がありますよね、但し曲線は超越函数が定義する場合であっ
て、代数的な射影多様体ってのはちょっと別な考察が必要でしょうね。
194：名無しさん：2009/06/02(火) 22:33:21 ID:???: >>182
すみません、「否定」というところで説明したつもりだったんですけど言い方が悪かったみたいです。

１次元や２次元において全部分集合に合同変換不変な有限加法的測度が存在「する」ということ（>>153）
３次元において全部分集合に合同変換不変な有限加法的測度が存在「しない」ということ（Banach-Tarski paradox）

です。だから１次元や２次元で反例は存在しません。
195：ねこっち ◆ghclfYsc82：2009/06/03(水) 01:17:23 ID:???: それなら了解です。是非とももう一度読んでみましょう
でもまあそれで「問題意識」は一応の決着ですかね
それならば他の空間や多様体でやってみる意義は
然程は無いでしょうね
196：名無しさん：2009/06/06(土) 20:22:25 ID:???: ありがとうございます。
待ってます。
197：猫の考え ◆ghclfYsc82：2009/06/06(土) 20:35:52 ID:???: やっぱりねぇ、初めてパソロジーが起こるクリティカルってのは大事
なんですよ。だから「３次元」ってのは何か非常に深い意味があるん
でしょうね、まあ「そう思って」読んでみますわ
198：名無しさん：2009/06/19(金) 04:11:15 ID:pxe0pIms: BTHage
199：猫の星座 ◆ghclfYsc82：2009/06/19(金) 05:26:53 ID:???: AnTa Hage?
200：名無しさん：2009/06/19(金) 07:21:29 ID:???: mAo INoUe
201：名無しさん：2009/06/19(金) 08:51:03 ID:???: 猫さん>>153は読めましたか？
202：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 08:52:15 ID:???: MaO ha NeKO no HoSHi
203：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 09:31:22 ID:???: いや実は今、引越しの準備をしてましてね、それに加えてこの糞Vistaで
pdfを開けると何時も固まるんですな、尤もコレはポーランドのサーバー
のせいじゃないんでしょうけれどね。まあ胸糞が悪いんで、さっきにLinux
の方にアドレスだけ移しましたが。

まあ、もうちょっと待って欲しいんですがね、そもそも昔のルベーグの本に
書いてある理論展開は現代の整理されたやり方とは随分違うんですよ、
まあF-sigma setとかG-delta setとかですね、とにかくややこしいんで
すよ。そんで単調収束定理とか、まあ今だったら当たり前な話が当時は
そうじゃなかった訳で、それにポーランドの連中って積分論とか関数解析
がやたら好きなんで、猫の趣味には全然合わんのですよ。

まあまあ・・・
204：Pawn ◆D5XKTza9aY：2009/06/19(金) 13:26:14 ID:???: くそVistaの影響を実験でもろに受けました。
VLCメディアプレイヤーのマルチキャスト機能って死んでる？
205：Pawn ◆D5XKTza9aY：2009/06/19(金) 13:26:49 ID:???: ユニキャストならストリームの再生はOKでした。
206：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 18:08:52 ID:???: とにかく画面制御がなってないねぇ　恐らくはどのレベルかの割り込みで
アクロバットをファンクション・コールするんだろうけれど、其処でハングす
るんでしょうな。どう考えてもブラウザが悪いとは思えませんな。だって
全く同じブラウザをマックで使っても何も問題を起こさないんだしね

まあこんな不完全なOSを高い値段で売り付けるとは、マイクロソフトも
けしからんなぁ
207：Pawn ◆D5XKTza9aY：2009/06/19(金) 18:46:40 ID:???: 数学者が本気でOS作ったらさぞ美しかろう。
208：やんやん ◆yanyan72E.：2009/06/19(金) 19:15:45 ID:???: 美しいソフトウェアがいいソフトウェアとは限らないのが難しいところ。
Daniel J. Bernsteinが書いたソフトウェアなんてとても数学者っぽいし
美しいけれど、美しさが逆に邪魔になってしまって
結局今使われているところを見ない。
209：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 20:11:33 ID:???: そもそもCPUの命令セットがかなり人工的な構築物でしょ
だから「そんなの」を基にして美しさを求めても良いOSは
出来ないんじゃないでしょうかね。それよりも猫が天才を
感じるのはRichard StallmanとかSteven Jobbsですね、
まあ極めて月並みな感想ですが。いやそんで、猫は実は
Donald Knuthは余り美しいとは思わないんですよ、確か
に残したモノの影響は絶大ですが、彼の仕事には何か
「遊び」みたいなのを感じませんね、一方で数学の論文は
面白いですが。それと恐らくJohn Mackercy（スペルはコレ
で合ってますかね？）もかなり凄いんだろうけれど、不勉強
なので判りません。

いずれにしても、NeumannとTulingだけはどう見ても別格
ですよね、このクラスだけはちょっと他には有り得ませんな。
210：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 20:50:59 ID:???: とても恥ずかしいミスの訂正でつ。正しくは：
John McCarthy
Alain Turing
ですね、謹んでお詫びして訂正致します
211：やんやん ◆yanyan72E.：2009/06/19(金) 21:00:40 ID:???: 実はKolmogorovがけっこう好きだったりします。
Neumannは全分野合わせて20世紀最大の天才に挙げて
いいレベルだと評価しています。
Turingも勿論凄いですが。
212：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 22:35:06 ID:???: Kolmogorovなんて言ったらアカンですよ、だってGelfandを育て、
確率論を厳密な現代数学として成立させ、ロシアの数学を立ち上げ・・・
もうそりゃ神様ですわな。それに物理の仕事さえあるそうですし・・・
現在の極めて強力なロシア数学の成立の立役者じゃないですか！
それに恐らくねぇ、あのArnoldでさえ弟子なんじゃないかなぁ・・・
一度でいいから、そのご尊顔だけでも拝みたかったですわ
213：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 22:51:46 ID:???: いやいや、まあねえ。NeumannとWeilとを比べたらどうなんですかね
好き嫌いは別としても、全く何も言えませんねぇ
幾ら好かんとは言っても、基礎論から爆縮レンズの基本設計までねぇ
流体力学から量子力学から関数解析から、もう頭の病気ですかね
まだ他にもWeylも居るし、Siegelも居るし・・・
まあ「こんな人達」はEulerみたいなクラスなんでしょうなぁ
いずれにしても、猫みたいな庶民っちゅうか下々には関係ありませんよね
数学をやっててとても楽しいんだけれど、でもねぇ、
まあ「お釈迦様の掌」みたいな話ですよね・・・
こういう人達を知ってしまった自分がちょっと悲しいかもね
214：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 23:02:30 ID:???: あと、忘れたらバチが当たるね、GodelとEinsteinですね
215：猫はヲッサン ◆ghclfYsc82：2009/06/19(金) 23:17:19 ID:???: アンタが変な事言うから、生きてるのが嫌になった