unixと数学

[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

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

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

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

>>194
tensor??

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

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

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

>>194
局所座標?

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

>>194
点集合？

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

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

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

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

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

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

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

やらないか？

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>238

まったく関係ねーよタコ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

メルセンヌ素数

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

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

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

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

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

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

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

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

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

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

[254 252 NG NG]

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

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

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

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

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

[257 名無しさん＠お腹いっぱい。 2005/03/26(土) 09:09:24]

Fuck the police

[258 名無しさん＠お腹いっぱい。 2005/03/26(土) 09:28:05]

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

[259 名無しさん＠お腹いっぱい。 2005/03/26(土) 10:06:01]

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

A. いるよ

[260 名無しさん＠お腹いっぱい。 2005/03/26(土) 12:09:06]

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

[261 名無しさん＠お腹いっぱい。 2005/03/29(火) 22:51:35]

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

[262 名無しさん＠お腹いっぱい。 2005/03/29(火) 23:43:26]

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

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

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

[263 名無しさん＠お腹いっぱい。 2005/04/05(火) 19:38:24]

>>251
>>252

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

[264 252 2005/04/05(火) 19:47:49]

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

[265 名無しさん＠お腹いっぱい。 2005/04/06(水) 22:55:54]

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

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

[266 名無しさん＠お腹いっぱい。 2005/06/25(土) 02:26:05]

通じねえだろｗ

[267 名無しさん＠お腹いっぱい。 2005/09/06(火) 20:57:37]

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

[268 名無しさん＠お腹いっぱい。 2005/09/13(火) 06:27:09]

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

[269 名無しさん＠お腹いっぱい。 2005/09/25(日) 15:46:54]

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

[270 名無しさん＠お腹いっぱい。 2005/11/13(日) 05:00:44]

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

[271 名無しさん＠お腹いっぱい。 2005/12/01(木) 06:22:35]

sage

[272 名無しさん＠お腹いっぱい。 2006/05/07(日) 16:38:03]

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

[273 名無しさん＠お腹いっぱい。 2006/05/07(日) 18:45:52]

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

[274 名無しさん＠お腹いっぱい。 2007/02/02(金) 02:56:24]

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

[275 名無しさん＠お腹いっぱい。 2007/02/02(金) 08:27:59]

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

[276 名無しさん＠お腹いっぱい。 2007/02/04(日) 04:56:06]

↓キーワード早見表

[277 名無しさん＠お腹いっぱい。 2008/05/01(木) 18:40:13]

　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/

[278 名無しさん＠お腹いっぱい。 2008/05/03(土) 19:04:26]

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

[279 日立バキバキ高野くん祭り 2008/06/23(月) 19:32:21]

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

[280 名無しさん＠お腹いっぱい。 2008/06/24(火) 23:37:02]

bcの話題でもすっか？

[281 名無しさん＠お腹いっぱい。 2008/06/25(水) 07:21:48]

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

[282 名無しさん＠お腹いっぱい。 2008/06/25(水) 23:00:34]

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

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

[283 名無しさん＠お腹いっぱい。 2008/06/28(土) 08:44:22]

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

[284 名無しさん＠お腹いっぱい。 2008/06/28(土) 11:15:50]

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

[285 名無しさん＠お腹いっぱい。 2008/06/28(土) 23:02:40]

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

[286 名無しさん＠お腹いっぱい。 2008/06/29(日) 03:14:15]

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

[287 名無しさん＠お腹いっぱい。 2008/06/29(日) 22:31:46]

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

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

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

で, 何の話だっけ?

[288 名無しさん＠お腹いっぱい。 2008/06/29(日) 23:08:19]

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

[289 名無しさん＠お腹いっぱい。 2008/06/30(月) 23:48:28]

で、π10万桁はどした？

[290 名無しさん＠お腹いっぱい。 2008/07/01(火) 10:59:21]

>>287
泣いた

[291 名無しさん＠お腹いっぱい。 2008/07/03(木) 00:22:32]

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

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


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

[292 名無しさん＠お腹いっぱい。 2008/07/16(水) 11:25:05]

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

[293 名無しさん＠お腹いっぱい。 2008/07/24(木) 22:56:54]

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

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

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

[294 名無しさん＠お腹いっぱい。 2008/07/26(土) 12:32:11]

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


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

[295 名無しさん＠お腹いっぱい。 2008/08/05(火) 23:05:23]

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

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

[296 名無しさん＠お腹いっぱい。 2008/08/08(金) 00:12:57]

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

[297 名無しさん＠お腹いっぱい。 2008/08/11(月) 03:10:56]

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

[298 名無しさん＠お腹いっぱい。 2008/08/11(月) 08:29:25]

（　ﾟдﾟ）ﾎﾟｶｰﾝ

[299 名無しさん＠お腹いっぱい。 2008/08/15(金) 00:56:27]

TeXか

[300 電脳プリオン NG NG]

UNIXに限ったことでもない

[301 名無しさん＠お腹いっぱい。 2012/08/17(金) 22:08:42.97]

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

[302 名無しさん＠お腹いっぱい。 2012/08/17(金) 22:27:39.04]

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

[303 名無しさん＠お腹いっぱい。 2014/04/17(木) 22:05:54.48]

数学って言うか…

[304 名無しさん＠お腹いっぱい。 2014/04/21(月) 07:37:06.64]

ユニックス
スウガク

スとクしか合ってねぇ

[305 名無しさん＠お腹いっぱい。 2014/04/21(月) 08:03:46.34]

マセマティックスだろｗ

[306 名無しさん＠お腹いっぱい。 2014/05/07(水) 17:01:34.91]

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

[307 名無しさん＠お腹いっぱい。 2014/10/08(水) 06:07:26.26]

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

[308 名無しさん＠お腹いっぱい。 2014/10/23(木) 22:50:30.86]

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

[309 名無しさん＠お腹いっぱい。 2014/10/24(金) 00:34:06.05]

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

[310 名無しさん＠お腹いっぱい。 2014/10/24(金) 04:30:11.01]

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

[311 名無しさん＠お腹いっぱい。 2015/05/21(木) 14:35:26.45]

コンピュータの全ての分野を数学的に網羅したい場合、何学科に行くのが良いでしょうか？
情報科学科？電気電子工学科？物理学科？数学科?

[312 名無しさん＠お腹いっぱい。 2015/07/29(水) 11:56:37.13]

ウチもユニックスを導入しよう、やってくれるかな、って上司から突然言われました。
こっちはユニックスのパの字も知らない素人です。
まず何からやればいいんでしょうか？
上司に質問しても上司自体ユニックスを全く理解してません＞＜

[313 名無しさん＠お腹いっぱい。 2016/05/19(木) 11:05:39.67]

小学校の時、これ計算できたらエライ、やってみろ。
1 たす 13 たす 75 引く 23 たす .... ってしばらくやって
最後に「かけるゼロは？」っていう奴。
それ聞いて「あーなんだよせっかく計算したのにぃー」っていう奴はアホな。
かけ算優先だから最後にかけるゼロが付いても答えはゼロじゃないから。

[314 名無しさん＠お腹いっぱい。 2017/09/08(金) 09:07:42.63]

>>313
おもしろい

[315 名無しさん＠お腹いっぱい。 2017/12/29(金) 07:19:12.67]

誰でも簡単にパソコン1台で稼げる方法など
参考までに、
⇒　『宮本のゴウリエセレレ』 というブログで見ることができるらしいです。

グーグル検索⇒『宮本のゴウリエセレレ』

U0SBA5Z5N9

[316 名無しさん＠お腹いっぱい。 2018/05/22(火) 06:26:13.77]

知り合いから教えてもらったパソコン一台でお金持ちになれるやり方
時間がある方はみてもいいかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

PXAUV

[317 名無しさん＠お腹いっぱい。 2023/02/07(火) 23:47:32.10]

ﾌﾟﾌｧｰ(￣△￣）y─┛~~~~~

[318 名無しさん＠お腹いっぱい。 2023/08/19(土) 19:34:18.87]

非常に残念ですが、あなたの余命は少ししか残されていません

[319 名無しさん＠お腹いっぱい。 2024/03/27(水) 21:40:43.35]

それを駆使しても一言心配してくれる人いなくなっちゃうよね
そういうよくわからんが
土曜までで
90年代そうやって更新止めるんだろうな