unixと数学

[1 名無しさん＠お腹いっぱい。 NG NG]

密接な関係があると思ふ。

[58 名無しさん＠お腹いっぱい。 NG NG]

距離空間に自然な位相を入れるとき，
ε近傍を使う．

[59 名無しさん＠お腹いっぱい。 NG NG]

門外漢には、数学で言うところの空間や次元ってのは
どうもいまいちピンコしないですよね。センスないん
だろな。

[60 名無しさん＠お腹いっぱい。 NG NG]

>>59
数学でいう空間とは集合になんらかの
「構造」を入れたものをいう．それだけのこと．
次元はケースによるから一口にいえない．

[61 名無しさん＠お腹いっぱい。 NG NG]

>>60
その「構造」が曲者ね。
恥かしい程度にベンキョしときます。

[62 名無しさん＠お腹いっぱい。 NG NG]

「構造」もケースによるけどな。

[63 名無しさん＠お腹いっぱい。 NG NG]

スメールハーシュまんせー

[64 名無しさん＠お腹いっぱい。 NG NG]

>>62
「構造」は Bourbaki の `Elements de Mathematiques' で
厳密に定義されている

[65 名無しさん＠お腹いっぱい。 NG NG]

苦労したけどブルバキは面白かったなあ。

[66 名無しさん＠お腹いっぱい。 NG NG]

　 ∧＿∧
　（　´∀｀）＜　ぶる

[67 名無しさん＠お腹いっぱい。 NG NG]

　 （　・∀・）　　　|　|　ﾊﾞｷ
　と　　　　）　 　 |　|
　　 Ｙ　/ノ　　　 人
　　　 /　）　 　 < 　>__Λ∩
　 ＿/し'　／／. Ｖ｀Д´）/
　（＿フ彡　　　　　 　　/ 　←>>66

[68 名無しさん＠お腹いっぱい。 NG NG]

数学や理論物理崩れの人で情報系の仕事してる人とかいるの？

[69 65 NG NG]

>>68
私（'64生まれ）の世代は結構いるよ。
いつの間にかっていうのが多いけど。

[70 名無しさん＠Ｅｍａｃｓ NG NG]

挫折のあとにUNIXに流れ着いたような人だと、
正直、こういうスレは我慢ならないのかな
なんて思ってみたりして。

[71 数学崩れ NG NG]

>>68
( ･∀･)ﾉ ﾊｲ!

>>70
別に。
ネタはネタだし。

[72 名無しさん＠お腹いっぱい。 NG NG]

岩波数学辞典 第4版はまだですか？

[73 名無しさん＠お腹いっぱい。 NG NG]

やれやれ、犬板につづき数学板のクソっぷりまでこの板に引っ張ってくる
気かよ。
板違いなものは板違いなんだよ。
さっさと削除依頼出せ >>1

[74 名無しさん＠お腹いっぱい。 NG NG]

そうでもないよ．
数学関係者が Unix に関してした貢献は小さくない

[75 名無しさん＠お腹いっぱい。 NG NG]

どこぞのデベロッパが数学科出身なんつーハナシじゃねーだろうな？
そりゃ文学部卒よりゃ多いだろうよｗ

[76 名無しさん＠お腹いっぱい。 NG NG]

物理屋さんの貢献も結構でかいような気がする

wwwを開発したのはCERNだしよ

[77 名無しさん＠カラアゲうまうま NG NG]

UNIX 上で動くアプリケーションで重要な貢献した人は多いけど、
OS そのものに貢献した人って誰がいたっけ？

[78 名無しさん＠お腹いっぱい。 NG NG]

Tompson も Joy も Stallman も Richie も Aho も
みんな数学科出身だよ

[79 名無しさん＠お腹いっぱい。 NG NG]

ｱｯｿ
ﾃﾞ?

[80 名無しさん＠お腹いっぱい。 NG NG]

数学そっちのけでレッツ・ハックな香具師らばっかじゃん。
苦しいリクツばっかこねてるとクソスレ化が加速するんだから、
十分 sage ったところで静かにやろうや。

[81 名無しさん＠お腹いっぱい。 NG NG]

>>80
おまえがな

[82 名無しさん＠お腹いっぱい。 NG NG]

>>79
それは計算機方面の人の、
数学に対する劣等感の現われですか？

[83 名無しさん＠お腹いっぱい。 NG NG]

板違いと言われながらのうのうと居座っていられるのは
ひとりよがりな優越感の現れですね。

[84 名無しさん＠お腹いっぱい。 NG NG]

計算機屋なんぞは自分がもってる技術が
場わたり的なもので，5年先にはまだ使えるかどうかわからないので，
高い普偏性をもつ数学に対する劣等感がある．

[85 名無しさん＠お腹いっぱい。 NG NG]

sage ろカス。日本語の勉強しろガキ。

＝＝＝＝＝＝＝＝＝＝ 終了 ＝＝＝＝＝＝＝＝＝＝＝

[86 名無しさん＠お腹いっぱい。 NG NG]

>>85
おまえがな

[87 名無しさん＠お腹いっぱい。 NG NG]

>>86
おまえもな

[88 名無しさん＠お腹いっぱい。 NG NG]

劣等感持つくらいなら勉強しろよ。

[89 名無しさん＠お腹いっぱい。 NG NG]

数学もできないでプログラムが組めるか。
とりあえず解析入門を一通り読め。

[90 名無しさん＠お腹いっぱい。 NG NG]

計算機科学は結局，可換環の話になるのを知らないの？

[91 名無しさん＠お腹いっぱい。 NG NG]

>>90
そうなの？

[92 名無しさん＠お腹いっぱい。 NG NG]

釣られてんじゃねえよ

[93 名無しさん＠お腹いっぱい。 NG NG]

計算機科学は代数の視点からのみ考えるような物では無い、と個人的には思う。

[94 名無しさん＠お腹いっぱい。 NG NG]

岩波の情報科学シリーズなんかもろ数学だけどな。

[95 名無しさん＠お腹いっぱい。 NG NG]

われわれは数学では(何であるか)に関心を持つが,
一方計算機科学では(どうする)に関心を持つ.

[96 名無しさん＠Ｅｍａｃｓ NG NG]

数学板のゴミスレを"d"で削除していったら
スレの数が100個ぐらいになっちゃった(藁
あそこはいつからあんなになってしまったの？
基礎論スレもついこの前まで結構盛り上がってたのに
ﾏﾂｼﾝ,ｴﾑｼﾗであっという間にクソスレ化。

[97 名無しさん＠お腹いっぱい。 NG NG]

>>96
数学板が Unix 板に比べかなり荒れているのは認める．
中坊や工房のヴァカどもとかド素人のヴァカとか，
知ったかぶりのヴァカとかもやって来て，
優秀な人がどんどん去っているから，
ああなるのはしかたない．

Unix 板ももっとメジャーになれば，同じように荒れるよ．

[98 名無しさん＠お腹いっぱい NG NG]

数値解析は数学じゃないよなぁ（ぜんぜんちがう）

[99 名無しさん＠お腹いっぱい。 NG NG]

Unix 板は荒れていないが，そのかわり回転が遅い

[100 名無しさん＠お腹いっぱい。 NG NG]

>>98
言葉の使い方ではあるけど、数値計算に関する数学を数値解析と呼ぶ人は多いと思う。

[101 名無しさん＠お腹いっぱい。 NG NG]

まぁ専門板において（シミュ板クラスの板を抜かせば）
覗いた人間にとって有用なレスとやらの量は大して変わらないわけだが。

[102 山崎渉 NG NG]

（＾＾）

[103 名無しさん＠お腹いっぱい。 NG NG]

元数学科の人に聞きたいんだけど、
UNIX弄くってるのと数学やってるのどっちが楽しいですか？

[104 名無しさん＠お腹いっぱい。 NG NG]

>>103

そりゃ UNIX でしょ。

京大理数学卒。

[105 あぼーん NG NG]

あぼーん

[106 名無しさん＠お腹いっぱい。 NG NG]

>>103
どっちもどっち。私の場合ですが。
名古屋大卒。

[107 名無しさん＠お腹いっぱい。 NG NG]

お次は果てしない比較ネタ + 学歴ネタですか?
堕スレはどこまで行っても堕スレだな。

[108 名無しさん＠お腹いっぱい。 NG NG]

>>107
果てしなく続けられるなら比較ネタもおもしろいかと。

1.初学者に厳しい。
2.使えるようになると、使えない人の気持ちを忘れてしまう。
3.自分よりスキルがある人を尊敬してしまう。
などの点でUNIXと数学は似通ってると私は思います。

(どんな習い事でも一緒だなぁ、と小一時間)

[109 名無しさん＠お腹いっぱい。 NG NG]

>>108
わろた

[110 名無しさん＠お腹いっぱい。 NG NG]

朝一からageてもうた・・・打つダシ脳

[111 名無しさん＠お腹いっぱい。 NG NG]

数学の構造とC言語の構造体はどんな関係があるんでしょうか？

[112 名無しさん＠お腹いっぱい。 NG NG]

まず、ネタなのか真性なのかをはっきりさせてくれ。

[113 名無しさん＠お腹いっぱい。 NG NG]

>>42
コンピュータが群であることを示してください。

[114 名無しさん＠お腹いっぱい。 NG NG]

>>18
や　　ら　　な　　い　　か　　？

[115 名無しさん＠Ｅｍａｃｓ NG NG]

数学の百科事典として英語の本が欲しいんだけど
Encyclopedic Dictionary of Mathematics: The Mathematical Society of Japan
http://www.amazon.com/exec/obidos/tg/detail/-/0262590204/
CRC Concise Encyclopedia of Mathematics CD-ROM, Second Edition
http://www.amazon.com/exec/obidos/tg/detail/-/0849319463/

調べた感じとしてはこの二つが有名みたいですが、
どっちがいいのかな？岩波数学辞典の英訳のCDROM版があれば迷わずそっちを
買ってるところなんだけど。。。

[116 スレッド居合い切り NG NG]

───────────────────────────−──────―
────────‐───────────−────────────―─‐
─‐────────────‐────────‐∧＿∧ ───‐──―──‐
─────‐∧ ∧,〜　<逝ってよし──────‐（； ´Д｀） ────―─‐──‐
──−──‐( （⌒￣ `ヽ───＿ ───────‐ / 　　 /─―/ヽ────―─‐
──―───‐＼　 ＼　`ー'"´, -'⌒ヽ──────‐| | 1 ‐─‐/ | | ─────―
―‐――──‐ /∠＿,ノ　　　 _/_───‐―──―─‐| |　 /─―/　| |―────―‐
─────‐ /（　ノ　ヽ､＿/´ 　＼―────‐──‐∪ ./──,ｲ　∪ ────―─
────‐ ､（ 'ﾉ（　　　　　く　　　　 `ヽ､ ―────―‐| /−─/||　| ──−───―
───‐‐／`　―＼＿＿＿_>＼＿＿_ノ ──────‐|/──/ ||　| ────‐─―‐
───／───―‐/＿_〉.───`､＿_>.―‐―───‐─―‐|　||　| ─────―─
──／──‐──────────────―−───‐（＿)＿)─────―─
─／────────−────────────‐──────────―‐
───────────────────‐─────────―─────‐

[117 名無しさん＠お腹いっぱい。 NG NG]

>>115

岩波数学辞典は質が高くて評判いいね
今，改訂作業中だから，いずれ，第4版が出るみたいよ
もちろん日本語だけど

[118 名無しさん＠お腹いっぱい。 NG NG]

>>117
> 岩波数学辞典の英訳のCDROM版があれば迷わずそっちを
> 買ってるところなんだけど。。。

仮に CD-ROM 版を出すとして，
どんなファイル形式だろ？

dvi が一番軽快でコムパクトでいいんだが

[119 名無しさん＠お腹いっぱい。 NG NG]

dviでは検索ができないと思われ

[120 名無しさん＠お腹いっぱい。 NG NG]

>>119

dvi は検索できるよ．

例えば，dviout ではできる．

[121 名無しさん＠お腹いっぱい。 NG NG]

おれは dvi 形式が断然好きだが，
実際なるとしたら，pdf あたりだろう

[122 あぼーん NG NG]

あぼーん

[123 名無しさん＠お腹いっぱい。 NG NG]

数学もUNIXも貧乏人の最高の娯楽だね

[124 名無しさん＠お腹いっぱい。 NG NG]

なかま外れをさがそう。

音楽と数学
絵画と数学
お買い物と数学
unixと数学

[125 名無しさん＠ＸＥｍａｃｓ NG NG]

>>113
その前に演算を定義してください。
つうか群な訳ねーだろ。

[126 名無しさん＠お腹いっぱい。 NG NG]

というか >>113 はネタのつもりでしょ
ぜんぜんおもしろくないけど

[127 あぼーん NG NG]

あぼーん

[128 名無しさん＠お腹いっぱい。 NG NG]

>>42
コンピュータを定義してください。

[129 名無しさん＠お腹いっぱい。 NG NG]

OS2 は何気に名前が群のようだと思うがどうよ？

[130 名無しさん＠お腹いっぱい。 NG NG]

unixにおける零元とは /dev/null のような気がする
と考えると，単位元が何なのか気になって眠れない．

[131 ななし NG NG]

>>129
OS/2 に注意。

>>130
unix は環だったのですか？

[132 名無しさん＠お腹いっぱい。 NG NG]

>>128 Turing machine の定義で何か不満でも?
>>130 /dev/zero の立場は…

[133 名無しさん＠お腹いっぱい。 NG NG]

プログラミングなんて、
大工仕事みたいなモンすよ

[134 名無しさん＠お腹いっぱい NG NG]

私の先輩は、机の上の土方仕事と言っていました。（あー実感）

[135 ななし NG NG]

/dev/null と /dev/zero って同じものなの？

[136 あぼーん NG NG]

あぼーん

[137 名無しさん＠お腹いっぱい。 NG NG]

ぬるぽ

[138 ななし NG NG]

　　∧＿∧
　 （　・∀・）　　　|　|　ｶﾞｯ
　と　　　　）　 　 |　|
　　 Ｙ　/ノ　　　 人
　　　 /　）　 　 < 　>__Λ∩
　 ＿/し'　／／. Ｖ｀Д´）/
　（＿フ彡　　　　　 　　/ 　←>>137

[139 あぼーん NG NG]

あぼーん

[140 名無しさん＠お腹いっぱい。 NG NG]

数学者が、UNIXを抽象化して、統合整理して、もっと簡潔にして完備な、
無駄のない、ごたごたした混乱を含まない整合性のある体型として、
再定義してもらえないものだろうか。

[141 名無しさん＠お腹いっぱい。 NG NG]

LISPマシンマンセー

[142 名無しさん＠お腹いっぱい。 NG NG]

そんなことより、アルゴリズムをPascal風に書くのが流行ってるのか？
もちろんPascal風であってPascalではないので、そのままでは動かないのはご愛敬だが。

PS.
阪大ではUNIX端末が壊滅しつつあります。

[143 名無しさん＠お腹いっぱい。 NG NG]

> 阪大ではUNIX端末が壊滅しつつあります。

阪大でそのザマか． 端末は Windows ？

[144 あぼーん NG NG]

あぼーん

[145 名無しさん＠お腹いっぱい。 NG NG]

>> 142
algol風では無かろうか。

[146 名無しさん＠お腹いっぱい。 NG NG]

>>135
違うものだよ。

[147 名無しさん＠お腹いっぱい。 NG NG]

cat == 圏?

[148 名無しさん＠お腹いっぱい。 NG NG]

cat は concatenate だろ。
product だよ。letter の間に入れる non-commutative product。

[149 名無しさん＠お腹いっぱい。 NG NG]

>>125
> つうか群な訳ねーだろ。
UNIX　:=　ユニタリー群 X
Linux := 線形のユニタリー群 X(ユニタリー群だから線形群なのは自明なわけだが、、、)

[150 あぼーん NG NG]

あぼーん

[151 名無しさん＠お腹いっぱい。 NG NG]

数学基礎論は入り口だけは楽しいから、河合の倉田先生の本をよく読んでるんだけど、
モデル理論がさっぱり分りません。UNIXの何かに絡めて、誰か説明してください。
間違った説明でも大いに結構です。

[152 名無しさん＠お腹いっぱい。 NG NG]

>>151
> 数学基礎論は入り口だけは楽しいから、

クスッとするね

しかし，たかが集合論で，
あれだけ，深いことが言えるなんて驚きだね

巨大基数の問題なんかぜんぜんわかってないらしい

連続体仮説とか解決していない

[153 名無しさん＠お腹いっぱい。 NG NG]

>> 140

ムリ。無矛盾ならば不完全。

[154 名無しさん＠お腹いっぱい。 NG NG]

>>153
誰も無矛盾とはいっていないわけだが

[155 名無しさん＠お腹いっぱい。 NG NG]

あげ

[156 あぼーん NG NG]

あぼーん

[157 名無しさん＠お腹いっぱい。 NG NG]

>>152 連続体仮説は解決してるだろうが。肯定も否定も無矛盾だってことで。

[158 名無しさん＠お腹いっぱい。 NG NG]

>>157
CohenがやったのはGCHのZFCからの独立性の証明(肯定も否定も証明できない)
って書いてありますが、それは広い意味での無矛盾という意味なんでしょうか？