X



unixと数学
0001名無しさん@お腹いっぱい。垢版NGNG
密接な関係があると思ふ。
0003man co垢版NGNG
unixと保健体育
密接な関係があると思ふ。
0007名無しさん@お腹いっぱい。垢版NGNG
>>1 よ、いいからまずオマエがネタを出せ。
gnuplot、数値計算、マセマティカ、などなどのアプリなネタはなしな。
(スレ違いのハズだよな?)
あと長文製造マニアを誘い出す哲学ネタも板違いッツーことで勘弁な。

さもなきゃ削除依頼よろしくな。
0012名無しさん@お腹いっぱい。垢版NGNG
unixと数学

どっちも抽象化がキモだろ。
こんなことすらわからんのか、この馬鹿どもが。
0020名無しさん@お腹いっぱい。垢版NGNG
UNIXを使ってるのは、理工系の学生を始めとして、
技術者やSEなど、理系の人間が大半である。

しかし、だからといってUNIXと数学には密接な関係はないだろう。
0022名無しさん@お腹いっぱい垢版NGNG
トンプソン&カーニハンの23の問題
その1 UNIXは完全である。
0026名無しさん@お腹いっぱい。垢版NGNG
>>25
なら数値計算のハナシでいいからネタふってみ?
CPU とかアプリの話を律儀に避けると「ワカワケラン。数学板でやれよ」
つーことになると思うけど。
0028名無しさん@お腹いっぱい。垢版NGNG
LLとかLRとか(パーサ)、
mallocでbest fitでなくてもfirst fitで十分な理由とか、
knuthのバディアロケータの話とか
乱数検定の話とか、
そういうのがいいの?
0030名無しさん@お腹いっぱい。垢版NGNG
このスレが十分下がったら
knuthの日本語版第3巻を元ネタに乱数の事でも書いてみるか。
証明には整数論を使うので数学と関係無いわけじゃない。
0036名無しさん@お腹いっぱい。垢版NGNG
>>1はアホっぽいが実際どーなんだ。
0039名無しさん@お腹いっぱい。垢版NGNG
この前8+7ができなくて戸惑った。
0041名無しさん@お腹いっぱい。垢版NGNG
>>40
息子に買ってやったドラクエ6でそういうキャラいましたな。
ドラクエの1ならやったことあるのですが、
呪文や登場人物が増えてついていけない今日この頃です。
0042名無しさん@お腹いっぱい。垢版NGNG
君達のような無学な人間は知らないかもしれないが、
Unix は複素多様体の一種だよ。
そして、コンピュータの正規部分群でもある。
つまり、商群が考えられるってことだ。
ついでに、Unix のコホモロジーを考えることも出来る。
結論としては Unix と数学には密接な関係があると言える。
>>1は正しいのだ。
0047名無しさん@お腹いっぱい。垢版NGNG
簡潔さ,一般性を至上とする哲学が一致している.
0049名無しさん@お腹いっぱい。垢版NGNG
>>48 はε-δで数学つまずいたチューボー
0052名無しさん@お腹いっぱい。垢版NGNG
>>51 は位相空間に変な幻想いだいてるチューボー
0054名無しさん@お腹いっぱい。垢版NGNG
>>53
関係あるよ.位相空間ではよくε-δを使う
0055名無しさん@お腹いっぱい。垢版NGNG
位相空間でε-δを使うって言うより、
ユークリッド空間の(通常の)位相を考える場合にε-δを
使うって言ったほうが適切だと思われ。
0058名無しさん@お腹いっぱい。垢版NGNG
距離空間に自然な位相を入れるとき,
ε近傍を使う.
0060名無しさん@お腹いっぱい。垢版NGNG
>>59
数学でいう空間とは集合になんらかの
「構造」を入れたものをいう.それだけのこと.
次元はケースによるから一口にいえない.
0064名無しさん@お腹いっぱい。垢版NGNG
>>62
「構造」は Bourbaki の `Elements de Mathematiques' で
厳密に定義されている
0067名無しさん@お腹いっぱい。垢版NGNG
  ( ・∀・)   | | バキ
 と    )    | |
   Y /ノ    人
    / )    <  >__Λ∩
  _/し' //. V`Д´)/
 (_フ彡        /  ←>>66
0068名無しさん@お腹いっぱい。垢版NGNG
数学や理論物理崩れの人で情報系の仕事してる人とかいるの?
006965垢版NGNG
>>68
私('64生まれ)の世代は結構いるよ。
いつの間にかっていうのが多いけど。
0070名無しさん@Emacs垢版NGNG
挫折のあとにUNIXに流れ着いたような人だと、
正直、こういうスレは我慢ならないのかな
なんて思ってみたりして。
0073名無しさん@お腹いっぱい。垢版NGNG
やれやれ、犬板につづき数学板のクソっぷりまでこの板に引っ張ってくる
気かよ。
板違いなものは板違いなんだよ。
さっさと削除依頼出せ >>1
0074名無しさん@お腹いっぱい。垢版NGNG
そうでもないよ.
数学関係者が Unix に関してした貢献は小さくない
0078名無しさん@お腹いっぱい。垢版NGNG
Tompson も Joy も Stallman も Richie も Aho も
みんな数学科出身だよ
0080名無しさん@お腹いっぱい。垢版NGNG
数学そっちのけでレッツ・ハックな香具師らばっかじゃん。
苦しいリクツばっかこねてるとクソスレ化が加速するんだから、
十分 sage ったところで静かにやろうや。
0081名無しさん@お腹いっぱい。垢版NGNG
>>80
おまえがな
0084名無しさん@お腹いっぱい。垢版NGNG
計算機屋なんぞは自分がもってる技術が
場わたり的なもので,5年先にはまだ使えるかどうかわからないので,
高い普偏性をもつ数学に対する劣等感がある.
0086名無しさん@お腹いっぱい。垢版NGNG
>>85
おまえがな
0089名無しさん@お腹いっぱい。垢版NGNG
数学もできないでプログラムが組めるか。
とりあえず解析入門を一通り読め。
0090名無しさん@お腹いっぱい。垢版NGNG
計算機科学は結局,可換環の話になるのを知らないの?
0094名無しさん@お腹いっぱい。垢版NGNG
岩波の情報科学シリーズなんかもろ数学だけどな。
0096名無しさん@Emacs垢版NGNG
数学板のゴミスレを"d"で削除していったら
スレの数が100個ぐらいになっちゃった(藁
あそこはいつからあんなになってしまったの?
基礎論スレもついこの前まで結構盛り上がってたのに
マツシン,エムシラであっという間にクソスレ化。
0097名無しさん@お腹いっぱい。垢版NGNG
>>96
数学板が Unix 板に比べかなり荒れているのは認める.
中坊や工房のヴァカどもとかド素人のヴァカとか,
知ったかぶりのヴァカとかもやって来て,
優秀な人がどんどん去っているから,
ああなるのはしかたない.

Unix 板ももっとメジャーになれば,同じように荒れるよ.
0098名無しさん@お腹いっぱい垢版NGNG
数値解析は数学じゃないよなぁ(ぜんぜんちがう)
0099名無しさん@お腹いっぱい。垢版NGNG
Unix 板は荒れていないが,そのかわり回転が遅い
0101名無しさん@お腹いっぱい。垢版NGNG
まぁ専門板において(シミュ板クラスの板を抜かせば)
覗いた人間にとって有用なレスとやらの量は大して変わらないわけだが。
0103名無しさん@お腹いっぱい。垢版NGNG
元数学科の人に聞きたいんだけど、
UNIX弄くってるのと数学やってるのどっちが楽しいですか?
0106名無しさん@お腹いっぱい。垢版NGNG
>>103
どっちもどっち。私の場合ですが。
名古屋大卒。

0108名無しさん@お腹いっぱい。垢版NGNG
>>107
果てしなく続けられるなら比較ネタもおもしろいかと。

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

(どんな習い事でも一緒だなぁ、と小一時間)
0109名無しさん@お腹いっぱい。垢版NGNG
>>108
わろた
0111名無しさん@お腹いっぱい。 垢版NGNG
数学の構造とC言語の構造体はどんな関係があるんでしょうか?
0113名無しさん@お腹いっぱい。垢版NGNG
>>42
コンピュータが群であることを示してください。
0114名無しさん@お腹いっぱい。垢版NGNG
>>18
や  ら  な  い  か  ?
0115名無しさん@Emacs垢版NGNG
数学の百科事典として英語の本が欲しいんだけど
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版があれば迷わずそっちを
買ってるところなんだけど。。。
0116スレッド居合い切り垢版NGNG
───────────────────────────−──────―
────────‐───────────−────────────―─‐
─‐────────────‐────────‐∧_∧ ───‐──―──‐
─────‐∧ ∧,〜 <逝ってよし──────‐(; ´Д`) ────―─‐──‐
──−──‐( (⌒ ̄ `ヽ───_ ───────‐ /    /─―/ヽ────―─‐
──―───‐\  \ `ー'"´, -'⌒ヽ──────‐| | 1 ‐─‐/ | | ─────―
―‐――──‐ /∠_,ノ    _/_───‐―──―─‐| |  /─―/ | |―────―‐
─────‐ /( ノ ヽ、_/´  \―────‐──‐∪ ./──,イ ∪ ────―─
────‐ 、( 'ノ(     く     `ヽ、 ―────―‐| /−─/|| | ──−───―
───‐‐/` ―\____>\___ノ ──────‐|/──/ || | ────‐─―‐
───/───―‐/__〉.───`、__>.―‐―───‐─―‐| || | ─────―─
──/──‐──────────────―−───‐(_)_)─────―─
─/────────−────────────‐──────────―‐
───────────────────‐─────────―─────‐
0117名無しさん@お腹いっぱい。垢版NGNG
>>115

岩波数学辞典は質が高くて評判いいね
今,改訂作業中だから,いずれ,第4版が出るみたいよ
もちろん日本語だけど
0118名無しさん@お腹いっぱい。垢版NGNG
>>117
> 岩波数学辞典の英訳のCDROM版があれば迷わずそっちを
> 買ってるところなんだけど。。。

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

dvi が一番軽快でコムパクトでいいんだが
0119名無しさん@お腹いっぱい。垢版NGNG
dviでは検索ができないと思われ
0120名無しさん@お腹いっぱい。垢版NGNG
>>119

dvi は検索できるよ.

例えば,dviout ではできる.
0121名無しさん@お腹いっぱい。垢版NGNG
おれは dvi 形式が断然好きだが,
実際なるとしたら,pdf あたりだろう
0123名無しさん@お腹いっぱい。垢版NGNG
数学もUNIXも貧乏人の最高の娯楽だね
0126名無しさん@お腹いっぱい。垢版NGNG
というか >>113 はネタのつもりでしょ
ぜんぜんおもしろくないけど
0128名無しさん@お腹いっぱい。垢版NGNG
>>42
コンピュータを定義してください。
0133名無しさん@お腹いっぱい。垢版NGNG
プログラミングなんて、
大工仕事みたいなモンすよ
0134名無しさん@お腹いっぱい垢版NGNG
私の先輩は、机の上の土方仕事と言っていました。(あー実感)
0135ななし垢版NGNG
/dev/null と /dev/zero って同じものなの?
0137名無しさん@お腹いっぱい。垢版NGNG
ぬるぽ
0138ななし垢版NGNG
  ∧_∧
  ( ・∀・)   | | ガッ
 と    )    | |
   Y /ノ    人
    / )    <  >__Λ∩
  _/し' //. V`Д´)/
 (_フ彡        /  ←>>137
0140名無しさん@お腹いっぱい。垢版NGNG
数学者が、UNIXを抽象化して、統合整理して、もっと簡潔にして完備な、
無駄のない、ごたごたした混乱を含まない整合性のある体型として、
再定義してもらえないものだろうか。
0142名無しさん@お腹いっぱい。垢版NGNG
そんなことより、アルゴリズムをPascal風に書くのが流行ってるのか?
もちろんPascal風であってPascalではないので、そのままでは動かないのはご愛敬だが。

PS.
阪大ではUNIX端末が壊滅しつつあります。
0143名無しさん@お腹いっぱい。垢版NGNG
> 阪大ではUNIX端末が壊滅しつつあります。

阪大でそのザマか. 端末は Windows ?
0151名無しさん@お腹いっぱい。垢版NGNG
数学基礎論は入り口だけは楽しいから、河合の倉田先生の本をよく読んでるんだけど、
モデル理論がさっぱり分りません。UNIXの何かに絡めて、誰か説明してください。
間違った説明でも大いに結構です。
0152名無しさん@お腹いっぱい。垢版NGNG
>>151
> 数学基礎論は入り口だけは楽しいから、

クスッとするね

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

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

連続体仮説とか解決していない
0155名無しさん@お腹いっぱい。垢版NGNG
あげ
0157名無しさん@お腹いっぱい。垢版NGNG
>>152 連続体仮説は解決してるだろうが。肯定も否定も無矛盾だってことで。

0158名無しさん@お腹いっぱい。垢版NGNG
>>157
CohenがやったのはGCHのZFCからの独立性の証明(肯定も否定も証明できない)
って書いてありますが、それは広い意味での無矛盾という意味なんでしょうか?
0160名無しさん@お腹いっぱい。垢版NGNG
>>157

それは重大な結果だが,解決にはなっていないだろう
0162名無しさん@お腹いっぱい。垢版NGNG
>>161
間に合ってます。

















嘘です。
0163名無しさん@お腹いっぱい。垢版NGNG
低水準な話で恐縮ですが、電卓ソフトはどんなの使ってます?

記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数
, べき乗, 対数くらい)を備えた、逆ポーランド記法でないもの、と思
うと手頃なのが意外と見付からない。。
0166名無しさん@お腹いっぱい。垢版NGNG
% bc
ibase=10
obase=16
3*4
C
obase=2
3*4
1100

この程度の面倒をいやがっちゃいけません。
基数の異なる数値を同じ式の中で扱うのはできないけどさ。
0167名無しさん@お腹いっぱい。垢版NGNG
>>166
たとえばgrpnならワンキーでできるものにそれだけの手数を
掛けるのはきついなあ。
悲しいかな、grpnは(rpnというぐらいだから)逆ポーランド専用なので
「手軽な電卓」としては(漏れには)使えないけど。

ちなみに、bcにはこういうの定義してまつ。
define b(i, o){
  ibase=i
  obase=o
}
define br(){
  ibase=A
  obase=A
}
0169名無しさん@お腹いっぱい。垢版NGNG
$ 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
$
0170名無しさん@お腹いっぱい。垢版NGNG
からあげうまうま
0171名無しさん@お腹いっぱい。垢版NGNG
Unix はあたかも数学のように美しい

それで十分だ
0174名無しさん@お腹いっぱい。垢版NGNG
山崎うぜー
0176anonymous垢版NGNG
数学は不細工だ。
 真に美しいのは、詩だ。
  その次は物理だ。
0179名無しさん@お腹いっぱい。垢版NGNG
そうはイリヤのプリゴジン
0180名無しさん@お腹いっぱい。垢版NGNG
ちなみに、「電卓」は何使ってる?

記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数
, べき乗, 対数くらい)を備えた、虐ポーランドでなく、かつ、
CASIO VPAMでないもの、と思うと何が良いですかね。
0181名無しさん@お腹いっぱい。垢版NGNG
SHARP PC-1445使こてる。進法変換も専用のキーがあるし、
電卓式でも式入力でも使えて便利。

これで計算結果をPCにコピペ出来れば言うことなしなのだが。
0182180垢版NGNG
1445って2進、8進キーがあるのね。
ttp://pocket.free.fr/images/sharp/pc-1445.jpg
しかもあのCASLエミュ機か、なっつかしー

実はPC-1401ユーザなんだけど10⇔16進キーしかなくてね。
ちとつらい。
0184名無しさん@お腹いっぱい。垢版NGNG
ユークリッド幾何学がわかりません。
0188名無しさん@お腹いっぱい。垢版NGNG
まぁお前ら、UNIX のど素人は、数学でも勉強してろってこった。


↓以下、「いや数学者はわりとUNIX使ってるよ。いやそれなら物理屋の方が…」
というお決まりのツマラン流れをキボン。俺は寝る。
0194名無しさん@お腹いっぱい。垢版NGNG
高校数学でやるベクトルが19世紀的な数学だとすると、
20世紀はどういった感じで図形を考えるんですか?
0200名無しさん@お腹いっぱい。垢版NGNG
幾何とトポロジーの違いが分らない
0205名無しさん@お腹いっぱい。垢版NGNG
高山先生あげ!この人のコラム面白すぎ。

>一方で天才的な数学者はここだ!と目を付けたところで、
>難問の山々をものともせずにブルドーザーでジャングルを
>整地していくように新天地を切り開いていくようである。
>凡庸な数学者達はブルドーザーが通った後に落ち穂拾い
>のように適当な問題を探しあてたり、場合によっては
>さんざん探し回ったあげく、何も残っていない事に気付いて
>のたれ死にしたりするようである。
0208名無しさん@お腹いっぱい。垢版NGNG
おまえら高山先生のこと舐めすぎ
0209名無しさん@お腹いっぱい。垢版NGNG
高山先生の言ってることは正しいな。
所詮情報系は頭が悪い、これは事実だからいいじゃん。
頭が悪いからこそ泥臭い作業に没頭できる。
美しい労働者の姿、素晴らしいじゃありませんか。
0213名無しさん@お腹いっぱい。垢版NGNG
おれなら工学、というより"現場"ってものを知ってる人に数学を教わってみたいな。
数学や理論物理のプロを目指しているわけでもない人には、高山先生のような人が最適だと思う。
馬鹿にされることの多い人だけど、そういう香具師にはこの人がどうして
今のポジションを獲得できたのか理解出来ないだろうな。
0214名無しさん@お腹いっぱい。垢版NGNG
高山シンパの立命○のアホ学生が多数いるようですね
高山は数学者として最低レベルですよ
0215名無しさん@お腹いっぱい。垢版NGNG
>>214
人として素晴しいのなら、数学者より上。
0216名無しさん@お腹いっぱい。垢版NGNG
>>206
文章の評価は君の評価で正しいと思うけど、内容は面白いと思う。
何故に噛み付くの?
0217名無しさん@お腹いっぱい。垢版NGNG
高山の数学のレベルはシロートに対していばっているが
専門家からすればどってことない
0218名無しさん@お腹いっぱい。垢版NGNG
>>217
いや、素人に対してもいばってないでしょ。
0220名無しさん@お腹いっぱい。垢版NGNG
高山がいばれるのは工学部とか立命○のボンクラ学生だけでしょ
0222名無しさん@お腹いっぱい。垢版NGNG
一流二流の数学者はシロートになんかいばらないよ
高山は8流くらいだからシロートにいばる
0223名無しさん@お腹いっぱい。垢版NGNG
高山先生はキャラ立ちしてるからな。アカポスに就けなかった人とは
単純に能力だけで比較することは出来ないよ。
0224名無しさん@お腹いっぱい。垢版NGNG
なんか高山の弁護に必死な立命館生がうざい
0225名無しさん@お腹いっぱい。垢版NGNG
>>224
高山先生なんて知りませんが何か?
HPを見てファンになっただけですが何か?
0226名無しさん@お腹いっぱい。垢版NGNG
高山が言ってる
「情報科学だの計算機科学だのというのは学問ではない」
という主張には同感なんだが,
それを深谷賢治や加藤和也がいうのならば納得だが,
高山みたいな底辺の5流の自称数学者がいうと,
頭にくうんだよな
0229名無しさん@お腹いっぱい。垢版NGNG
高山先生の凄さをそんなところに求めてもダメだよ。
誰も恥かしくて言えないようなことを言ったから凄いんだよ。
実際言ってることは間違ってないじゃん。
0230名無しさん@お腹いっぱい。垢版NGNG
いずれにせよ、こんな香具師を教壇に立たせている
立命館は近づいちゃいけない糞大学だということだけは、
間違いないだろ。

それにしてもRitsは痛い香具師が大杉。
0233名無しさん@お腹いっぱい。垢版NGNG
学生の学力低下が長らく嘆かれているが、
これと大学教員の学力低下が表裏一体であることは
あまりいわれない。

立命館の高山みたいな普通の人間が
「大学教授」などという分不相応の身分を
得ていることが一つのその現れだ。
0236名無しさん@お腹いっぱい。垢版NGNG
>>234
高山は代数幾何はわからんよ
0239名無しさん@お腹いっぱい。垢版NGNG
>>238

まったく関係ねーよタコ
0242名無しさん@お腹いっぱい。垢版NGNG
>>231 は「定義」という言葉を覚えたてで,
ちょっとカッコいいと思っていて,
やたらに使ってみたい中学2年生.

0251名無しさん@お腹いっぱい。垢版NGNG
キーボードから自然数を入力して、それを出発値として、
偶数なら2でわって、奇数なら3倍して1加える
という操作を1になるまで行うプログラムのソースファイルを
emacsで作りたいんだけどわからないからだれかおしえて。
あっあと途中経過を 8→4→2→1 みたいに表示したい。
0252名無しさん@お腹いっぱい。垢版NGNG
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))
0254252垢版NGNG
>>253
そ、そうだったのか。
orz
OTZ
○| ̄|_
0256名無しさん@お腹いっぱい。垢版NGNG
「場わたり」と書く>>84は数学や計算機は得意かもしれないが国語は苦手のようだ。
0261名無しさん@お腹いっぱい。垢版2005/03/29(火) 22:51:35
>>252
GJ
君みたくな人物が明るい世の中を構築する
0262名無しさん@お腹いっぱい。垢版2005/03/29(火) 23:43:26
>>252
xyzzyでやってみたら
関数が定義されていません: %
と言われた。

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

出力結果の数字の並びが逆ではないのか?
(自分でリバースせい!ごもっとも)
0264252垢版2005/04/05(火) 19:47:49
>>263
どんな自然数も有限回の操作で1に至るってみんな信じてるよ。
しかしそれは未証明だったはず。
こんな簡単な話が証明できないっていうので面白がられてる。
0267名無しさん@お腹いっぱい。垢版2005/09/06(火) 20:57:37
今度、高山せんせーのお友達のレクチャー受ける予定。
高山せんせーがdevilと呼ぶだけあって、今日もなかなか味な真似して頂きましたが・・・
頼むからいぢめないでね。おねがい?
つか高山せんせーのお友達というのが、アカデミでどーゆーステェタスなのか凄い気になる・・・
0268名無しさん@お腹いっぱい。垢版2005/09/13(火) 06:27:09
気になっているのは、devil先生本人ではなくて、
「高山せんせーのおともだち」という微妙なポジションのステェタスね。
0270名無しさん@お腹いっぱい。垢版2005/11/13(日) 05:00:44
新しい仮想ファイルシステムの仕様を考えるのに群論は役に立ちますか?
0272名無しさん@お腹いっぱい。垢版2006/05/07(日) 16:38:03
plan9 の設計には zeta 函数が関係するというのは
本当?
0273名無しさん@お腹いっぱい。垢版2006/05/07(日) 18:45:52
そのとおり。
ところで、その0点の分布が問題になっておる。
自明でない0点の分布についてのとある証明が必要なんじゃが、
それが、まだ得られれおらんのじゃ。
ちょいと証明して頂けんかな。
0274名無しさん@お腹いっぱい。垢版2007/02/02(金) 02:56:24
ソフトウェアの検証には高校レベルの確率や統計学の知識は必要だよな!
0275名無しさん@お腹いっぱい。垢版2007/02/02(金) 08:27:59
いらない。エクセルが魔法の杖だからエクセルのグラフでバグ収束されてるように書ければ大丈夫、
でも中身は解らなくても正規分布とか収束とかPB曲線とかスコープとかWBSとかのソフトウェア工学やプロジェクトマネージメント
のキーワードは知らないと
馬鹿にされる。
0277名無しさん@お腹いっぱい。垢版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/
0279日立バキバキ高野くん祭り垢版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
0280名無しさん@お腹いっぱい。垢版2008/06/24(火) 23:37:02
bcの話題でもすっか?
0282名無しさん@お腹いっぱい。垢版2008/06/25(水) 23:00:34
>>281
ちょwwwおまwwwそれちがうwww

関係ないがbcでπ10万桁で遊んでたら
怒られたw
0284名無しさん@お腹いっぱい。垢版2008/06/28(土) 11:15:50
極悪非道が集まるスレはここでつか?
0287名無しさん@お腹いっぱい。垢版2008/06/29(日) 22:31:46
ターボリナックスのことはよく知らないけど,
俺も家族を大事にしてるから嫁さんとの対話は毎日欠かさないよ.
話しかけると, あー, とか, ハイハイとか返事してくれる.

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

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

で, 何の話だっけ?
0291名無しさん@お腹いっぱい。垢版2008/07/03(木) 00:22:32
!!重要!! これからこのスレを利用する方へのおねがい

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


皆様のご理解とご協力をお願いいたします。
0293名無しさん@お腹いっぱい。垢版2008/07/24(木) 22:56:54
UNIXよりデータベースやファイルシステムのが数学と親和性高いな。
UNIXはそんなに関係ない。
コンパイラやインタプリタを作るなら語学の成績が良いヤツにやらせたい。

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

企業内で使うアプリを使うなら、IT系資格もってて
その会社の業務を熟知してる人がやれば十分。
0294名無しさん@お腹いっぱい。垢版2008/07/26(土) 12:32:11
低水準を開発するとなると, 確かに数学だの情報理論は使うやね.
直感でどーこするのは限界があるし.
集合論だのを, 応用するとまでいかず, 利用するに止まるけど.
ε-NFA -> DFA とかもほんと, ありがとうございますだ.


で, 俺は今, 数学屋に憧れている
概念操作格好良い, と
大学に戻りたい今日この頃
0295名無しさん@お腹いっぱい。垢版2008/08/05(火) 23:05:23
bcの使い方というかスクリプトというか・・・質問

1^-10 ってどーやんの?
0296名無しさん@お腹いっぱい。垢版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
%
0301名無しさん@お腹いっぱい。垢版2012/08/17(金) 22:08:42.97
俺ソロバン習ったことないからさ、ソロバンでどうやって掛算するのか不思議なんだ。
ソロバンできる知合いに2×3やってみて、って言ったら、
「2、3が6」って言って玉二つ動かしたんだ。
それ九九言っただけじゃん・・・
もしかしてソロバンで掛算はできないんでしょうか?
0303名無しさん@お腹いっぱい。垢版2014/04/17(木) 22:05:54.48
数学って言うか…
0307名無しさん@お腹いっぱい。垢版2014/10/08(水) 06:07:26.26
ユニックスではコンプレックスは使えますか?
0308名無しさん@お腹いっぱい。垢版2014/10/23(木) 22:50:30.86
数学とは人間の脳が世界をエミュレートする際の人間の脳のマシン語ではないだろうか。
シリコン製のコンピュータとたんぱく質製の脳では、マシンスペックが極端に違うか。
あえて違いを言えば、人間の脳はその低いマシンスペックで無理やり世界をエミュレート
するために、連続量とか微分積分が便利。工夫して一般化を進めて情報量を一見少なく
見せることもコミュニケーションには便利。
離散量と巨大記憶領域をもつコンピュータは、力づくなアルゴリズムが可能。
無理に数学的に美しいコンパクトな体裁に情報を変形させる必要はない。
それよりも、ハードディスクのランダムアクセスなどのような比較的低速な
機能をカバーするために算数レベルの最適化をソフトウェア的にいっぱい実装。
ていうかUNIXは数学というより算数に近いと思う
0309名無しさん@お腹いっぱい。垢版2014/10/24(金) 00:34:06.05
数学とは人間の脳が世界をエミュレートする際の人間の脳のマシン語ではないだろうか。
シリコン製のコンピュータとたんぱく質製の脳では、マシンスペックが極端に違うか。
あえて違いを言えば、人間の脳はその低いマシンスペックで無理やり世界をエミュレート
するために、連続量とか微分積分が便利。工夫して一般化を進めて情報量を一見少なく
見せることもコミュニケーションには便利。
離散量と巨大記憶領域をもつコンピュータは、力づくなアルゴリズムが可能。
無理に数学的に美しいコンパクトな体裁に情報を変形させる必要はない。
それよりも、ハードディスクのランダムアクセスなどのような比較的低速な
機能をカバーするために算数レベルの最適化をソフトウェア的にいっぱい実装。
ていうかUNIXは数学というより算数に近いと思う
0311名無しさん@お腹いっぱい。垢版2015/05/21(木) 14:35:26.45
コンピュータの全ての分野を数学的に網羅したい場合、何学科に行くのが良いでしょうか?
情報科学科?電気電子工学科?物理学科?数学科?
0312名無しさん@お腹いっぱい。垢版2015/07/29(水) 11:56:37.13
ウチもユニックスを導入しよう、やってくれるかな、って上司から突然言われました。
こっちはユニックスのパの字も知らない素人です。
まず何からやればいいんでしょうか?
上司に質問しても上司自体ユニックスを全く理解してません><
0313名無しさん@お腹いっぱい。垢版2016/05/19(木) 11:05:39.67
小学校の時、これ計算できたらエライ、やってみろ。
1 たす 13 たす 75 引く 23 たす .... ってしばらくやって
最後に「かけるゼロは?」っていう奴。
それ聞いて「あーなんだよせっかく計算したのにぃー」っていう奴はアホな。
かけ算優先だから最後にかけるゼロが付いても答えはゼロじゃないから。
0315名無しさん@お腹いっぱい。垢版2017/12/29(金) 07:19:12.67
誰でも簡単にパソコン1台で稼げる方法など
参考までに、
⇒ 『宮本のゴウリエセレレ』 というブログで見ることができるらしいです。

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

U0SBA5Z5N9
0316名無しさん@お腹いっぱい。垢版2018/05/22(火) 06:26:13.77
知り合いから教えてもらったパソコン一台でお金持ちになれるやり方
時間がある方はみてもいいかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』

PXAUV
0319名無しさん@お腹いっぱい。垢版2024/03/27(水) 21:40:43.35
それを駆使しても一言心配してくれる人いなくなっちゃうよね
そういうよくわからんが
土曜までで
90年代そうやって更新止めるんだろうな
レスを投稿する


ニューススポーツなんでも実況