unixと数学

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

大してありません

終了

unixと保健体育
密接な関係があると思ふ。

大してありません

終了

>1
いかにも数学知らない香具師の言いそうなセリフだな。
数学と言ってみたいだけちゃうんかと（

>>5
いかにも２ちゃんねる初心者の言いそうなセリフだな。
吉野家ぽく言ってみたいだけちゃうんかと（

>>1 よ、いいからまずオマエがネタを出せ。
gnuplot、数値計算、マセマティカ、などなどのアプリなネタはなしな。
（スレ違いのハズだよな？）
あと長文製造マニアを誘い出す哲学ネタも板違いッツーことで勘弁な。

さもなきゃ削除依頼よろしくな。

数値計算がアプリですかw

unixとウンコのほろ苦さ
密接な関係はないと思ふ。

unixerとウニ
人を寄せ付けまいとするその姿勢において密接な関係があると思ふ。

ウンコってほろ苦いの？

unixと数学

どっちも抽象化がキモだろ。
こんなことすらわからんのか、この馬鹿どもが。

で？

>>11
ウンコの苦さはUNIXの比じゃないよ

UNIX って苦いの？

UNIX って苔いの？

UNIX ってほろ苔いの？

unixとゲイ
密着した関係があると思ふ。

UNIX は初恋の味

UNIXを使ってるのは、理工系の学生を始めとして、
技術者やSEなど、理系の人間が大半である。

しかし、だからといってUNIXと数学には密接な関係はないだろう。

UNIX って苫いの？ほろ苫いの？

トンプソン＆カーニハンの２３の問題
その１　UNIXは完全である。

>>22
その前に健全であることを示せよ、ヴォケ

やれやれ、BSDに依存しないUNIXスレも荒しますか、22==23よ。
頼むからWindows板あたりに帰ってくれよ。

% tar zxvf 数値計算.tgz
% cd 数値計算/
% ./configure
% make
% make instal
% rehash
% 数値計算
(ﾟДﾟ)ｳﾏｰ!!

>>25
なら数値計算のハナシでいいからネタふってみ？
CPU とかアプリの話を律儀に避けると「ワカワケラン。数学板でやれよ」
つーことになると思うけど。

Linuxで科学しよう！
http://pc.2ch.net/test/read.cgi/linux/1016941414/
数値計算がしたいんだけど
http://pc.2ch.net/test/read.cgi/linux/1036412842/

LLとかLRとか(パーサ)、
mallocでbest fitでなくてもfirst fitで十分な理由とか、
knuthのバディアロケータの話とか
乱数検定の話とか、
そういうのがいいの?

コンピュータサイエンスが数学に関わるというなら
まだわかるが、だったら Unix に限らんだろ。

このスレが十分下がったら
knuthの日本語版第3巻を元ネタに乱数の事でも書いてみるか。
証明には整数論を使うので数学と関係無いわけじゃない。

ａｇｅとくか。

>30
The Art of Computer Programingだっけか？
擬似乱数生成んところかしらん。

>>26
% cat /usr/local/bin/数値計算
#!/bin/sh
echo "(ﾟДﾟ)ｳﾏｰ!!"
%

>>32
そうです。

寝よっと。

>>1はアホっぽいが実際どーなんだ。

>>36
その通り。
かなりの阿呆といってよいでしょう。

（＾＾）

この前8+7ができなくて戸惑った。

8*3を間違えて戸惑った

>>40
息子に買ってやったドラクエ6でそういうキャラいましたな。
ドラクエの1ならやったことあるのですが、
呪文や登場人物が増えてついていけない今日この頃です。

君達のような無学な人間は知らないかもしれないが、
Unix は複素多様体の一種だよ。
そして、コンピュータの正規部分群でもある。
つまり、商群が考えられるってことだ。
ついでに、Unix のコホモロジーを考えることも出来る。
結論としては Unix と数学には密接な関係があると言える。
>>1は正しいのだ。

すいません、ホモという単語に反応してしまいましたっ。
ﾋﾞｼｯ（ ノ´Д｀)

/etcの下の汚さを見ると、とても数学と関連付けて説明しよう
などという気など起らないと思うのですが。＜現状のUNIX

数学だって汚いじゃん。汚いところから目を背けているだけで。

例を挙げて言えや





とか言う香具師が現れて以下グダグダに荒れまくる、に 100 QED.

簡潔さ，一般性を至上とする哲学が一致している．

ε-δ

>>48 はε-δで数学つまずいたチューボー

条件つきエントロピーと相対エントロピーと相互情報量の違いがわかりません
どなたか解説してづあさい

>>49 は弱冠5歳にして位相空間論をマスターした神童

>>51 は位相空間に変な幻想いだいてるチューボー

位相空間とε-δはどんな関係があるんですか？

>>53
関係あるよ．位相空間ではよくε-δを使う

位相空間でε-δを使うって言うより、
ユークリッド空間の(通常の)位相を考える場合にε-δを
使うって言ったほうが適切だと思われ。

>>55
ユークリッド以外の空間を考えるときはε-δはあまり使わないんですか？

使うよ！

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

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

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

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

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

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

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

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

　 ∧＿∧
　（　´∀｀）＜　ぶる

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ｱｯｿ
ﾃﾞ?

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

>>80
おまえがな

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

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

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

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

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

>>85
おまえがな

>>86
おまえもな

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

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

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

>>90
そうなの？

釣られてんじゃねえよ

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

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

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

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

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

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

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

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

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

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

（＾＾）

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

>>103

そりゃ UNIX でしょ。

京大理数学卒。

あぼーん

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

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

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

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

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

>>108
わろた

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

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

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

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

>>18
や　　ら　　な　　い　　か　　？

数学の百科事典として英語の本が欲しいんだけど
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版があれば迷わずそっちを
買ってるところなんだけど。。。

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

>>115

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

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

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

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

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

>>119

dvi は検索できるよ．

例えば，dviout ではできる．

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

あぼーん

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

なかま外れをさがそう。

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

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

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

あぼーん

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

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

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

>>129
OS/2 に注意。

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

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

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

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

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

あぼーん

ぬるぽ

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

あぼーん

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

LISPマシンマンセー

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

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

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

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

あぼーん

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

>>135
違うものだよ。

cat == 圏?

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

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

あぼーん

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

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

クスッとするね

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

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

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

>> 140

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

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

あげ

あぼーん

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

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

あぼーん

>>157

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

あぼーん

>>161
間に合ってます。

















嘘です。

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

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

>>163
/usr/bin/bc

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

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

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

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

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

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

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

$ 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
$

からあげうまうま

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

それで十分だ

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

不細工だ。

あぼーん

山崎うぜー

あぼーん

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

あぼーん

あぼーん

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

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

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

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

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

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

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

あぼーん

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

あぼーん

あぼーん

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

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


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

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

XUNIくそゆにー

あぼーん

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

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

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

高校数学でやるベクトルが19世紀的な数学だとすると、
20世紀はどういった感じで図形を考えるんですか？

>>194
tensor??

>>194
ベクトルが 19 世紀的?
18世紀とかですでにあると思うんだけど。

>>194
局所座標?

>>194
点集合？

>>194
2次元図形: アニメ、マンガ、萌え絵
3次元図形: フィギュア、ガレージキット

幾何とトポロジーの違いが分らない

>>200
幾何 : 曲率とか測地線とか
トポロジー : ホモロジーとか基本群とか

やらないか？

ウオッ、e^(pi*i)=-1

古典的な意味での幾何や代数などの分類は既に意味がないかも、だそうです。
http://laplace.theory.cs.ritsumei.ac.jp/~takayama/MathEssays/essays.html

高山先生あげ！この人のコラム面白すぎ。

>一方で天才的な数学者はここだ！と目を付けたところで、
>難問の山々をものともせずにブルドーザーでジャングルを
>整地していくように新天地を切り開いていくようである。
>凡庸な数学者達はブルドーザーが通った後に落ち穂拾い
>のように適当な問題を探しあてたり、場合によっては
>さんざん探し回ったあげく、何も残っていない事に気付いて
>のたれ死にしたりするようである。

その凡庸の塊のような文章で「面白い」と思ったのなら、
それは単なる読書不足だと思われ

皮肉で言ってるんだろ。
多分。

おまえら高山先生のこと舐めすぎ

高山先生の言ってることは正しいな。
所詮情報系は頭が悪い、これは事実だからいいじゃん。
頭が悪いからこそ泥臭い作業に没頭できる。
美しい労働者の姿、素晴らしいじゃありませんか。

街や政治が汚ないと言うのは誰にでも出来るが、
実際に街や政治を綺麗にするやつはあまりいない。

>>210
綺麗にするってのは綺麗に保つ/保とうとする人がいて初めて意味をもつ。
そういう人が少ないなら、そもそも綺麗にする意味が無い。

ま、どっちにしても「言うだけ」では何にもならないってこと。

おれなら工学、というより"現場"ってものを知ってる人に数学を教わってみたいな。
数学や理論物理のプロを目指しているわけでもない人には、高山先生のような人が最適だと思う。
馬鹿にされることの多い人だけど、そういう香具師にはこの人がどうして
今のポジションを獲得できたのか理解出来ないだろうな。

高山シンパの立命○のアホ学生が多数いるようですね
高山は数学者として最低レベルですよ

>>214
人として素晴しいのなら、数学者より上。

>>206
文章の評価は君の評価で正しいと思うけど、内容は面白いと思う。
何故に噛み付くの？

高山の数学のレベルはシロートに対していばっているが
専門家からすればどってことない

>>217
いや、素人に対してもいばってないでしょ。

いや、素人相手に話する時は結構すごいですよ。

# 個人的にはお世話になったので悪い印象は無いけど。

高山がいばれるのは工学部とか立命○のボンクラ学生だけでしょ

素人相手に威張るのは、技術屋のデフォルトなんじゃないかな？
ヲタク的性分の悲しい性というか。

一流二流の数学者はシロートになんかいばらないよ
高山は8流くらいだからシロートにいばる

高山先生はキャラ立ちしてるからな。アカポスに就けなかった人とは
単純に能力だけで比較することは出来ないよ。

なんか高山の弁護に必死な立命館生がうざい

>>224
高山先生なんて知りませんが何か？
HPを見てファンになっただけですが何か？

高山が言ってる
「情報科学だの計算機科学だのというのは学問ではない」
という主張には同感なんだが，
それを深谷賢治や加藤和也がいうのならば納得だが，
高山みたいな底辺の5流の自称数学者がいうと，
頭にくうんだよな

>>226
チキンだけど喧嘩っ早いヲレは、その言葉に対して「それをクヌースにいってみな」
とか言いたくなるんだけど、どうよ。

>>226
確かに、極めてない人にクサされてもね。

高山先生の凄さをそんなところに求めてもダメだよ。
誰も恥かしくて言えないようなことを言ったから凄いんだよ。
実際言ってることは間違ってないじゃん。

いずれにせよ、こんな香具師を教壇に立たせている
立命館は近づいちゃいけない糞大学だということだけは、
間違いないだろ。

それにしてもRitsは痛い香具師が大杉。

学問の定義ってﾅﾝﾀﾞ？

>>231
そこで定義厨になるのはアフォの証し

学生の学力低下が長らく嘆かれているが、
これと大学教員の学力低下が表裏一体であることは
あまりいわれない。

立命館の高山みたいな普通の人間が
「大学教授」などという分不相応の身分を
得ていることが一つのその現れだ。

数学板の「大好き★代数幾何」というスレで書きまくってる人と
高山先生は、どっちがレベルが高いですか？

何か「町内で一番将棋の強いのは酒屋の隠居か、富士見湯の番頭か？」
レベルの話だなあ・・・

>>234
高山は代数幾何はわからんよ

カテゴリーで有名なMac Laneの
数学 その形式と機能
http://www.amazon.co.jp/exec/obidos/ASIN/4627018304/
これは面白かった。7000円出す価値あったよ。

カテゴリーっていうと、プログラム意味論の道具ぐらいのことしか
知らないんだけど、UNIXとも関係大きいの？

>>238

まったく関係ねーよタコ

圏とか関手とかで検索してみそ

計算機やってるひとって幾何よりもやっぱり代数が得意なもんなの？

>>231 は「定義」という言葉を覚えたてで，
ちょっとカッコいいと思っていて，
やたらに使ってみたい中学2年生．

>>235
そういう話しを馬鹿には出来ません。
町内こそが世界のすべて、そんな人だっています。
馬鹿にしているんですか？

>>243
> そういう話しを馬鹿には出来ません。
「はなしし」?

VO━━━━━━(ﾟ∀ﾟ)━━━━━━IDDD !!!!!

void先生の数学力はいかほと？

計算機やってるやつって知ったかががデフォルトですげえキモいんですけど

メルセンヌ素数

そういうことでしか自己の存在価値を示せないから
では
はは

>243
「自分は世界一強いけど、あいつは町内一強い。」という落語あったな、、

キーボードから自然数を入力して、それを出発値として、
偶数なら２でわって、奇数なら３倍して１加える
という操作を１になるまで行うプログラムのソースファイルを
emacsで作りたいんだけどわからないからだれかおしえて。
あっあと途中経過を ８→４→２→１ みたいに表示したい。

2chでLispの話するといつも鬱になるんだよな。コードがうまく表示されなくてさ。
とにかく、scratch bufferあたりで下を評価してみ。>>251

(defun threeone-next (n)
(if (= (% n 2) 0)
(/ n 2)
(+ (* n 3) 1)))

(defun threeone-list (list31)
(let ((last (car list31)))
(if (= last 1)
list31
(threeone-list
(append (list (threeone-next last)) list31)))))

(threeone-list '(3))

誰もelispで書けとは言ってないようだが。

>>253
そ、そうだったのか。
orz
OTZ
○|￣|＿

251の「Emacsで作る」というのが曖昧だ罠

「場わたり」と書く>>84は数学や計算機は得意かもしれないが国語は苦手のようだ。

Fuck the police

プログラムのための数学とかいう本あるけど
あれ読んだやついる？

>>258
何々な香具師いる？
っていう質問は何を意図してるのだろうか
単に統計的に購読者数を知りたいのか

A. いるよ

>>259
いつも「いらない」と答えたくなる。

>>252
GJ
君みたくな人物が明るい世の中を構築する

>>252
xyzzyでやってみたら
関数が定義されていません: %
と言われた。

ネット上のリファレンスを探ったところ
%ではなくmodという関数があるそうなので
変えたら動いた。

出力結果の数字の並びが逆ではないのか？
（自分でリバースせい！ごもっとも）

>>251
>>252

ところで、そのプログラムはどんな自然数をいれても
有限の時間で終了するのか？

>>263
どんな自然数も有限回の操作で１に至るってみんな信じてるよ。
しかしそれは未証明だったはず。
こんな簡単な話が証明できないっていうので面白がられてる。

根源的にはポアンカレ予想に通ずる悪寒。

ポアンカレ予想を証明すれば100万ドルの賞金。

通じねえだろｗ

今度、高山せんせーのお友達のレクチャー受ける予定。
高山せんせーがdevilと呼ぶだけあって、今日もなかなか味な真似して頂きましたが・・・
頼むからいぢめないでね。おねがい？
つか高山せんせーのお友達というのが、アカデミでどーゆーステェタスなのか凄い気になる・・・

気になっているのは、devil先生本人ではなくて、
「高山せんせーのおともだち」という微妙なポジションのステェタスね。

あの先生、情報科学の人に殴られたりしないのかな

新しい仮想ファイルシステムの仕様を考えるのに群論は役に立ちますか？

sage

plan9 の設計には zeta 函数が関係するというのは
本当？

そのとおり。
ところで、その0点の分布が問題になっておる。
自明でない0点の分布についてのとある証明が必要なんじゃが、
それが、まだ得られれおらんのじゃ。
ちょいと証明して頂けんかな。

ソフトウェアの検証には高校レベルの確率や統計学の知識は必要だよな！

いらない。エクセルが魔法の杖だからエクセルのグラフでバグ収束されてるように書ければ大丈夫、
でも中身は解らなくても正規分布とか収束とかPB曲線とかスコープとかWBSとかのソフトウェア工学やプロジェクトマネージメント
のキーワードは知らないと
馬鹿にされる。

↓キーワード早見表

　Maxima は MIT の Macsyma system を William F.Schelter さんが Common Lisp で実装したもので，
Mathematica や Maple と同様，非常に本格的な数式処理システムです． Macsyma system は
数式処理システムの中では歴史ある汎用数式処理システムの1つで，非常に長い期間メンテナンス
されてきており Mapleと同様 高い評価を得ています． Maxima は GNU Public License(GPL)のもとに
リリースされており，汎用数式処理システムでは 数少ない非商用(無料)・オープンソースのもので，
その完成度は商用のものに劣りません．
　このソフトウェアは非常に優秀であるにもかかわらず，なぜか，日本ではあまり知られていません．
検索エンジンで検索しても，ほとんどひっかかりません．このままではもったいなすぎると思い，この
Maxima をここで紹介することにしました．数式処理システムが高くて買えない方，現在，
数式処理システムを1つしか使えない方など，ぜひお試しになってください．

ttp://phe.phyas.aichi-edu.ac.jp/~cyamauch/maxima/

１年以上誰も書き込んでなかったのか

1．日立製作所社員の高野くん（高野光弘）が会社を誹謗中傷して機密も漏洩
2．日立のユーザーにも「キチガイ」との障害者差別発言
3．日立製作所の企業イメージをバキバキにする
4．自身のサイトの『32nd diary』に掲載
5．日立製作所に通報される
6．あせって似顔絵削除
7．火に油を注ぐだけで所属する日本UNIXユーザ会にも通報祭り勃発
8．「給料泥棒」と説教される
9．「殺します」と殺人予告をして警察に事情を聞かれる←イマココ

高野光弘の行動
現在は、過去の記事を閲覧できなくして、「本日の日記はツッコミ数の制限を越えています」としています。
まずは、不愉快な思いをされた方々に謝罪するべきなのではないでしょうか。

高野光弘の発言
「まぁ、どこの団体もそんなにヤワじゃないので、平気なんですけども。
日本UNIXユーザ会が一番対応に慣れてる感じ。」

日本UNIXユーザ会が対応に慣れているか、みなさん確認してみてください。

連絡先
http://www.net.intap.or.jp/oiia/cont2/p0402.html%7B0recid=10168.html

bcの話題でもすっか？

1960年代から1970年代にかけ、コロナとブルーバードが繰り広げた熾烈な販売競争はBC戦争といわれた。

>>281
ちょｗｗｗおまｗｗｗそれちがうｗｗｗ

関係ないがｂｃでπ10万桁で遊んでたら
怒られたｗ

もっと関係ないが、PSプリンタにフラクタル作らせたら、怒られた。

極悪非道が集まるスレはここでつか？

まぁ僕は極悪非道って言われてるけど、やっぱり家族って大事だよね

それはフジテレビとターボリナックスの闘いですか？

ターボリナックスのことはよく知らないけど,
俺も家族を大事にしてるから嫁さんとの対話は毎日欠かさないよ.
話しかけると, あー, とか, ハイハイとか返事してくれる.

それに毎月お小遣いを2万円もくれるんだ.
昼食と夕食をこれで食べろって.
朝ご飯は健康のために作らないみたいなんだよね.
メタボがどーのこーのって, 体を気遣ってくれる.
お陰で体重がここ2ヶ月で10kg減ったよ.
俺って愛されてるな.

さっき久しぶりに嫁さんを誘ったらウザイって言われたよ.
まぁテレビを邪魔した俺が悪いんだけど.
よっぽどテレビが好きなんだね.

で, 何の話だっけ?

数学的には人の数と同じだけ家族があると言う事以上の事が
言えるのかどうかと言う話です

で、π10万桁はどした？

>>287
泣いた

!!重要!! これからこのスレを利用する方へのおねがい

DVではなくbcの話をしてください。
なお、今後πとオッパイを掛けることを固く禁じます。


皆様のご理解とご協力をお願いいたします。

ボインにしよう
うっしっし

UNIXよりデータベースやファイルシステムのが数学と親和性高いな。
UNIXはそんなに関係ない。
コンパイラやインタプリタを作るなら語学の成績が良いヤツにやらせたい。

DBとかファイルシステムを作る人は「数学の成績良かったんだろな」と
思わせるような概念をよく使う。
利用するだけでも、数学をちょっと勉強してると理解しやすいかも。

企業内で使うアプリを使うなら、IT系資格もってて
その会社の業務を熟知してる人がやれば十分。

低水準を開発するとなると, 確かに数学だの情報理論は使うやね.
直感でどーこするのは限界があるし.
集合論だのを, 応用するとまでいかず, 利用するに止まるけど.
ε-NFA -> DFA とかもほんと, ありがとうございますだ.


で, 俺は今, 数学屋に憧れている
概念操作格好良い, と
大学に戻りたい今日この頃

bcの使い方というかスクリプトというか･･･質問

1＾-10　ってどーやんの？

>>295
まんま入力すれば, 通らん?

%bc
bc 1.06
Copyright 1991-1994, 1997, 1998, 2000 Free Software Foundation, Inc.
This is free software with ABSOLUTELY NO WARRANTY.
For details type `warranty'.
1^-10
1
scale = 20
1^-10
1.00000000000000000000
10^-10
.00000000010000000000
quit


一応, 環境等.

%uname -prs
FreeBSD 6.3-RELEASE-p2 i386
%

1^-10 って書かれると "1^-" と "10" とに分かれて
いるようにしか見えないんだが…

（　ﾟдﾟ）ﾎﾟｶｰﾝ

TeXか

UNIXに限ったことでもない

俺ソロバン習ったことないからさ、ソロバンでどうやって掛算するのか不思議なんだ。
ソロバンできる知合いに２×３やってみて、って言ったら、
「２、３が６」って言って玉二つ動かしたんだ。
それ九九言っただけじゃん・・・
もしかしてソロバンで掛算はできないんでしょうか？

コピペ
http://toro.2ch.net/test/read.cgi/unix/1292029147/507

数学って言うか…

ユニックス
スウガク

スとクしか合ってねぇ

マセマティックスだろｗ

方程式にパラメータ与えて3次元のグラフにしたりする、あの手のヤツか

ユニックスではコンプレックスは使えますか？

数学とは人間の脳が世界をエミュレートする際の人間の脳のマシン語ではないだろうか。
シリコン製のコンピュータとたんぱく質製の脳では、マシンスペックが極端に違うか。
あえて違いを言えば、人間の脳はその低いマシンスペックで無理やり世界をエミュレート
するために、連続量とか微分積分が便利。工夫して一般化を進めて情報量を一見少なく
見せることもコミュニケーションには便利。
離散量と巨大記憶領域をもつコンピュータは、力づくなアルゴリズムが可能。
無理に数学的に美しいコンパクトな体裁に情報を変形させる必要はない。
それよりも、ハードディスクのランダムアクセスなどのような比較的低速な
機能をカバーするために算数レベルの最適化をソフトウェア的にいっぱい実装。
ていうかUNIXは数学というより算数に近いと思う

数学とは人間の脳が世界をエミュレートする際の人間の脳のマシン語ではないだろうか。
シリコン製のコンピュータとたんぱく質製の脳では、マシンスペックが極端に違うか。
あえて違いを言えば、人間の脳はその低いマシンスペックで無理やり世界をエミュレート
するために、連続量とか微分積分が便利。工夫して一般化を進めて情報量を一見少なく
見せることもコミュニケーションには便利。
離散量と巨大記憶領域をもつコンピュータは、力づくなアルゴリズムが可能。
無理に数学的に美しいコンパクトな体裁に情報を変形させる必要はない。
それよりも、ハードディスクのランダムアクセスなどのような比較的低速な
機能をカバーするために算数レベルの最適化をソフトウェア的にいっぱい実装。
ていうかUNIXは数学というより算数に近いと思う

>>309
コピペ
http://peace.2ch.net/test/read.cgi/unix/1043629084/308