- 1 名前：名無しさん＠お腹いっぱい。 [03/01/27 09:58.net]
- 密接な関係があると思ふ。
- 70 名前：名無しさん＠Ｅｍａｃｓ mailto:sage [03/03/30 20:16.net]
- 挫折のあとにUNIXに流れ着いたような人だと、
正直、こういうスレは我慢ならないのかな
なんて思ってみたりして。
- 71 名前：数学崩れ mailto:sage [03/03/30 20:51.net]
- >>68
( ･∀･)ﾉ ﾊｲ!
>>70
別に。
ネタはネタだし。
- 72 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 02:37.net]
- 岩波数学辞典 第4版はまだですか？
- 73 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 07:55.net]
- やれやれ、犬板につづき数学板のクソっぷりまでこの板に引っ張ってくる
気かよ。
板違いなものは板違いなんだよ。
さっさと削除依頼出せ >>1
- 74 名前：名無しさん＠お腹いっぱい。 [03/03/31 12:27.net]
- そうでもないよ．
数学関係者が Unix に関してした貢献は小さくない
- 75 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 12:59.net]
- どこぞのデベロッパが数学科出身なんつーハナシじゃねーだろうな？
そりゃ文学部卒よりゃ多いだろうよｗ
- 76 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 14:01.net]
- 物理屋さんの貢献も結構でかいような気がする
wwwを開発したのはCERNだしよ
- 77 名前：名無しさん＠カラアゲうまうま mailto:sage [03/03/31 14:13.net]
- UNIX 上で動くアプリケーションで重要な貢献した人は多いけど、
OS そのものに貢献した人って誰がいたっけ？
- 78 名前：名無しさん＠お腹いっぱい。 [03/03/31 14:16.net]
- Tompson も Joy も Stallman も Richie も Aho も
みんな数学科出身だよ
- 79 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 14:20.net]
- ｱｯｿ
ﾃﾞ?
- 80 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 14:27.net]
- 数学そっちのけでレッツ・ハックな香具師らばっかじゃん。
苦しいリクツばっかこねてるとクソスレ化が加速するんだから、
十分 sage ったところで静かにやろうや。
- 81 名前：名無しさん＠お腹いっぱい。 [03/03/31 14:30.net]
- >>80
おまえがな
- 82 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 14:51.net]
- >>79
それは計算機方面の人の、
数学に対する劣等感の現われですか？
- 83 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/03/31 15:21.net]
- 板違いと言われながらのうのうと居座っていられるのは
ひとりよがりな優越感の現れですね。
- 84 名前：名無しさん＠お腹いっぱい。 [03/04/01 16:56.net]
- 計算機屋なんぞは自分がもってる技術が
場わたり的なもので，5年先にはまだ使えるかどうかわからないので，
高い普偏性をもつ数学に対する劣等感がある．
- 85 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/01 18:33.net]
- sage ろカス。日本語の勉強しろガキ。
＝＝＝＝＝＝＝＝＝＝ 終了 ＝＝＝＝＝＝＝＝＝＝＝
- 86 名前：名無しさん＠お腹いっぱい。 [03/04/01 18:39.net]
- >>85
おまえがな
- 87 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/01 21:20.net]
- >>86
おまえもな
- 88 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/02 05:14.net]
- 劣等感持つくらいなら勉強しろよ。
- 89 名前：名無しさん＠お腹いっぱい。 [03/04/02 12:12.net]
- 数学もできないでプログラムが組めるか。
とりあえず解析入門を一通り読め。
- 90 名前：名無しさん＠お腹いっぱい。 [03/04/02 12:33.net]
- 計算機科学は結局，可換環の話になるのを知らないの？
- 91 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/02 13:58.net]
- >>90
そうなの？
- 92 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/02 19:32.net]
- 釣られてんじゃねえよ
- 93 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/02 22:58.net]
- 計算機科学は代数の視点からのみ考えるような物では無い、と個人的には思う。
- 94 名前：名無しさん＠お腹いっぱい。 [03/04/02 22:59.net]
- 岩波の情報科学シリーズなんかもろ数学だけどな。
- 95 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/02 23:11.net]
- われわれは数学では(何であるか)に関心を持つが,
一方計算機科学では(どうする)に関心を持つ.
- 96 名前：名無しさん＠Ｅｍａｃｓ mailto:sage [03/04/03 00:46.net]
- 数学板のゴミスレを"d"で削除していったら
スレの数が100個ぐらいになっちゃった(藁
あそこはいつからあんなになってしまったの？
基礎論スレもついこの前まで結構盛り上がってたのに
ﾏﾂｼﾝ,ｴﾑｼﾗであっという間にクソスレ化。
- 97 名前：名無しさん＠お腹いっぱい。 [03/04/03 01:41.net]
- >>96
数学板が Unix 板に比べかなり荒れているのは認める．
中坊や工房のヴァカどもとかド素人のヴァカとか，
知ったかぶりのヴァカとかもやって来て，
優秀な人がどんどん去っているから，
ああなるのはしかたない．
Unix 板ももっとメジャーになれば，同じように荒れるよ．
- 98 名前：名無しさん＠お腹いっぱい [03/04/03 02:13.net]
- 数値解析は数学じゃないよなぁ（ぜんぜんちがう）
- 99 名前：名無しさん＠お腹いっぱい。 [03/04/03 02:26.net]
- Unix 板は荒れていないが，そのかわり回転が遅い
- 100 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/03 02:30.net]
- >>98
言葉の使い方ではあるけど、数値計算に関する数学を数値解析と呼ぶ人は多いと思う。
- 101 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/04 02:20.net]
- まぁ専門板において（シミュ板クラスの板を抜かせば）
覗いた人間にとって有用なレスとやらの量は大して変わらないわけだが。
- 102 名前：山崎渉 mailto:（＾＾） [03/04/17 12:03.net]
- （＾＾）
- 103 名前：名無しさん＠お腹いっぱい。 [03/04/17 21:30.net]
- 元数学科の人に聞きたいんだけど、
UNIX弄くってるのと数学やってるのどっちが楽しいですか？
- 104 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/17 22:53.net]
- >>103
そりゃ UNIX でしょ。
京大理数学卒。
- 105 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 106 名前：名無しさん＠お腹いっぱい。 [03/04/20 14:39.net]
- >>103
どっちもどっち。私の場合ですが。
名古屋大卒。
- 107 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/20 15:53.net]
- お次は果てしない比較ネタ + 学歴ネタですか?
堕スレはどこまで行っても堕スレだな。
- 108 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/20 17:54.net]
- >>107
果てしなく続けられるなら比較ネタもおもしろいかと。
1.初学者に厳しい。
2.使えるようになると、使えない人の気持ちを忘れてしまう。
3.自分よりスキルがある人を尊敬してしまう。
などの点でUNIXと数学は似通ってると私は思います。
(どんな習い事でも一緒だなぁ、と小一時間)
- 109 名前：名無しさん＠お腹いっぱい。 [03/04/24 07:48.net]
- >>108
わろた
- 110 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/24 07:49.net]
- 朝一からageてもうた・・・打つダシ脳
- 111 名前：名無しさん＠お腹いっぱい。 [03/04/26 19:11.net]
- 数学の構造とC言語の構造体はどんな関係があるんでしょうか？
- 112 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/26 23:07.net]
- まず、ネタなのか真性なのかをはっきりさせてくれ。
- 113 名前：名無しさん＠お腹いっぱい。 [03/04/27 01:06.net]
- >>42
コンピュータが群であることを示してください。
- 114 名前：名無しさん＠お腹いっぱい。 [03/04/27 04:49.net]
- >>18
や ら な い か ？
- 115 名前：名無しさん＠Ｅｍａｃｓ [03/04/29 13:35.net]
- 数学の百科事典として英語の本が欲しいんだけど
Encyclopedic Dictionary of Mathematics: The Mathematical Society of Japan
www.amazon.com/exec/obidos/tg/detail/-/0262590204/
CRC Concise Encyclopedia of Mathematics CD-ROM, Second Edition
www.amazon.com/exec/obidos/tg/detail/-/0849319463/
調べた感じとしてはこの二つが有名みたいですが、
どっちがいいのかな？岩波数学辞典の英訳のCDROM版があれば迷わずそっちを
買ってるところなんだけど。。。
- 116 名前：スレッド居合い切り [03/04/29 13:49.net]
- ───────────────────────────−──────―
────────‐───────────−────────────―─‐
─‐────────────‐────────‐∧＿∧ ───‐──―──‐
─────‐∧ ∧,〜 <逝ってよし──────‐（； ´Д｀） ────―─‐──‐
──−──‐( （⌒￣ `ヽ───＿ ───────‐ / /─―/ヽ────―─‐
──―───‐＼ ＼ `ー'"´, -'⌒ヽ──────‐| | 1 ‐─‐/ | | ─────―
―‐――──‐ /∠＿,ノ _/_───‐―──―─‐| | /─―/ | |―────―‐
─────‐ /（ ノ ヽ､＿/´ ＼―────‐──‐∪ ./──,ｲ ∪ ────―─
────‐ ､（ 'ﾉ（ く `ヽ､ ―────―‐| /−─/|| | ──−───―
───‐‐／` ―＼＿＿＿_>＼＿＿_ノ ──────‐|/──/ || | ────‐─―‐
───／───―‐/＿_〉.───`､＿_>.―‐―───‐─―‐| || | ─────―─
──／──‐──────────────―−───‐（＿)＿)─────―─
─／────────−────────────‐──────────―‐
───────────────────‐─────────―─────‐
- 117 名前：名無しさん＠お腹いっぱい。 [03/04/29 13:52.net]
- >>115
岩波数学辞典は質が高くて評判いいね
今，改訂作業中だから，いずれ，第4版が出るみたいよ
もちろん日本語だけど
- 118 名前：名無しさん＠お腹いっぱい。 [03/04/29 14:32.net]
- >>117
> 岩波数学辞典の英訳のCDROM版があれば迷わずそっちを
> 買ってるところなんだけど。。。
仮に CD-ROM 版を出すとして，
どんなファイル形式だろ？
dvi が一番軽快でコムパクトでいいんだが
- 119 名前：名無しさん＠お腹いっぱい。 [03/04/29 18:04.net]
- dviでは検索ができないと思われ
- 120 名前：名無しさん＠お腹いっぱい。 [03/04/29 18:24.net]
- >>119
dvi は検索できるよ．
例えば，dviout ではできる．
- 121 名前：名無しさん＠お腹いっぱい。 [03/04/29 18:25.net]
- おれは dvi 形式が断然好きだが，
実際なるとしたら，pdf あたりだろう
- 122 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 123 名前：名無しさん＠お腹いっぱい。 [03/04/29 21:12.net]
- 数学もUNIXも貧乏人の最高の娯楽だね
- 124 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/29 22:07.net]
- なかま外れをさがそう。
音楽と数学
絵画と数学
お買い物と数学
unixと数学
- 125 名前：名無しさん＠ＸＥｍａｃｓ mailto:sage [03/04/30 11:22.net]
- >>113
その前に演算を定義してください。
つうか群な訳ねーだろ。
- 126 名前：名無しさん＠お腹いっぱい。 [03/04/30 12:06.net]
- というか >>113 はネタのつもりでしょ
ぜんぜんおもしろくないけど
- 127 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 128 名前：名無しさん＠お腹いっぱい。 [03/05/01 01:00.net]
- >>42
コンピュータを定義してください。
- 129 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/01 01:34.net]
- OS2 は何気に名前が群のようだと思うがどうよ？
- 130 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/01 01:54.net]
- unixにおける零元とは /dev/null のような気がする
と考えると，単位元が何なのか気になって眠れない．
- 131 名前：ななし mailto:sage [03/05/01 09:17.net]
- >>129
OS/2 に注意。
>>130
unix は環だったのですか？
- 132 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/01 23:53.net]
- >>128 Turing machine の定義で何か不満でも?
>>130 /dev/zero の立場は…
- 133 名前：名無しさん＠お腹いっぱい。 [03/05/02 02:35.net]
- プログラミングなんて、
大工仕事みたいなモンすよ
- 134 名前：名無しさん＠お腹いっぱい [03/05/02 03:31.net]
- 私の先輩は、机の上の土方仕事と言っていました。（あー実感）
- 135 名前：ななし [03/05/02 08:31.net]
- /dev/null と /dev/zero って同じものなの？
- 136 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 137 名前：名無しさん＠お腹いっぱい。 [03/05/02 13:35.net]
- ぬるぽ
- 138 名前：ななし [03/05/02 17:11.net]
- ∧＿∧
（ ・∀・） | | ｶﾞｯ
と ） | |
Ｙ /ノ 人
/ ） < >__Λ∩
＿/し' ／／. Ｖ｀Д´）/
（＿フ彡 / ←>>137
- 139 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 140 名前：名無しさん＠お腹いっぱい。 [03/05/03 00:11.net]
- 数学者が、UNIXを抽象化して、統合整理して、もっと簡潔にして完備な、
無駄のない、ごたごたした混乱を含まない整合性のある体型として、
再定義してもらえないものだろうか。
- 141 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 00:20.net]
- LISPマシンマンセー
- 142 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 03:32.net]
- そんなことより、アルゴリズムをPascal風に書くのが流行ってるのか？
もちろんPascal風であってPascalではないので、そのままでは動かないのはご愛敬だが。
PS.
阪大ではUNIX端末が壊滅しつつあります。
- 143 名前：名無しさん＠お腹いっぱい。 [03/05/03 06:31.net]
- > 阪大ではUNIX端末が壊滅しつつあります。
阪大でそのザマか． 端末は Windows ？
- 144 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 145 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 07:36.net]
- >> 142
algol風では無かろうか。
- 146 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 15:45.net]
- >>135
違うものだよ。
- 147 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 19:11.net]
- cat == 圏?
- 148 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 20:29.net]
- cat は concatenate だろ。
product だよ。letter の間に入れる non-commutative product。
- 149 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/06 02:27.net]
- >>125
> つうか群な訳ねーだろ。
UNIX := ユニタリー群 X
Linux := 線形のユニタリー群 X(ユニタリー群だから線形群なのは自明なわけだが、、、)
- 150 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 151 名前：名無しさん＠お腹いっぱい。 [03/05/24 12:37.net]
- 数学基礎論は入り口だけは楽しいから、河合の倉田先生の本をよく読んでるんだけど、
モデル理論がさっぱり分りません。UNIXの何かに絡めて、誰か説明してください。
間違った説明でも大いに結構です。
- 152 名前：名無しさん＠お腹いっぱい。 [03/05/25 22:14.net]
- >>151
> 数学基礎論は入り口だけは楽しいから、
クスッとするね
しかし，たかが集合論で，
あれだけ，深いことが言えるなんて驚きだね
巨大基数の問題なんかぜんぜんわかってないらしい
連続体仮説とか解決していない
- 153 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/26 14:07.net]
- >> 140
ムリ。無矛盾ならば不完全。
- 154 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/26 14:46.net]
- >>153
誰も無矛盾とはいっていないわけだが
- 155 名前：名無しさん＠お腹いっぱい。 [03/05/27 07:58.net]
- あげ
- 156 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 157 名前：名無しさん＠お腹いっぱい。 [03/05/27 13:17.net]
- >>152 連続体仮説は解決してるだろうが。肯定も否定も無矛盾だってことで。
- 158 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/27 15:13.net]
- >>157
CohenがやったのはGCHのZFCからの独立性の証明(肯定も否定も証明できない)
って書いてありますが、それは広い意味での無矛盾という意味なんでしょうか？
- 159 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 160 名前：名無しさん＠お腹いっぱい。 [03/05/29 17:11.net]
- >>157
それは重大な結果だが，解決にはなっていないだろう
- 161 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 162 名前：名無しさん＠お腹いっぱい。 [03/06/12 01:17.net]
- >>161
間に合ってます。
嘘です。
- 163 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 14:51.net]
- 低水準な話で恐縮ですが、電卓ソフトはどんなの使ってます？
記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数
, べき乗, 対数くらい)を備えた、逆ポーランド記法でないもの、と思
うと手頃なのが意外と見付からない。。
- 164 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 15:02.net]
- >>163
/usr/bin/bc
- 165 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 15:17.net]
- >>164
進法の変換がかなり面倒じゃないですか？
- 166 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 15:56.net]
- % bc
ibase=10
obase=16
3*4
C
obase=2
3*4
1100
この程度の面倒をいやがっちゃいけません。
基数の異なる数値を同じ式の中で扱うのはできないけどさ。
- 167 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 17:45.net]
- >>166
たとえばgrpnならワンキーでできるものにそれだけの手数を
掛けるのはきついなあ。
悲しいかな、grpnは(rpnというぐらいだから)逆ポーランド専用なので
「手軽な電卓」としては(漏れには)使えないけど。
ちなみに、bcにはこういうの定義してまつ。
define b(i, o){
ibase=i
obase=o
}
define br(){
ibase=A
obase=A
}
- 168 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/19 12:38.net]
- >>163
calcってのを使ってる
www.isthe.com/chongo/tech/comp/calc/
だらだらと式をかけるのが、使いやすかった。
(850+57)*90*60/8/0x100000 とか
- 169 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/25 16:34.net]
- $ irb -m
>> 1/2 + 1/3
=> 5/6
>> -0.4*log(0.4)
=> 0.366516292749662
>> (-2)**(-0.5)
=> 4.32963728535968e-17-0.707106781186547i
>> "12".to_i(3)
=> 5
>> ("12".to_i(25) + "13".to_i(16)).to_s(3)
=> 1201
>> exit
$
- 170 名前：名無しさん＠お腹いっぱい。 [03/07/11 21:05.net]
- からあげうまうま
|
 |
