unixと数学

[1 名無しさん＠お腹いっぱい。 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からの独立性の証明(肯定も否定も証明できない)
って書いてありますが、それは広い意味での無矛盾という意味なんでしょうか？

[159 あぼーん NG NG]

あぼーん

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

>>157

それは重大な結果だが，解決にはなっていないだろう

[161 あぼーん NG NG]

あぼーん

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

>>161
間に合ってます。

















嘘です。

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

低水準な話で恐縮ですが、電卓ソフトはどんなの使ってます？

記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数
, べき乗, 対数くらい)を備えた、逆ポーランド記法でないもの、と思
うと手頃なのが意外と見付からない。。

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

>>163
/usr/bin/bc

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

>>164
進法の変換がかなり面倒じゃないですか？

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

% bc
ibase=10
obase=16
3*4
C
obase=2
3*4
1100

この程度の面倒をいやがっちゃいけません。
基数の異なる数値を同じ式の中で扱うのはできないけどさ。

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

>>166
たとえばgrpnならワンキーでできるものにそれだけの手数を
掛けるのはきついなあ。
悲しいかな、grpnは(rpnというぐらいだから)逆ポーランド専用なので
「手軽な電卓」としては(漏れには)使えないけど。

ちなみに、bcにはこういうの定義してまつ。
define b(i, o){
　　ibase=i
　　obase=o
}
define br(){
　　ibase=A
　　obase=A
}

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

>>163
calcってのを使ってる
http://www.isthe.com/chongo/tech/comp/calc/

だらだらと式をかけるのが、使いやすかった。
(850+57)*90*60/8/0x100000 とか

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

$ 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 名無しさん＠お腹いっぱい。 NG NG]

からあげうまうま

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

Unix はあたかも数学のように美しい

それで十分だ

[172 UNIXの魔術師 NG NG]

UNIXはあたかも、私のように美しい。
http://www3.ocn.ne.jp/~yokog

不細工だ。

[173 あぼーん NG NG]

あぼーん

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

山崎うぜー

[175 あぼーん NG NG]

あぼーん

[176 anonymous NG NG]

数学は不細工だ。
　真に美しいのは、詩だ。
　　その次は物理だ。

[177 あぼーん NG NG]

あぼーん

[178 あぼーん NG NG]

あぼーん

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

そうはイリヤのプリゴジン

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

ちなみに、「電卓」は何使ってる？

記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数
, べき乗, 対数くらい)を備えた、虐ポーランドでなく、かつ、
CASIO VPAMでないもの、と思うと何が良いですかね。

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

SHARP PC-1445使こてる。進法変換も専用のキーがあるし、
電卓式でも式入力でも使えて便利。

これで計算結果をPCにコピペ出来れば言うことなしなのだが。

[182 180 NG NG]

1445って2進、8進キーがあるのね。
ttp://pocket.free.fr/images/sharp/pc-1445.jpg
しかもあのCASLエミュ機か、なっつかしー

実はPC-1401ユーザなんだけど10⇔16進キーしかなくてね。
ちとつらい。

[183 あぼーん NG NG]

あぼーん

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

ユークリッド幾何学がわかりません。

[185 あぼーん NG NG]

あぼーん

[186 あぼーん NG NG]

あぼーん

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

まぁお前ら、数学のど素人は、UNIXででも遊んでろってこった。

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

まぁお前ら、UNIX のど素人は、数学でも勉強してろってこった。


↓以下、「いや数学者はわりとUNIX使ってるよ。いやそれなら物理屋の方が…」
というお決まりのツマラン流れをｷﾎﾞﾝ。俺は寝る。

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

予定を変更して、「unixと印度哲学」をお送りしまつ

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

XUNIくそゆにー

[191 あぼーん NG NG]

あぼーん

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

google計算機は便利なので試してみれば？

【へぇ】ﾄﾘﾋﾞｱの泉@UNIX板【へぇ】
http://pc.2ch.net/test/read.cgi/unix/1045381392/304-332

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

今時何が悲しくて答えが出るまで待たされる計算機を使わねばならぬのかと小一時間(ry