計算機科学・情報科学の本

**名無しさん＠お腹いっぱい。** · 2006/10/13(金) 20:57:25

ないから立てた

**名無しさん＠お腹いっぱい。** · 2006/10/13(金) 23:41:50

Cambridge Tracts in Theoretical Computer Science ﾏﾝｾｰヽ(´ー`)ﾉ

**名無しさん＠お腹いっぱい。** · 2006/10/14(土) 09:50:55

>>2
あ、なんか俺と分野が似てそう。

**名無しさん＠お腹いっぱい。** · 2006/10/14(土) 14:59:40

Ｂ２ですが皆さんは学部卒までにどのような本を読みましたか？
教えて下さい

**名無しさん＠お腹いっぱい。** · 2006/10/14(土) 22:39:18

古典論理
直観主義論理
ラムダ計算
Curry-Howard isomorphism
ゲーデルの不完全性定理
帰納的関数論
Martin Loef type theory

あたりを。ほとんど B4 になってからですが。
それまではガロア理論とかルベーグ積分とかやってました。

**名無しさん＠お腹いっぱい。** · 2006/10/15(日) 12:34:17

コンパイラの入門書のおすすめはありますか？
いきなりドラゴンブックとか読めそうにないので…。

**名無しさん＠お腹いっぱい。** · 2006/10/15(日) 13:18:17

湯浅先生の本がいいんでないかい？

**名無しさん＠お腹いっぱい。** · 2006/10/15(日) 14:40:56

ありがとう。これっすね。探してみます。
http://www.amazon.co.jp/gp/product/4785620501/

**名無しさん＠お腹いっぱい。** · 2006/10/21(土) 00:24:19

数学ってどんなテキスト使ってた？

**名無しさん＠お腹いっぱい。** · 2006/10/22(日) 00:18:03

数学って離散数学のこと？

**情報学専門生徒** · 2006/10/27(金) 19:51:48

情報場の制御法はＩＴ（Intelkiget Technique）と言います。

**名無しさん＠お腹いっぱい。** · 2006/10/28(土) 20:19:28

>>10
そうです

**名無しさん＠お腹いっぱい。** · 2006/11/02(木) 00:30:44

>>10
離散数学とは限らんよ。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 09:36:00

離散数学なら、これを持ってる。
http://www.amazon.co.jp/gp/product/4901683101

**名無しさん＠お腹いっぱい。** · 2006/11/17(金) 21:19:50

離散数学ならマグロウヒルのがいいんでない

**名無しさん＠お腹いっぱい。** · 2006/11/18(土) 01:45:06

CPUの創りかたは1年の頃に読みたかったな。入門書としては最適。

**名無しさん＠お腹いっぱい。** · 2006/11/19(日) 12:55:00

確率、代数、幾何でいい本を教えて下さい

**名無しさん＠お腹いっぱい。** · 2006/11/21(火) 22:02:34

それは数学板の範疇じゃないか

**名無しさん＠お腹いっぱい。** · 2006/11/22(水) 13:48:52

>>15
漏れもマグロウヒル演習で済ませてしまった。
論理学もマグロウヒルでやった。

**名無しさん＠お腹いっぱい。** · 2006/11/22(水) 23:33:12

論理学はなんといっても小野寛晰『情報科学における論理』だな。

**名無しさん＠お腹いっぱい。** · 2006/11/23(木) 22:01:18

離散数学じゃないけど、クヌース先生の本はなかなかいいと思う。

**名無しさん＠お腹いっぱい。** · 2006/11/24(金) 01:30:55

>>17
俺の感覚ではそのレパートリーは欲張り過ぎなんだけど、どうなんだろ。
確率や代数は符号理論なんかの基礎にしたいのかな。幾何は範囲が広いし、
必要な前提知識が多すぎるから答えようがないけれど、領域理論でもやるの？
位相幾何でプログラム解析とか考えだしたら、かなり道は険しいけれど。」

>>18
計算機科学も関係あるよ。

>>20
それは入口のための和書ではベストだろうね。
次の一歩にどの本がいいのかは人によりけりなので、変なの掴むと酷い目に遭いそう。

**名無しさん＠お腹いっぱい。** · 2006/11/27(月) 19:43:56

>>17
確率統計入門：小針
代数系入門：松坂
幾何：自分で探してくれ

**名無しさん＠お腹いっぱい。** · 2006/11/27(月) 23:00:48

言語処理系の勉強するのにいい本を紹介してください。
現在目星をつけてるのは、次のものです。
Friedman, Essentials of Programming Languages - 2nd Ed., MIT Press.
Aho, et al., Compilers: Principles, Techniques, and Tools 2nd Ed., Addison Wesley.
Muchnick, Advanced Compiler Design and Implementation, Morgan Kaufmann.
Appel, Modern Compiler Implementation, Cambridge University Press.
オートマトンやプログラム意味論は大丈夫だと思いますが、ゴミ集めやスケジューリング
は全く勉強してません。

**名無しさん＠お腹いっぱい。** · 2006/11/30(木) 23:02:17

計算機プログラムの構造と解釈第二版を読んでみようかと思うのですが
Schemeの知識が無くて読んでも理解できますか？

**名無しさん＠お腹いっぱい。** · 2006/11/30(木) 23:22:24

>>25
できるよ。こういう風に簡単なコードから始まるから大丈夫。
http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-10.html
（ちなみに全文が読めます）

**名無しさん＠お腹いっぱい。** · 2006/12/01(金) 01:57:24

>>24
Friedmanのがオススメだなー。あの本、基礎的なところをいいかげんにしてないから、
いい本だと思うよ。

**名無しさん＠お腹いっぱい。** · 2006/12/06(水) 10:25:07

著者のひとりJurafskyは、UCバークレーの
計算機科学大学院卒で、現在、ライバル校の
スタンフォード大学教授。自然言語処理が
専門。

http://www.amazon.co.jp/exec/obidos/ASIN/0130950696/ref=pd_ts_fb_8/

**名無しさん＠お腹いっぱい。** · 2006/12/08(金) 12:29:00

★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★
★★★★★★★★★★★★★★★★★★★★★★★★★★★★★★

　　　http://pachinkokouryaku.fc2web.com/index.htm

　　　パチンコ・パチスロの真実　
　　　　　　　
　　　あなたはこの事実を知ってもまだ打つ？

★★★★★★★★★★★★★★★★ 　　　　　／⌒ヽ
★★★★★★★★★★★★★★★★　　　　　（　＾ω＾）
★★★★★★★★★★★★★★★★　　　　　　（　⊃┳O
★★★★★★★★★★★★★★★★　　　　　,,,,(＿) 。⌒ヽ
★★★★★★★★★★★★★★★★　　　　（　　（0　＾ω＾）ﾌﾞｰﾝ
★★★★★★★★★★★★★★★★≡≡≡　◎―◎⊃⊃
★★★★★★★★★★★★★★★★

**名無しさん＠お腹いっぱい。** · 2006/12/10(日) 12:04:25

すみません。プログラマなのですが学問的な数学がさっぱりです。

自然言語処理関係の論文に出てくる数式を理解できるように
したいのですが、必要最低限をおさえるためにうってつけの本が
あったら教えてください。

**名無しさん＠お腹いっぱい。** · 2006/12/12(火) 11:46:27

>>30
必要なのは確率・統計？

30 · 2006/12/12(火) 19:32:51

>>31
主にそうだと思います。でも、数式はたいてい読み飛ばすので、
何が必要なのかも実はよく分かってないです。コトバの問題なのに
数式が出てくるのはどういう目的で、どういう計算が必要かという
ところから勉強したいのですが、そんな都合のいい文献はない
ですかねえ。

**名無しさん＠お腹いっぱい。** · 2006/12/13(水) 01:13:57

>>30
普通に自然言語処理の基礎から勉強するしかないのでは。

↓これじゃだめ？
ttp://nlp.stanford.edu/fsnlp/promo/

**名無しさん＠お腹いっぱい。** · 2006/12/13(水) 01:42:17

初歩からしっかり勉強したいんだったらFSNLPは確かに正統的入門書。

問題の論文の数式が何を言ってるかを手っ取り早く把握したいんだったら
こういう本から役に立ちそうなところを拾い読みするのもありだと思う。
甘利俊一他、言語と心理の統計、岩波書店
北研二、確率的言語モデル、東京大学出版会

あと統計的自然言語処理の分野でよく使われるのは機械学習、
その中でも特に教師つき学習というメソッドだから少なくとも
そのニュアンスぐらいは理解しとく必要があるね。

32 · 2006/12/13(水) 21:03:38

>>33
>>34

自分の知識のなさを考えると、FSNLPを一からじっくり読むというのが
よさそうなのですが、あのボリュームなのでたいへんそうですね。

まずは和書の二冊をざっと眺めてみることから始めたいと思います。
アドバイスありがとうございました。

**名無しさん＠お腹いっぱい。** · 2006/12/13(水) 21:59:01

岩波講座ソフトウェア科学とかそういうシリーズ読んでる人いる？

**名無しさん＠お腹いっぱい。** · 2006/12/13(水) 23:23:51

今となっては、教養書か、昔話を記した読み物程度の価値しかないよな。

**名無しさん＠お腹いっぱい。** · 2006/12/14(木) 00:32:02

品切重版未定
http://www.iwanami.co.jp/.BOOKS/01/5/010341+.html

**名無しさん＠お腹いっぱい。** · 2006/12/15(金) 23:17:56

「ソフトウェア科学」はいい教科書がそろってたと思う。

佐々先生の「プログラミング言語処理系」なんかは、ドラゴンブックまでは必要としない
専門外の学生が処理系を学ぶのに最適じゃないかな。

**名無しさん＠お腹いっぱい。** · 2007/01/01(月) 23:58:43

自然言語処理を専攻しているM1ですが、プログラマの教養としてOSの勉強をしたいです。
いい本を知ってる方がいたら教えてください。
教養とはいえども現実世界の最近のOSや現代的なトピックまでカバーしているものがいいです。

**名無しさん＠お腹いっぱい。** · 2007/01/02(火) 00:47:30

>>40
ちょっとボリュームがあるが、タネンバウムの『モダンオペレーティングシステム』
なんかがいいんではないかと。
普通は専門外になるし、共立やらから出てる薄い本でもいいのかもしれん。

40 · 2007/01/03(水) 00:38:47

>>41
レスどうもありがとうございます。

実は最近、プログラミングのスキルアップのためには個々の言語の知識ばかり吸収しても
あるところにある壁を越えられないなと感じて、コンパイラやら型理論やらOSやらを
勉強しようと思ったわけです。

200ページ程度の和書は読んだことがあるんですよね。でも、もうちょっとプログラミングという
観点から詳しく解説した本が欲しいなあと思っていたのです。
やっぱタネンバウム先生の本が王道なんでしょうかね、、、でもさすがにボリュームが多すぎる。

Linuxカーネル（オライリー）なたいな本のほうが今の自分の要求には応えてくれるのかな。

**名無しさん＠お腹いっぱい。** · 2007/01/06(土) 22:54:33

「C言語による最新アルゴリズム事典」はいい本だった

**名無しさん＠お腹いっぱい。** · 2007/01/14(日) 21:42:57

クヌースを読め。クヌースを。そこに全てが書かれている。

**名無しさん＠お腹いっぱい。** · 2007/01/30(火) 17:17:41

計算幾何という学問自体の歴史は意外と浅いと思う。
1972年にGrahamがかの有名な(?)「グラハム走査」アルゴリズムを発表して、
1978年にShamosが博士論文「Computational Geometry」を発表し注目を浴びたころをその起源とする。
よってこの分野に対する古い教科書は内容がてんでない上に洗練されておらず往々にして内容が間違っている。
そのありえないっぷりにただただ脱帽である。

**名無しさん＠お腹いっぱい。** · 2007/03/22(木) 17:07:18

アルゴリズムイントロダクションの２版が出版されてるな

**名無しさん＠お腹いっぱい。** · 2007/03/22(木) 17:39:22

凄い情報です！！
入金は週２回！
リスクゼロ
実行すれば必ず稼げます！！
今まで稼げなかった方、これで挽回できます。

勿論無料です。
今すぐクリック！
↓ ↓ ↓
http://okanemouke.nobody.jp/

**名無しさん＠お腹いっぱい。** · 2007/03/22(木) 20:51:30

>>5
書名を尋ねられて、その回答はバカだと思った。

2007/03/25(日) 22:47:30

まだ書き込めましてよ？
嘘もほどほどになさい。

**名無しさん＠お腹いっぱい。** · 2007/04/16(月) 09:10:33

圧縮アルゴリズムについての本でいいものはありますか？

**名無しさん＠お腹いっぱい。** · 2007/04/16(月) 14:34:37

９条は改憲してはならない。日本の為にならない。
日本人ではない朝鮮総連や民団でさえ、日本を心配して改憲への反対運動を行ってくれている。
私は日本人だが、「改憲すべき」などという者は、日本人として彼らに恥ずかしいと思います。

Ｑ．中国から身を守る為、戦争に対する抑止力が必要では？
Ａ．前提から間違っています。そもそも、中国は日本に派兵しようと思えばいつでもできました。
　　なぜなら、日本には９条があるため、空母や長距離ミサイル等「他国を攻撃する手段」がない。
　　つまり日本に戦争を仕掛けても、本国の、命令をだした幹部の命は絶対に安全なのです。
　　「安心して戦争を仕掛けられる国」を、中国は、今まで攻めずにいてくれたのです。

Ｑ．それは日米安保によるものでは？　そして、その日米安保も絶対ではないのでは？
Ａ．中国の良心を信じられないのはなぜですか？　そして、日米安保は絶対です。
　　知り合いの韓国人の評論家も「絶対だ」と言っていますし、私も同じ考えです。
　　更に、９条が消えても米国の戦争に協力する義務は発生しませんが、米国が被害者の場合は別です。
　　米国は日本を守る為に戦っても、（９条があれば）日本は米国を守る為に戦う必要がないのです。

Ｑ．９条が本当に「平和」憲法なら、世界中で（日本以外に）１国も持とうとしないのはなぜか？
Ａ．これは、日本以外のすべての国が誤っているとも言えます。
　　「敵国に攻撃が届く国は攻められづらい」というのは、誤った負の考え方です。
　　（もっとも韓国や中国の軍に関しては、日本の右傾化阻止の為でもあるので例外ですが）
　　更に日本の場合、隣国が韓国・中国・ロシアと、GDP上位の安定した信頼できる国ばかりです。

Ｑ．「９条改憲派」は「戦争反対派」。侵略者に戦争を挑発する、戦争憲法（９条）を撤廃したいのです。
Ａ．それは、貧しい考え方ではないでしょうか？　　
　　中国や北朝鮮を信じる「強さ」があれば、そんな考えにはならないはずです。
　　日本が信じれば、彼らも信じるでしょう。そして、真に美しい関係が始まるのです。

**名無しさん＠お腹いっぱい。** · 2007/04/17(火) 07:42:36

>>51
その書き込みを読んで、改憲すべきと思ってしまったよ。
ぜんぜんだめじゃん。

**名無しさん＠お腹いっぱい。** · 2007/04/17(火) 11:42:06

そもそもそういう意図だろ

**名無しさん＠お腹いっぱい。** · 2007/04/17(火) 23:18:17

アリの巣コロリってあるじゃん。
蟻の行列にポンと置くと、一瞬ビックリして列が乱れる。
邪魔だなと言わんばかりに迂回する列が出来る。
そのうち好奇心旺盛な一匹がアリの巣コロリに入る。
そいつをマネして何匹も入る。
毒とも知らずにツブツブを運び出す。一匹が一粒づつ。
いつのまにか行列はアリの巣コロリが折り返し地点になる。
黄色い粒と黒い蟻が作り出す模様は綺麗で見てて楽しい。
一匹が一粒づつ、丁寧にせっせと毒の粒を運ぶ。
せっせと、せっせと、せっせと、せっせと。
蟻さんって働き者だなと思う。俺も頑張らなきゃなと思う。
次の日、あれほど沢山いて俺を困らせた蟻が一匹もいない。
ほんとにいない。探してもいない。泣きたくなった。　　　　　　　　　　　　　　　　　　　このﾚｽを見た人は４日後にあなたの大切な人がいなくなるでしょう・・・・それが嫌ならこのﾚｽを５つの板にｺﾋﾟﾍﾟしてください。　信じるか信じないかはあなた次第です。

40 · 2007/04/17(火) 23:42:40

コピペミスってんじゃねーよ

**名無しさん＠お腹いっぱい。** · 2007/04/21(土) 21:06:40

まったくの初心者にお勧めの入門書は無いでしょうか？
共立の入門書を買ってみようかと思ってるんですが
どうでしょう？

**名無しさん＠お腹いっぱい。** · 2007/04/21(土) 21:12:44

何の入門書？

**名無しさん＠お腹いっぱい。** · 2007/04/22(日) 05:22:47

何から始めればいいかもわからない初心者です

**56・58** · 2007/04/22(日) 05:42:13

買おうと思ってるのは
コンピュータとネットワーク概論
コンピュータシステム入門
情報科学－基礎編－
です

**名無しさん＠お腹いっぱい。** · 2007/04/22(日) 08:55:25

>>57
坂村健氏の「痛快！コンピュータ学」あたりはどうですか？
文庫化されてて値段も手頃、概観するにもまぁ手頃

個人的にお奨めは、CODE コードから見たコンピュータのからくりだっけ
あれ、よかった。好き

**名無しさん＠お腹いっぱい。** · 2007/04/22(日) 08:56:18

ごめん＞５７さんじゃなくて＞５６さんね

**名無しさん＠お腹いっぱい。** · 2007/04/22(日) 09:00:10

>>60
坂村健は名前聞いただけで吐き気してきます

**名無しさん＠お腹いっぱい。** · 2007/04/23(月) 02:09:15

マジな奴が最初によむべきなのは
計算論入門（米崎、渡辺）
東工大の黄色い奴ね

**56・58** · 2007/04/23(月) 15:30:00

>>60
ありがとうございます
「痛快！コンピュータ学」は本屋で見つけたので
早速読んでます
「コードから見たコンピュータのからくり」は初心者でも大丈夫でしょうか？

>>63
マジです
「計算論入門」も購入します
ありがとうございます

**名無しさん＠お腹いっぱい。** · 2007/04/23(月) 20:02:13

>>64
>「コードから見たコンピュータのからくり」は初心者でも大丈夫でしょうか？
後半部分はきついと感じる読者さんもいらっしゃるみたいです。
でも、コンピュータサイエンスの読み物としては定番だと思います故、購入
する価値はあると思います。
向こうの筆者らしく、かみ砕くように非常に分かりやすく書いてありますから
なんか読んででニヤニヤした憶えがあります。
なんで洋物の作者はこういうもの書けるのかな、と感心した本の一冊デス

**56・58** · 2007/04/23(月) 20:44:27

>>65
ありがとうございます
購入します

**名無しさん＠お腹いっぱい。** · 2007/04/23(月) 22:52:48

計算機科学入門
L. ゴールドシュレーガー

これとかすすめる

**名無しさん＠お腹いっぱい。** · 2007/04/26(木) 07:38:19

遅いかもしれんがこれも良かった。

あなたはコンピュータを理解していますか?
10年後、20年後まで必ず役立つ根っこの部分がきっちりわかる！
(サイエンス･アイ新書) (新書)
梅津信幸 (著)

新書化される以前のもの、読んだんだが良書だと思う
シャノンの情報理論も確か説明していたし、構造化プログラミング
やストアドプログラム方式についても言及していたような記憶がある。

**名無しさん＠お腹いっぱい。** · 2007/04/26(木) 10:54:43

>>68
おｋサンクス！
まだ見てますよ

**名無しさん＠お腹いっぱい。** · 2007/04/29(日) 19:56:00

Web関連の技術が全体的に俯瞰出来て
根源的に理解し得るお勧めの書籍はありますでしょうか？

**名無しさん＠お腹いっぱい。** · 2007/04/30(月) 18:29:44

>>70
真面目に半日考えてみたのですが、極めて難しいと言わざるを得ません。
あなたの御所望は、いわば「木も森も同時に見える視点が欲しい」と同義
であるからです・・・

>Web技術の総覧
これに関しては、複数の書籍類を読み漁るしかないかと
Web技術の進歩が速すぎるのと扱う項目が多岐にわたりすぎている
ためです。

>根源的な理解
これがまたとてつもなく難しい・・・
10人に聞いたら10通りの答えが返ってくるかも

極めて個人的な意見を申し上げるなら＿＿私は電算機の歴史を
たどるようなアプローチを考えます。そうすれば、各技術の産まれた
背景と存在の必然性が理解できるでしょうから
TSSシステムからARPAネット、WWW、そして分散処理、ユビキタス・・・
という具合に。天才達の系譜をたどるのもまたしかり・・・

長文すみません。具体的な書名は挙げられないです。
とにかく数をこなそう、程度しか言えない・・・・・･ﾟ･(ﾉД`)･ﾟ･

**名無しさん＠お腹いっぱい。** · 2007/04/30(月) 19:11:06

>>71
横槍申し訳ないが、もし書籍をいくつかご存知なら
段階を踏んだ紹介ができると思う。

>>70の意欲もわからなくもないが、何事も
順序ってものがある。簡単なところから徐々に
専門的な内容に誘導してあげればいいので？

**名無しさん＠お腹いっぱい** · 2007/05/02(水) 12:06:45

昔の教科書を高額買取りしてくれるスレはここですか？

http://2ch-news.net/up/up64100.jpg

**名無しさん＠お腹いっぱい。** · 2007/05/02(水) 13:53:05

値段による

**名無しさん＠お腹いっぱい。** · 2007/05/02(水) 17:57:50

値段による

**名無しさん＠お腹いっぱい。** · 2007/05/03(木) 08:48:17

>>73
http://www.amazon.co.jp/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%E3%81%AE%E5%9F%BA%E7%A4%8E%E7%90%86%E8%AB%96-%E4%BD%90%E8%97%A4-%E9%9B%85%E5%BD%A6/dp/4000103539/ref=sr_1_13/503-5839366-4764745?ie=UTF8&s=books&qid=1178149537&sr=1-13

この価格の1/3なら（･∀･）ｲｲヨ！
転売できるもん

**名無しさん＠お腹いっぱい。** · 2007/05/04(金) 21:37:19

>67
同感。ゴールドシュレーガーの
計算機科学入門はアルゴリズムの観点から
計算機科学を俯瞰するのにいい本だと思う。

**名無しさん＠お腹いっぱい。** · 2007/05/06(日) 00:23:43

「図解でわかるWeb技術のすべて」

**名無しさん＠お腹いっぱい。** · 2007/05/06(日) 00:43:10

>>70
遅くなりましたが
上記のモノをあくまでも「参考文献」としてあげておきます。
絶版中ですけどね・・・・アマゾンなら安く中古品が手に入ります。
2001年という発売年度からしていたしかたないのですが
新しい技術には対応してはおりません。
P2P、オニオンルーティング、新規の分散処理技術等
新しい技術は他の書籍で補うしかないです。

本質の理解はレベルにより違ってくるものだと思います。
個々の実装にそれを求めるのか、ネットワークにそれをみるのか、
コンピューティング自体ににそれをみるのか、情報の処理過程そのものに
それを求めるのか、ひとによると私は思います。
多読しかないと思います。
例えば、ネットワークの本質という限定なら、「新ネットワーク思考」バラバシ
とか、定番ものがあったりします

長文すみませんでした。

**名無しさん＠お腹いっぱい。** · 2007/05/06(日) 18:45:15

>>79
定番もの、なのか？＜バラバシ