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

**名無しさん＠お腹いっぱい。** · 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
必要なのは確率・統計？