- 1 名前：デフォルトの名無しさん [2007/02/14(水) 21:46:25 ]
- どうなんだ？
- 596 名前：592 mailto:sage [2008/05/12(月) 07:59:16 ]
- そういう事だな。
仕様書に1-cos(x) 書いてあるからと、そのまま書いたら酷い精度しか得られない。
で、ソレが判る程度の算数の知識は必要って事で
- 597 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 08:20:58 ]
- >>596
ただそれだけ主張すると、
「そんなの使うのはごく一部の分野だけじゃん」とか
「それもあるに越したことない知識だけど、もっと優先度高いことが他にある」とか
言い出す人が出てくるよ。
俺はそれが必要な分野にいるプログラマだから賛成はするけども、
分野もいろいろあるし、開発規模・人数、自分の立ち位置でも考えは変えざるを得ないと思う。
- 598 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 08:25:29 ]
- 逆に、
「それ言い出したらお前、標準の sin/cos の実装どうなってるかからまず解析しなきゃ」とか
「組み込み用途だと、テイラー展開じゃなくて CORDIC 法みたいな数値計算の方がいいよ」とか
揚げ足取りな茶々入れてくる奴もきっといる。
それぞれたぶん、その当人のおかれた立場においては間違いじゃないのよ。
で、結局のところ >>589 になる。
- 599 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 08:41:22 ]
- では、もっと具体的に
電力を測定するには電流と電圧を同時に測る必要があるのだけど
ADCは入力が複数あっても入力セレクタを切り替えて使う為に
同時に測定する為に、昔はサンプル＆ホールドという回路が付いていた。
10KHz以上をカットするLPFが電流・電圧信号に入っていて
マイコンは100KHzでも200Khzでも十分なサンプリングする能力があるとし
演算性能のは十分な余裕があるとしたら、
サンプル＆ホールド回路は必要かどうか？
サンプル＆ホールド回路のコストが100円/枚付いていて
１０万台/年の販売として、これを外す事で年１千万のコストダウンになるとしよう
- 600 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 08:47:45 ]
- もっと分野がせまくなった・・・
>>597 を書かれた後でそれ言い出すって、
「俺は数学わかって偉いんだ。みんな俺を褒めてよ。」って吠えてるようにしか見えん。
- 601 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 08:51:25 ]
- まあ、俺はそう吠えることすらも「間違いじゃない」と思うけど。
他者にほめられたいってのは、社会をなして生きる人間の本能だと思うし。
- 602 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 09:06:48 ]
- ＞「そんなの使うのはごく一部の分野だけじゃん」とか
だから、問題を具体的にしたんだよ。
プログラミングの問題なんて、既にあるものはコピペすればいいのだから
その時に解決しなければならないのは常に小さい範囲ばかり。
労働としてのプログラマというよりコーダーなら別かもしれないけどね
- 603 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 12:13:15 ]
- >>602
元ネタふったのは俺なんだが、まぁそう言うことだ。
オプティマイザが… とか、ライブラリが… とか、 仕様がこうだから… とか
「思考停止状態で、もの作っても意味ないだろう」ってな、事が言いたかった。
- 604 名前：長文失敬 mailto:sage [2008/05/12(月) 12:30:20 ]
- 具体例を内容を暈しつつ一つ。
あるシミュレーションソフト、開発したのはそのシミュレーションを必要とするとあるジャンルの設計チーム。
理論は知っているし必要なプログラミングもできたが、出来上がったものは無駄な演算や適当でない最適化の塊。
こいつの高速化を任されたのだが、こちらは理論も知らなければ実際に流すデータも守秘義務に阻まれて入手できない。
仕方ないので、サンプルデータとその結果から理論を推測しつつ必要な精度を聞き出してロジックの改善を行っている。
問題は、
・理論を知っている仕様提示者も、必要となる精度をしばしば把握できていない
・各ロジックは個別に作られて組み合わされているので、同じ意味の演算ルーチンが複数の手段で実装されてばらばらに存在する
・年月を掛けて構築された所為か品質に斑があり、かつドキュメントも整備されていない
・依頼元の「速度改善に寄与しないロジックは極力変えるな」の方針に阻まれて品質改善も保守性向上も図れない
と言った辺りか。
しかも、やっと理論を把握して改善に手を出し始めると新しいアルゴリズムのための修正が入る始末。
最低限、理論を把握できるだけの数学的素養が要求されるのでおいそれと人的資源を投入することもできない。
結論、ある種のプログラミングの現場では、ある程度の数学知識をベースとしてヒアリングできる能力が要求される。
- 605 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 17:12:58 ]
- それじゃあプログラムに必要な数学をピンポイントで学習できるサイトとかありまするか？
- 606 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 18:02:55 ]
- >>605 もう一回、小学校の算数からやり直せばいいんでねぇの？
- 607 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 18:22:11 ]
- 今更、算数なんかやっても無駄
そんなものより線形代数入門と
A Logical Aprproach to Discrete Mathでも読みなさい
少なくともどんなことを勉強すればいいのか分かるようになるから
- 608 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 21:31:32 ]
- >>583
C++でラムダって一番遅れている分野じゃないですか。
テンプレートメタプログラミングを使うと
具体的にどういうことができるかって例にはなるが。
- 609 名前：デフォルトの名無しさん mailto:sage [2008/05/12(月) 21:36:12 ]
- >>608
結局 Lisp だとか ML とかの他言語で研究/実装されてきたものの焼き直し
つか、スレチだろ？ >おまえら
- 610 名前：デフォルトの名無しさん [2008/05/13(火) 01:32:44 ]
- F＃が最先端
- 611 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 02:19:50 ]
- 富士通とシャープの合弁か
- 612 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 07:44:42 ]
- 全員が数学的センスを持っている必要は無いが
プロジェクトに何人かは必要。
無駄に複雑なロジックを組まずに、
演算量の少ない近似計算で実用精度を出す
技術は数学的センスがないとできない。
- 613 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 08:49:34 ]
- どうせ詰らん内容だろう思ったが、ちらっとみてみるとやはり詰らん内容だな
情報系でsinとかcosとか何が技術だ、この時点でセンスのなさを感じずにはいられないのは俺だけか？
せめて離散数学とか、基本抽象数学系こそが情報系数学の本命だろう。
ったく頭痛くなるぜ
- 614 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 09:26:53 ]
- >>599なんかは離散系の話題のようだけど？
- 615 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 20:39:07 ]
- >>613
連続系の数学（解析学が中心でしょうか）は、教養課程の履修が確立されていますし、物理を筆頭に電気・化学・制御など対象モデルに即して理解しやすいのですが（まあ常識でしょうね。）、
離散系の数学は、正直なところよくわからないんです。体系だって学びたいのですが、何かいい教科書はないでしょうか。
- 616 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 20:50:03 ]
- >>611
俺の中ではがっかり UMPC ベンダーの二大巨頭だな…
- 617 名前：デフォルトの名無しさん mailto:sage [2008/05/13(火) 22:09:40 ]
- >>614, 615
「座布団位置枚持ってって！」って言うところじゃないのか？
- 618 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 08:38:10 ]
- 離散数学って集合とか整数論だろ？
>>599は離散系でZ変換とかの分野で
離散数学の分野とＺ変換とかの分野は違うでしょ。
- 619 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 09:18:38 ]
- 整数論は一般に離散数学には入れないな、難易度が高すぎて独立分野になっている。
p進数まんせー
- 620 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 14:54:00 ]
- お前r日本語でおｋ
- 621 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 15:36:27 ]
- 離散数学ってのはこんな内容だよ
www.sys.wakayama-u.ac.jp/syllabus/dept/12003.html
- 622 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 16:34:13 ]
- 組み合わせ論→帰納法→再帰・ループ
グラフ理論→ツリー・探索アルゴリズム
集合→集合代数・ブール代数→論理演算
てな感じ？
- 623 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 17:04:38 ]
- スタートは、集合以外からは進められないだろうな
集合→関数と関係→再帰と帰納
ここで、同値変形や代数になれさせる。高校までの数学との違いを乗り越える。
順序集合と束→順序集合と束→ブール代数→命題論理→推論と証明述語論理
主要な集合の構造と論理を知る。
グラフ理論
具体的に展開と、見た感じそのページの授業計画通りに進めるのが適当では？
- 624 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 17:11:05 ]
- んで、この先は組み合わせ理論とか、オートマトンとか、形式言語あたりか
さらに情報に専門化してゆくと、DBの基礎理論、計算量問題、ステータスマシン、正規表現やコンパイラの基礎へと繋がると。
- 625 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 18:14:35 ]
- 動的計画法、貪欲法などはグラフ理論辺りで学べそうだし。
続けてオートマトンで状態遷移、正規表現か。
系統立てて勉強できるのは羨ましいな。
- 626 名前：デフォルトの名無しさん mailto:sage [2008/05/14(水) 18:21:56 ]
- 離散数学は東大でもさっさと導入されたぐらいだし、重要度は極めて高いよ。
- 627 名前：デフォルトの名無しさん mailto:sage [2008/05/15(木) 18:17:56 ]
- 一つ目が 1 でなく 0 だったりするから、
植木算とかで手こずった人はツラいだろうな。
- 628 名前：デフォルトの名無しさん [2008/05/16(金) 18:29:50 ]
- フーリエ変換を学びたいんだが、WaveToneみたいに、それなりに役に立つ結果を表示する
サンプルは無いのかな？
アルゴリズム辞典に載ってるようなシンプルな関数を元に、ちまちま改良して覚えていくしかない？
- 629 名前：デフォルトの名無しさん mailto:sage [2008/05/16(金) 18:34:36 ]
- フーリエ変換を使って何を調べたいかにもよるかな
スペクトル解析は、高速な物以外にもいろいろあって、推定精度の高いものとかもある。
さらに、パワーと周波数は同時に決定できないという、不確定性原理があるので、
これでままたどちらを調べたいのかでまた変化したりする。
単に高速にしたいだけならFFT丸写しでOK
- 630 名前：デフォルトの名無しさん mailto:sage [2008/05/16(金) 18:42:24 ]
- もし調べるのでなく、フーリエ変換を使って圧縮をしたいのなら
フーリエ変換の基底を調べるといい、離散系のフーリエ変換には誤差なし変換も可能になる方法もある。
sin/cos以外の基底を使って変換する方法にはデジタルデータに向いたウォルシュ基底や
もっと風変わりなものも沢山ある。
- 631 名前：デフォルトの名無しさん mailto:sage [2008/05/16(金) 20:38:02 ]
- >>628
FFTで多倍長の掛け算とか実装してみたら？
- 632 名前：デフォルトの名無しさん mailto:sage [2008/05/17(土) 12:28:15 ]
- アルゴリズム論としての数学だけじゃなくて、プログラム意味論について、根本的な部分
考える理論(ラムダ計算とか項書き換え系の理論とか)を勉強しとけ。
Curry-Howardの対応を知らない子ども達
d.hatena.ne.jp/nobsun/20070915/p2
- 633 名前：マイク ◆yrBrqfF1Ew [2008/05/17(土) 15:41:01 ]
- 数学を理解していればきっとプログラミングはかなり楽しいんだろう。
- 634 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 01:06:16 ]
- >>599は「俺は数学できない」宣言にしか見えない
- 635 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 01:08:42 ]
- >>618
集合論がなんで離散数学なんだよ、アホか？
- 636 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 01:45:34 ]
- >>635
公理的集合論から出発して、位相や代数系の話になるとだいぶ離散数学。
離散数学っていっても色々あるのよなぁ。
有限群・環・体、から離散トポロジーやらグラフ理論やら。
- 637 名前：デフォルトの名無しさん [2008/05/18(日) 06:43:25 ]
- 数学やってる人たちの論理との付き合い方は実に勉強になりますね
- 638 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 08:28:49 ]
- >>635
おいおい集合論やらなかったら、証明どうするんだよ、一歩も進めないじゃんか。
- 639 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 08:31:30 ]
- >>635
足し算を理解せずにsin/cosが理解できるものならやってみろw
- 640 名前：デフォルトの名無しさん [2008/05/18(日) 09:16:06 ]
- プログラミング＝文学的才能＋数学的才能
両方必要な極めてハードな分野
以上
- 641 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 09:19:26 ]
- >>638
635は確かに馬鹿にしているが、集合論がいらないと言っているのではなく、離散数学だけの概念ではないと言っているだけなのでは。
さらに、証明に必要なのは、論理体系であり、集合論はなくても証明はできる。
集合論は便利でわかりやすいから、みんな勉強するけどね。
- 642 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 09:20:47 ]
- >>640 プログラミングに文学的能力って、どゆこと？
- 643 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 09:41:23 ]
- 名前が無いと不便だから、とりあえず離散数学にしておくか、ぐらいだと思う。
- 644 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 10:51:22 ]
- 何よりも語学
そして科学と宗教
文学と数学
そしてやっとプログラミングって感じか
- 645 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 11:52:45 ]
- その量だと3歳ぐらいから目指して30前でようやくなんとかなるかなってレベルだな
- 646 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 11:56:12 ]
- >>644
宗教？
それと文学はそんなにいらないと思います。
人に通じる日本語をあつかえればよく、
文芸的要素は邪魔ではないでしょうか。
- 647 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 12:06:07 ]
- C++が最高、Rubyが最高、PHPが最高・・・
そういう論争は宗教論争でしかなく不毛だ
ということを理解するために宗教が必須だと言ってるのではないだろうか。
と、無理やり解釈してみる。
- 648 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 12:10:31 ]
- >>647
昔、OSI参照モデルの説明でこんな奴があったのを思い出した
1. 物理層
2. データリンク層
………
7. アプリケーション層
8. 政治層
9. 宗教層
- 649 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 12:26:07 ]
- そうそう、それｗ
プログラミングの話で宗教が必要とか言われると、
その政治層・宗教層の話しか思い浮かばなかったんで。
- 650 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 12:56:13 ]
- 人間系は難しい分野だよな。
政治・経済・宗教はプログラムに必要か？ってたまに思うよ。
単純により良いものを作りたいっていう人間の本能に根ざした生産活動でいいのに。
- 651 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 14:18:16 ]
- >>650
えっとな、政治層までは、それなりに頑張れば引っくり返せる
宗教層はどう頑張っても引っくり返せない
つか、戦争しかないって言う意味ちゃうの？
- 652 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 21:05:55 ]
- 頑張ればなんだって出来るけど、そこまでするか？って話だよな？
- 653 名前：デフォルトの名無しさん mailto:sage [2008/05/18(日) 21:34:01 ]
- そうそう
興味が持てることですら全部できる程リソースが無いんだから
- 654 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 08:30:21 ]
- >>プログラミング＝文学的才能＋数学的才能
結論:
プログラミングに必要な文学的能力は数学的能力よりも少ない。
- 655 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 09:14:59 ]
- ＋じゃなくて×
- 656 名前：マイク ◆yrBrqfF1Ew mailto:sage [2008/05/19(月) 09:58:44 ]
- harken kreuzか。
- 657 名前：デフォルトの名無しさん [2008/05/19(月) 11:47:16 ]
- エッセイやルポルタージュやノベルスや
シナリオを書く才能と問題集の問題を素
早く解く才能の乗積がプログラミング能
力とは本来はお笑いの世界なのだが、余
り笑えない。
- 658 名前：デフォルトの名無しさん [2008/05/19(月) 18:14:53 ]
- AIプログラミングをするとき、特に学習アルゴリズムを考えるときなんかは解析・線形代数・確率論・代数幾何あたりは絶対必要になる。
- 659 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 21:17:28 ]
- >>658
解析／線形代数／確率論／代数幾何って
要するに数学の主要分野全部じゃん。
本来はAIは数学理論使わないで
構築するのが目標な筈なのだが（プロセッサは
数学理論を知っているわけではない）
現実には出来ないから数学理論を援用して
いるのが現実。
上にあげた４分野以外にもまだ他にも必要な
分野ありそう。将来はどうか知らないけど
- 660 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 22:32:26 ]
- プログラムに必要というのではなく
何か問題と解く方法（アルゴリズム）を考える時には
その問題に応じた分野の知識が必要になるという当たり前な話
それがマの仕事の大変さの本質なんだけど
そういうのを抜きにすれば必要なのは離散数学と記号論理学辺りになるかな？
- 661 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 22:41:40 ]
- 数学の必要度合いは、こんなもんじゃない?
・プログラムソース ： 必ずしも必要でない
・プログラマー ： 知っていると、品質の良いプログラムを書ける
・プログラミング研究(言語設計、意味論) : 必須
- 662 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 23:17:22 ]
- 俺頭悪いよくわかんねーけど数字を使った時点で算数なんだから、算数使わないのはまず無理だよな？
関数使った時点で数学なんだから、関数使わないのも無理だよな？
- 663 名前：デフォルトの名無しさん mailto:sage [2008/05/19(月) 23:28:10 ]
- 型理論を使うとOOPがはっきりと理解できるらしいけど
わしは線形代数であっぷあっぷやがな
- 664 名前：マイク ◆yrBrqfF1Ew mailto:sage [2008/05/20(火) 18:05:28 ]
- >>658
AIプログラミングなんてほとんどしたことないけど
スピン代数学
非ユークリッド幾何学
重線形(テンソル)代数学
辺りも必要になりそうだがどうか。
- 665 名前：デフォルトの名無しさん mailto:sage [2008/05/23(金) 23:38:15 ]
- >>663
線形代数知らなくても関数型言語経験者なら、ラムダ計算(型理論)もそんなに抵抗なく理解できるよ。
なぜか日本語の文献は少ないけど。
- 666 名前：デフォルトの名無しさん mailto:sage [2008/05/24(土) 21:47:25 ]
- 数学のテストだけやって採用すれば見込み違いが少ない。
プログラムくらい、数学が得意なやつにやらせれば必ず出来る。
というか、ほとんど全ての分野で頭角を現すだろう。
サービス接客業だけだろうな、出来ないのは。
- 667 名前：デフォルトの名無しさん mailto:sage [2008/05/24(土) 21:55:11 ]
- 手腕作業でも、できますかね、？
- 668 名前：デフォルトの名無しさん mailto:sage [2008/05/24(土) 22:45:11 ]
- 頭使わない仕事、むしろ頭を使ってはいけない仕事は難しいだろうな。
言われたまま体を動かすことを拒む傾向があるから。
- 669 名前：デフォルトの名無しさん mailto:sage [2008/05/24(土) 22:55:38 ]
- 実際IBMは数学問題じゃないけど数理テストをやってたな
試験前に「全問回答しなくても良い」っていうけど
頭の良い学生なら制限時間丁度で全回答できるレベル。
人数の推移を見るとそのテストでかなり落としてる。
俺も通ったけど（その後のプレゼンで落ちたけど）
あれに通るならプログラマとしての適正は保証できるだろうな、と思った
- 670 名前：デフォルトの名無しさん mailto:sage [2008/05/24(土) 23:52:32 ]
- 算数と数学がいらないプログラムって、いったい何をお前らはやってきたんだ。
複数の単純な処理を素早くやるためのプログラムだったらいらんかもしれんが、
複雑な処理をやらすことが目的なら、必ずといっていいほど数学と算数は使う。
- 671 名前：デフォルトの名無しさん mailto:sage [2008/05/25(日) 00:02:38 ]
- 普通の学校ならば continuous な数学の訓練は受けるのですが、dicrete な数学はどうなんでしょうか。
- 672 名前：デフォルトの名無しさん mailto:sage [2008/05/25(日) 02:27:46 ]
- COBOLerなら数学は要らないだろ
- 673 名前：デフォルトの名無しさん mailto:sage [2008/05/25(日) 16:28:56 ]
- いるかいらないか、じゃなくて
この程度の数学ができない奴は脳味噌足りないからイラネーよ！
っていう意味のフィルタとして数学は重要。フィルタしないと
カーゴカルトエンジニアが社内に増殖するからな。
- 674 名前：デフォルトの名無しさん mailto:sage [2008/05/26(月) 21:24:59 ]
- >>666 >>673
確かに雇用条件に数学はうまく使えると思う。数学ができるやつほど、プログラムの習得する効率がいいからな。
プログラミングだったら、あとからいくらでも学べるけど、社会人になってから数学はなかなかできないだろう。
↓風上に立て(Paul Graham, Jan 2005)
practical-scheme.net/trans/hs-j.html
- 675 名前：デフォルトの名無しさん mailto:sage [2008/05/26(月) 22:01:41 ]
- 大丈夫
半導体製造工場の工員とかなら月に勉強時間が200時間は確保出来るから社会人でも勉強できる
- 676 名前：デフォルトの名無しさん mailto:sage [2008/05/26(月) 22:04:22 ]
- >>675
勉強時間200時間！
うらやましす
- 677 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 07:17:05 ]
- 数学がわからないプログラマです。数学を少しでも知りたいです。
計算機プログラムの構造と解釈とか読んどいた方がいいですか？
- 678 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 08:57:38 ]
- 必要か？といえば、必要のない場合もあるし、避けて通れない場合もある。終わりｗ
もちろん、計算機を数学的に扱えたところで、プログラムに接する人間を無視したら終わり、
というのもあるけどそれはまた別でしょ。
数学もいいけど、情報とか知識とかに対するセンスも大事。でもこれを言うと終わりだよなあ。。
- 679 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 09:01:25 ]
- >>677
数学知りたいんなら数学の本を読めばいいと思う。
- 680 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 09:12:55 ]
- SICPとか読めば何が必要かってのは分かるんじゃない、洋書って参考文献とか書いてあるし
あとコンピュータのための数学 論理的アプローチって本がｵﾇﾇﾒ
- 681 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 10:06:40 ]
- まあなんていうか、本質的に数学的な考え方が必要な場合と、
プログラムに必要な知識が「数学的な言葉で表現されている」場合とがあるわなｗ
- 682 名前：デフォルトの名無しさん mailto:sage [2008/06/09(月) 11:25:04 ]
- >>677
あなたがどんなプログラマかわからないから何とも言えないけど、
数学を知るというか、計算機と数学のかかわりやプログラミング
の奥深さを気長に学びたい知りたい幅を広げたいという意欲があ
るならおすすめかも。おれはよくわかってる人に助けられながら
読んでる最中おもしろいよ。
- 683 名前：デフォルトの名無しさん [2008/06/10(火) 08:31:48 ]
- >>678 >>679 >> 680 >> 681 >>682
ありがとうございます。がんばって読んでみます。
- 684 名前：デフォルトの名無しさん mailto:sage [2008/06/10(火) 09:12:45 ]
- 数学や算数、プログラミング、日常言語（国語／公用語）では
それぞれ使ってるロジックが違うから、十分にその違いが
わかってない人が、畑違いのことするとそれぞれの世界の
品質がガタオチすることは言えてる。
ただ、数学や算数のロジックの堅さとプログラミングのロジックの
堅さという点だけでは共通するものがあるので、それによくも悪く
も慣れてるという点で、日常言語しか勉強してこなかった人がプロ
グラムするよりはずっとマシ。
だが、プログラミングと数学／算数では問題意識も手法もかなり
違う。（共に普通の世界のロジックとはかなり違う）
- 685 名前：デフォルトの名無しさん mailto:sage [2008/06/10(火) 10:46:11 ]
- 数理論理学
- 686 名前：デフォルトの名無しさん mailto:sage [2008/06/10(火) 11:34:23 ]
- 数理論理学は数学の一分野でも使われることもあれば、心理学系の
学科でもこれが使われることがある。共に完璧にアカデミックな世界で
閉じたロジックにせざるを得ない世界。
すべてをオープンロジックにすることが目標なプログラミングの世界
とはかけ離れ過ぎ。
- 687 名前：デフォルトの名無しさん mailto:sage [2008/06/10(火) 12:02:27 ]
- オープンロジックって何
- 688 名前：デフォルトの名無しさん mailto:sage [2008/06/10(火) 12:16:21 ]
- 相互にアスペルベルガーの治療目的らしいが、共に思いっきり外してる
- 689 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 07:25:51 ]
- >>490
実数の演算は将来的にも不可能だぞ
実数：非可算無限
計算機で扱える数：高々可算無限
- 690 名前：デフォルトの名無しさん [2008/06/11(水) 07:38:55 ]
- >>689
そう。多くの処理系では整数の演算も不可能。
- 691 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 07:46:28 ]
- プログラミング言語では有理数ですら完全には扱えない倍精度浮動小数点のことを実数と読んだり、
イコール(=)を等式として扱わなかったりして、気持ち悪い。(=は代入で==は等しいかどうかの判定、ってなんだよこれw)
- 692 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 08:18:53 ]
- >>691 Haskell使えばええやん
- 693 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 08:22:57 ]
- >>691
そういう代数系なんだと思えば気持ち悪くもない。
- 694 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 10:08:26 ]
- >>691
それを言ったらおしまい。疑似数学的なプログラム用語はわんさとある
- 695 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 13:26:28 ]
- 頭にLETを補えば良い
- 696 名前：デフォルトの名無しさん mailto:sage [2008/06/11(水) 13:48:31 ]
- LET X = X+1
|
 |
