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

**名無しさん＠お腹いっぱい。** · 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
定番もの、なのか？＜バラバシ

**名無しさん＠お腹いっぱい。** · 2007/05/06(日) 19:03:54

>>80
すみませんでした。
強引な解釈です。押しつけるつもりはないのですが、参考文献ということで
意見を言おうとするとどうしても主観がはいってしまいますね・・・情けない・・・

**名無しさん＠お腹いっぱい。** · 2007/05/07(月) 13:42:52

バラバシはWeb技術とは違う気がするなぁ。
読み物としては定番だけど参考書じゃないし、
Webというよりはネットワーク科学だし。

岩波講座インターネットシリーズとかはどう?

**名無しさん＠お腹いっぱい。** · 2007/05/27(日) 21:02:56

ブラウザを解説した本ないですか
理論的な側面から説明した本
技術的な側面からのもの
セキュリティがらみのﾓﾉ
全部紹介してください

**名無しさん＠お腹いっぱい。** · 2007/05/29(火) 23:52:01

オートマトンを始めようと思っていますが初心者向きでいい本が
ありましたら教えて下さい。

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

田舎の家から昔のbit誌が出てきました

**名無しさん＠お腹いっぱい。** · 2007/06/03(日) 22:42:38

>>84
電子情報通信レクチャーシリーズの『オートマトン・言語と計算理論』が
読み易かったよ。

**名無しさん＠お腹いっぱい。** · 2007/06/05(火) 01:08:00

コロナ社の岩間一雄著のやつすか？
どうもありがとうございました。

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

関数型言語をちゃんと勉強しようかと思っているんだけれど。
「構成的プログラミングの基礎」って本どうなの？
誰か読んだ人いない？

**名無しさん＠お腹いっぱい。** · 2007/06/09(土) 22:53:17

林晋氏の手による本であり，Computable functionの取り扱いは
彼流のユニークなものであり，本分野に興味のある方には
面白く読めるが，教科書的な本ではない．

プログラミング言語の基礎的素養は，SICPで十分でしょう．

どうせ勉強するならば，もう少し，実用的なことを
勉強されたほうがよいでしょう．
たとえば，search, transaction/DBMS, networking など．

**名無しさん＠お腹いっぱい。** · 2007/06/09(土) 23:09:42

>>89
補足：数学基礎論的な取り扱いを勉強してもあまり意味がないということ．
マルチコア，マルチプロセッサとの関連では，関数型言語の研究は有効
と思っています．

**名無しさん＠お腹いっぱい。** · 2007/06/10(日) 09:59:32

>>88
その本は内容が特殊過ぎるんじゃないかな。
関数型言語を勉強したいっていうことだけれど、目次は確認した？

関数型言語の勉強だったら、>>90にあるSICPでいいと思う。
でも、林晋の構成的プログラミングの基礎に興味を持っているなら、
関数プログラミング萩谷昌巳日本評論社
を読むのもいいかも。こちらはSICPとは違って、読み物みたいな本だけどね。

**名無しさん＠お腹いっぱい。** · 2007/06/10(日) 20:37:19

なんかいろいろカキコしてくれてありがとうございます。
>>89
>林晋氏の手による本であり，Computable functionの取り扱いは
>彼流のユニークなものであり，本分野に興味のある方には
>面白く読めるが，教科書的な本ではない

そういう微妙な位置づけの本なんですか。orz
でも、うーん。つまりスタンダードな話ではないということですか？

>プログラミング言語の基礎的素養は，SICPで十分でしょう
一応SICPはそれなりに読んでHaskellもそれなりに手を出しました。

>>91
>その本は内容が特殊過ぎるんじゃないかな。
>関数型言語を勉強したいっていうことだけれど、目次は確認した？

目次は確認しました。というかすでに買ってなんとなく眺めている段階です。
内容としてはすごく面白そう。というかcvFL,lzFLという言語を実際に作って
みたいんですが・・・無駄な徒労に終わる可能性、大ということですか。orz

>関数プログラミング萩谷昌巳日本評論社
>を読むのもいいかも。こちらはSICPとは違って、読み物みたいな本だけどね。

それとというかIntroduction to Functional Programmingと
どっちにしようか迷ったんですけどそっちは読み物系の本なんですか。
ちなみに構成的プログラミングの基礎とかぶるところってどこらへんですか？
（Intro..は高くて。）

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

オマイラが読んで良かったと思える良書を教えてくれ
読んでみようと思う

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

上げるなよ。

**名無しさん＠お腹いっぱい。** · 2007/06/10(日) 21:28:08

なんで？

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

なんとなく。

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

>>92
SICPやHaskellをやったという話を聞くと、実装に興味があるのか、理屈に
興味があるのか、それとも両方なのか、よくわからなくなってきた。

構成的プログラミングの基礎にある関数型言語を実装するのは面白い話だけれど、
あの本だけで実装に取り掛かるよりは、実装関連の別の本を先に勉強したほうが
いいのではないかな。
徒労に終わるかどうかは>>92の力によるが、楽な道は他にもあるよ。

> ちなみに構成的プログラミングの基礎とかぶるところってどこらへんですか？
かぶるところというのは、論理学の視点を織り交ぜて書かれている点だけれど、
もう理解できてる話だろうと思う。
最後に書かれている洋書はBirdの本かな？ SICPもHaskellもやったという話で
あれば、改めて読まなくてもいいんじゃないかな。

**名無しさん＠お腹いっぱい。** · 2007/06/11(月) 23:46:49

コンピュータアーキテクチャの邦訳が出るんだな
英語苦手だから出版されたら読んでみようかな

**名無しさん＠お腹いっぱい。** · 2007/06/13(水) 00:41:40

>SICPやHaskellをやったという話を聞くと、実装に興味があるのか、理屈に
興味があるのか、それとも両方なのか、よくわからなくなってきた。

自分でもよくわからない。

>最後に書かれている洋書はBirdの本かな？ SICPもHaskellもやったという話で
あれば、改めて読まなくてもいいんじゃないかな。

それはいいこと聞いた。

**名無しさん＠お腹いっぱい。** · 2007/06/13(水) 01:27:51

【nビット】 Furer 乗算【n log n 2^O(log^* n)】
http://science6.2ch.net/test/read.cgi/math/1181643550/

**名無しさん＠お腹いっぱい。** · 2007/06/23(土) 22:36:29

ダイクストラの本って面白いですか？

**名無しさん＠お腹いっぱい。** · 2007/06/24(日) 21:17:31

コードジェネレータとか作りたいんだけどそれ関連で何かいい本ある？
できれば理論方面で。

**名無しさん＠お腹いっぱい。** · 2007/06/25(月) 16:20:26

まずは、googleだろ。それだけの説明と特定をしていないキミには
何を説明しても無駄。

**名無しさん＠お腹いっぱい。** · 2007/06/26(火) 10:23:25

シャノンの情報理論でなにか良い本ありますか？

**名無しさん＠お腹いっぱい。** · 2007/06/26(火) 11:45:03

>>103
一冊しかないわけじゃないだろ。

40 · 2007/06/27(水) 00:57:58

>>104
http://www.amazon.co.jp/dp/0471241954/
一年かけてでも読む価値はあるのではないか

**名無しさん＠お腹いっぱい。** · 2007/07/04(水) 21:09:53

論理と計算のしくみ出版あげ

**名無しさん＠お腹いっぱい。** · 2007/07/13(金) 23:42:21

計算機の限界について詳しく書かれてる本って無いですか？

**名無しさん＠お腹いっぱい。** · 2007/07/14(土) 00:08:16

レポートなら勝手にやってろ。
真面目に読みたいなら>>1から追え。

**名無しさん＠お腹いっぱい。** · 2007/07/14(土) 03:30:41

【論説】朝日新聞の倒閣キャンペーンの異様さ、切ないまでの政治的願望は、日本ジャーナリズム史に残るだろう
http://news22.2ch.net/test/read.cgi/newsplus/1184123463/l50

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

>>83
ちょっとしたものの作り方なら書いてあるよ
ttp://itpro.nikkeibp.co.jp/article/COLUMN/20061127/254990/?ST=develop&P=1

**名無しさん＠お腹いっぱい。** · 2007/07/26(木) 14:30:29

1から読んだしグーグルでも調べたけど計算機の限界について簡単に書かれてる本が見つからない。
誰か教えてください

**名無しさん＠お腹いっぱい。** · 2007/07/27(金) 23:51:12

数学としての計算機科学（チューリング機械など）についての
古典的名著（代表的教科書）をお教えください．
（量子コンピュータの本を読むための前提知識を得たいのです）

**名無しさん＠お腹いっぱい。** · 2007/07/27(金) 23:56:48

>>112
計算機の限界ってそもそも何だ？
自動車の限界が簡単に書かれてる本を教えろとか言われて答えられるか？

**名無しさん＠お腹いっぱい。** · 2007/07/28(土) 00:04:56

>>113
Hopcroftのオートマトンあたりどうよ？

**名無しさん＠お腹いっぱい。** · 2007/07/28(土) 00:34:44

>>115
「Introduction to Automata Theory, Languages, And Computation」
ですね．ぴったりの内容です．ありがとうございます！

**名無しさん＠お腹いっぱい。** · 2007/07/28(土) 01:29:57

邦訳もあるでよ。

**名無しさん＠お腹いっぱい。** · 2007/07/28(土) 05:59:35

＞＞１１４
焦点は何でもいいからとにかく限界についてる本を紹介してくれればいいよ。
分からないなら黙ってて。

**名無しさん＠お腹いっぱい。** · 2007/07/28(土) 06:00:35

限界についてる
ではなくて
限界について書いてる

**名無しさん＠そうだ選挙に行こう** · 2007/07/29(日) 11:51:39

いくらでもあるけど
計算機の「何の」限界についての本を指定してるのかわからない

「自動車の限界」にしても
燃費向上とか、あるサイズのエンジンの出力の限界とか、一定の車体重量での車体強度の限界とか
排気中の大気汚染物質除去能力の限界とか、ある大きさのバッテリーの容量の限界とか
いろんなものがあるよね

計算機の「何の」限界について調べるのか、まずあなたが決めないと
基礎理論（数学）における限界、物理的な限界、現在の製造技術における限界
現在はできないが将来はできるかもしれないこと、将来も絶対にできないこと

**名無しさん＠お腹いっぱい。** · 2007/07/29(日) 23:35:24

>>120
相手しなくていいと思ってたんだけど。
このスレ的には、計算機の限界の視点が工学、理学、哲学など色々あることも
調べないで質問丸投げする子の面倒は、見ないでいいと思うなあ。

**名無しさん＠お腹いっぱい。** · 2007/07/30(月) 17:09:57

哲学的な視点ってなに？

**名無しさん＠お腹いっぱい。** · 2007/07/30(月) 20:30:15

人間の可能性には限界はないとか、
どこかのキャッチフレーズみたいにやると哲学的だな

**名無しさん＠お腹いっぱい。** · 2007/07/30(月) 22:02:32

>>122

たとえば，

http://www.amazon.com/What-Computers-Cant-Artificial-Intelligence/dp/0060906138/ref=sr_1_3/103-1929687-3274217?ie=UTF8&s=books&qid=1185697194&sr=1-3

かなり古いが．

**名無しさん＠お腹いっぱい。** · 2007/07/30(月) 22:36:49

>>122
これも哲学扱いでよくないかな。
http://www.amazon.co.jp/Society-Mind-Touchstone-Book/dp/0671657135
古いが。

**名無しさん＠お腹いっぱい。** · 2007/08/14(火) 00:18:43

述語論理の導出原理ではエルブラン（Herbrand）の定理が基礎になっていますが、
そのHerbrandの定理の証明がきちんと書いてある本はないでしょうか。
図書館で何冊か見ましたが、
「Herbrand解釈はどのような解釈にも共通にある部分なので。。。」
程度で流してるものぐらいしか見つかりませんでした。

**名無しさん＠お腹いっぱい。** · 2007/08/14(火) 01:19:24

図書館で何冊か見たという本の名前を出してごらん

どのへんの本を紹介したらよいか参考になるから

**126** · 2007/08/14(火) 10:54:34

>>127
とりあえず一番印象に残ってるのが次のものです。よろしく願いします。

情報の論理数学入門　　小倉
　　Herbrand定理は名前がでる程度。導出原理の使い方が主？

コンピュータによる定理の証明.　リー
　　詳しいのだけど、Herbrandの定理の証明だけ妙に手抜きの感じ。

述語論理と論理プログラミング.　有川
　　一番きちんと書いてあったけど、定理3.7
（節の有限集合Sが充足不能である⇔任意のHerbrand解釈がSを充足しない）
の証明の中の、
「(i)節の有限集合Sが充足可能であるとすると、(ii)Sを充足する構造M=(D,I)が存在する」
のところが理解できず、考え中。(i)は(ii)より弱いとしか思えない。

**126** · 2007/08/14(火) 11:09:26

あ、上の(ii)は、「任意の付値関数でSを充足する構造M=(D,I)が存在する」という意味です。

**名無しさん＠お腹いっぱい。** · 2007/08/14(火) 19:05:18

「知識と推論 (情報数学講座) 森下真一」にも
Herbrand定理の証明が記述されてるけど
この本は図書館で目を通されましたか？　

**126** · 2007/08/15(水) 10:16:14

>>130
いえ、見てません。早速探してみます。ありがとうございます！

**名無しさん＠お腹いっぱい。** · 2007/08/24(金) 11:28:32

「コンピュータの名著100冊」にリストされている本に「これはどーよ？」っていう本はありますか？

**126** · 2007/08/26(日) 15:01:01

>>130
ご推薦の「知識と推論」、まだ必要なところだけ拾い読みした段階ですが
とてもよさそうです。
とてもこまめに分かり易い例が提示され、「解釈」もモデル論として一節を
あてて説明、エルブラン領域も「基礎原子式の全体」と言われてすっきりしました。

目当てのエルブランの定理は
・「充足不可能」と「エルブラン解釈で充足不可能」の関係、
・「基礎節の有限部分集合で充足不可能なものが存在」
と２段階に分けた説明のおかげでどこで何がポイントかわかった気がします。
特に「なぜスコーレム標準形」かの説明も丁寧でした。

他にも、導出原理の説明を基礎節の集合に関するところから
始めてくれるので命題論理の感覚で理解し、そこから単一化で
述語論理に拡張など、カラクリがわかる説明になってる気がします。

一応安心したので、最初から熟読しようと思います。本当に
ありがとうございました。

**名無しさん＠お腹いっぱい。** · 2007/09/03(月) 13:15:17

情報系学部ではなく建築系出身のプログラマー3年生です。

最近、アルゴリズムに興味を持ち始めまして、
Knuth先生の「The Art of Computer Programming」を読み始めました。
しかし、第一章、数学の項でいきなり躓いております。
読んで練習問題にチャレンジするも、ほとんど手が出ず、答えを見てばかり。
なんとか70ページほど進んだのですが、どうにも理解度が低いため、
もう少しレベルの低い練習問題をこなした方がいいかなと思い初めました。
そこで、数学的な部分で、同じ範囲をカバーしている本を教えていただけませんか。
大学では離散数学は習っていないので、とりあえず評判の良さそうな、
「マグロウヒル大学演習　離散数学　コンピュータサイエンスの基礎数学」
をネットで注文しました。
knuth先生の「コンピュータの数学」は同じように練習問題に手が出ない予感がするので、
まだ買っていません。買うべきでしょうか。

何かアドバイスをお願い致します。

**名無しさん＠お腹いっぱい。** · 2007/09/05(水) 11:30:07

気にせず問題の解答を覚えまくる

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

順運動学とか逆運動学について勉強したいのですが、
良書を紹介していただけませんか？

**名無しさん＠お腹いっぱい。** · 2007/09/05(水) 19:55:50

順運動学なんて単語初めて聞いた。

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

少なくとも、ここじゃなくて、機械工学じゃないか？
それともCGとか物理エンジンにからむのか？

**名無しさん＠お腹いっぱい。** · 2007/09/06(木) 04:30:41

>>136
ロボティクスについて勉強したいならこれかな
ttp://www.amazon.co.jp/%E3%83%AD%E3%83%9C%E3%83%86%E3%82%A3%E3%82%AF%E3%82%B9%E2%80%95%E6%A9%9F%E6%A7%8B%E3%83%BB%E5%8A%9B%E5%AD%A6%E3%83%BB%E5%88%B6%E5%BE%A1-J-J-%E3%82%AF%E3%83%AC%E3%82%A4%E3%82%B0/dp/4320080580

**名無しさん＠お腹いっぱい。** · 2007/09/06(木) 12:42:48

>>135
当然、「気にせず問題の解答を覚えまくる」のも考えました。
しかし、第一章、数学の項はP110ほどなのですが、問題数が400あります。
私の場合、大体1問15分�400=100時間は掛かります。
覚えるまでやるとすると、3回以上は繰り返す必要があるので、
最低300時間、第一章だけをやるのに必要となります。
これは、平日は残業、毎週休日出勤の一月労働時間に当たります。
なのでなんの対策もせず、ってのはさすがに無理です。
他に数学本があれば、それも見つつ進めるので、若干マシかなと。
できれば200時間くらいにはしたいと思うのです。

**名無しさん＠お腹いっぱい。** · 2007/09/06(木) 20:11:17

問題数が400ならKnuthは全部解け、解けないうちは先に進むな
とは言ってない気がします

**名無しさん＠お腹いっぱい。** · 2007/09/07(金) 01:00:42

>>141
はい。モチベーションを保つためにそうした方がいいと言ってます。
しかし、その後戻ってきてじっくり勉強するようにとのことです。
結局、理解するには参考になる本はあった方がよい訳で
節のタイトルからAmazonで検索したりしています。
しかし、節名と本のタイトルとは、上手くマッチしないし、
いくつか離散数学の本の目次を見ても、内容が部分的にしかかぶっていないようでした。
そこで、何かいい本があればと思って、ここで質問しているわけです。
ちなみに「マグロウヒル大学演習　離散数学　コンピュータサイエンスの基礎数学」は、
組合わせ解析あたりは参考になりそうでしたが、他の部分はさっぱりでした。

**名無しさん＠お腹いっぱい。** · 2007/09/07(金) 02:24:21

深く考えすぎだと思います。その場で理解することにあまり拘らず
学校の図書館で関連のある本を数冊借りて読んでみてください
その時分からなかったことも、進めていく先で理解できると思います

**名無しさん＠お腹いっぱい。** · 2007/09/07(金) 16:27:17

>>143
>学校の図書館で関連のある本を数冊借りて読んでみてください
　残念ながら、学生ではないのでは無理です。大学院を卒業してからプログラマー3年やってます。
近隣の図書館へは足を運びましたが、数が少なく無駄足でした。
　また、先日買った「マグロウヒル大学演習　離散数学　コンピュータサイエンスの基礎数学」は、
　今日、中身をちゃんと読んだところ、「組合わせ解析」あたりは入門どまりで参考になりませんでした。
　ただ、離散数学についての式の基本的な事項がは色々と載っているので無駄ではなかったです。

>その時分からなかったことも、進めていく先で理解できると思います
　この本は、どちらかというと教科書よりも専門書に近い感じがします。なので私は、
教科書のように、この本ですべてを完結して説明してくれるという印象がありません。
少なくとも、練習問題のレベルは「マグロウヒル大学演習」とはまったく違います。
単純に公式を当てはめるだけでは解けません。
　日本語の本であれば、参考文献をたどって不明な点に関して勉強する手もあるのですが、
紹介されている本が、より専門的かつ英語なので、正直手が出ません。

　私へレスをしていただいた方は、すべて文末に「。」がついていないので、同一の方かと思いますが、
「The Art of Computer Programming」は読まれたのでしょうか。
私にはとても読んだとは思えません。

**名無しさん＠お腹いっぱい。** · 2007/09/07(金) 19:31:17

院卒でPG３年
なぜそのような道に入ったのか？

**名無しさん＠お腹いっぱい。** · 2007/09/07(金) 22:30:43

＞同一の方かと思いますが、
違う。

＞読まれたのでしょうか。
ない。興味も。

その本は問題の総覧自体がKnuthの研究成果といえる。
あなたの求める読み方はKnuthの衣鉢を継ごうかというレベルのものだ。

Knuthが研究人生の総仕上げとして取り組んでいる本に
どのように関わろうとその人の自由だけれど、Knuthの力量に満たないのなら
それなりの読み方で２度読み３度読みすればどうでしょうか、と伝えたい。
それでも実はあるはずでしょうから。

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

>>146
＞同一の方かと思いますが、
＞違う。
そうでしたか。すみません、失礼しました。

>その本は問題の総覧自体がKnuthの研究成果といえる。
>あなたの求める読み方はKnuthの衣鉢を継ごうかというレベルのものだ。
　正直何がおっしゃりたいのか、理解ができませんが、
とりあえずknuth先生は、「The Art of Computer Programming」には
この分野における古典的な知識を載せていて、あえて最新の研究成果は入れてないとのことです。
　なので、これら一連のシリーズ本もkunth先生の研究成果の一つではありますが、
「内容＝先生の研究成果すべて」では全然ありません。
ですから、この本でいくら何をしようともKnuthの衣鉢を継ぐということはないです。

>それなりの読み方で２度読み３度読みすればどうでしょうか、と伝えたい。
>それでも実はあるはずでしょうから。
　まあ、お分かりでしょうが、このことは伝えるまでもなく私も含めて多くの人が知っています。
　無難な答えなのかもしれません。
　しかし、あなたはそれだけでは足りない事もしっかりと認識されている様子です。
　なぜ、よく知られている不十分な方法を積極的に勧めるのか理解できません。

そもそも私は、本を紹介してほしいと書いたつもりです。
もし、ご存知の方がいらしゃいましたら、数学の部分に関する類書を紹介していただけますか。
宜しくお願い致します。

**名無しさん＠お腹いっぱい。** · 2007/09/08(土) 19:33:37

＞不十分な方法を積極的に勧めるのか

特に離散数学のクッキング本を求められているようですが
数学全般の素養，資質がなさそうな気もいたしますれば
さらにまた参考資料を追いかけそうでもあり、心配だからです。

当初の目的を見失うほど後退していきそうだからです。
手段が目的化し、さらにはじきに興味まで失いそうで
見ていて不安だからです。

私の指導教授の書架には最初だけしか読んでいない
その本がありました。　
その本は、そのような読み手が多く散見されます。

なので余計にとにかく先に進めと訴えてしまうのです。

**名無しさん＠お腹いっぱい。** · 2007/09/11(火) 01:43:43

コンピュータの数学でいいんじゃないの？
向こうの国じゃ学部１～２の情報数学で使うテキストみたいだしさ
院卒なんだからそれなりの素養はあると思うし読めると思うよ

**名無しさん＠お腹いっぱい。** · 2007/09/11(火) 19:17:56

スッカスッカのあの本を買ってしまうぐらいだから、まぁガンバ

**名無しさん＠お腹いっぱい。** · 2007/09/11(火) 23:21:40

>>148
　楽しんで読んでいますし、大丈夫です。
　それに、こういうジジイになっても使える普遍的な知識が欲しいと思っていましたので、
何年かかかるでしょうが、三冊全部やりきるつもりです。

>>149
>向こうの国じゃ学部１～２の情報数学で使うテキストみたいだしさ
　向こうはしょっぱなからえらくハイレベルなのですね。
　いつか買うつもりでしたし、良い機会なので注文することにします。

>>150
　まだ読んでいませんが、パラパラと見たところでは、おっしゃるとおりスッカスカでした。

**名無しさん＠お腹いっぱい。** · 2007/09/12(水) 00:14:54

？

**名無しさん＠お腹いっぱい。** · 2007/09/12(水) 06:59:06

コンピュータの数学第2版を邦訳してほしいね
日本語の情報系の数学テキストだと

離散数学―コンピュータサイエンスの基礎数学 (マグロウヒル大学演習)
コンピュータサイエンスのための離散数学　（守屋悦朗）
離散数学（斎藤伸自 , 千葉則茂 , 西関隆夫）
グラフ理論入門　　西関隆夫・西関裕子訳（ウィルソン著）

こんな感じだろうか
比較的最近の著書だと

情報数学入門　（赤間世紀、長田康敬、玉城史朗）
離散数学への招待〈上・下〉 J. マトウシェク
離散数学入門　守屋悦朗

こんなのもあるな
どれがいいのだろうか

**名無しさん＠お腹いっぱい。** · 2007/09/12(水) 15:32:12

Mathematical Foundations of Information Theoryってどう？
安くて薄っぺらいから情報理論の入門にいいかなと思ってるんだけど。

**名無しさん＠お腹いっぱい。** · 2007/09/12(水) 21:05:27

「述語論理・入門　基礎からプログラムの理論へ」　上江洲忠弘 (著) 　今年４月発行

http://7andy.yahoo.co.jp/books/detail?accd=31882946

今年４月発行

**名無しさん＠お腹いっぱい。** · 2007/09/19(水) 10:55:59

その本、おもったより良い本だった。
けど内容は数理論理学の入門書です。

２章～６章
松本和夫（←松坂和夫とは別の人）の復刊された
数理論理学の教科書を買ったけど
「高尚で読めない」という人のガイドとして都合のいい本だと思う。

7章～９章（P136～P194）の計算機関連のページは
数学科の人には良い導入になるかもしれない。
でもなんかアッサリしてる。

１章は論理学の紹介だけど、あくまで申し訳程度（P7～P31）ゆえ
論理学の勉強がすんでなければ別書が必要。

姉妹書で１９９９年に出版されてる同著者の記号論理・入門を
もう２１００円だして読んで欲しいということかも知れないが、
むしろ論理学をつくるを買って読んだ方が読みやすく実力もつく。

記号論理・入門も数理論理学の導入を目的にした本だけど、
述語論理・入門がわかれば、あわせて二冊そろえる必要はない。

**名無しさん＠お腹いっぱい。** · 2007/09/19(水) 23:05:30

本って高いよね
でも図書館に頼むと二ヶ月はかかる
紙質とか下げて良いから安くして欲しいな

**名無しさん＠お腹いっぱい。** · 2007/09/20(木) 08:35:18

価格に紙質はほとんど影響してないみたいですよ

（汗症の私はよい紙を使って欲しいです）

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

外国のペーパーバックは安いみたいな話を聞いたから安いんだと思ってた。
てことはあの値段が妥当なのか。まぁ買う人も少ないだろうし、あれぐらい取らないと儲けにならないのかなぁ。

**名無しさん＠お腹いっぱい。** · 2007/09/20(木) 22:23:48

外国のペーパーバック、背中のノリが硬めで
じきに割れるのも難点ですね。

**名無しさん＠お腹いっぱい。** · 2007/09/21(金) 02:52:35

>>153
赤間世紀って人のJava関連の本は読んだな
画像処理とか普段特にしないけど面白く感じた

**名無しさん＠お腹いっぱい。** · 2007/10/08(月) 05:42:50

「はじめて出会うコンピュータ科学」シリーズ、知ってる方いる？
未だに俺のバイブルかつ原点。小学校向け絵本だが侮れないと思われ。

・・・絶版orz

**名無しさん＠お腹いっぱい。** · 2007/10/17(水) 10:20:58

ドラゴンブックの2版は邦訳される予定ってある？

**名無しさん＠お腹いっぱい。** · 2007/10/23(火) 03:36:30

ブラウザ

**名無しさん＠お腹いっぱい** · 2007/10/29(月) 18:50:09

本棚スレで見つけてきた。前に見たかも知れない

http://i-bbs.sijex.net/imageDisp.jsp?id=iBook&file=1193629430025o.jpg

**名無しさん＠お腹いっぱい。** · 2007/10/31(水) 08:07:32

カバーのかかってる本はエッチな漫画だな

**名無しさん＠お腹いっぱい。** · 2007/10/31(水) 10:09:31

Structure and Interpretation of Computer Programs - 3rd Edition

９年ぶりに、とうとう第三版が出るぞー！

**名無しさん＠お腹いっぱい。** · 2007/10/31(水) 10:13:23

１１年ぶりだた orz

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

>>168のソースは？

**名無しさん＠お腹いっぱい。** · 2007/11/11(日) 14:35:24

計算機科学について素人向けに基本的なこと書いてる新書みたいな軽い本ない？
リレー回路による1bitメモリとかそのあたり書いてあると嬉しい。

**名無しさん＠お腹いっぱい。** · 2007/11/11(日) 15:17:28

>>170
code

**名無しさん＠お腹いっぱい。** · 2007/11/11(日) 15:28:29

Ｇｏｏｇｌｅ電卓をたまに利用するのだけど、2次関数を解くことできますか？
例えば、X^2+6X+9=0
みたいに簡単な計算でいいんですけど。
やり方知っている方いましたら教えてください。
Ｇｏｏｇｌｅ電卓に限らず、他に方法（free wareなど)があればお願いします。

**名無しさん＠お腹いっぱい。** · 2007/11/11(日) 21:07:25

>>172
解の公式使って手計算のほうが速くない？

**名無しさん＠お腹いっぱい。** · 2007/11/11(日) 21:48:06

>>167
ｋｗｓｋ

**名無しさん＠お腹いっぱい。** · 2007/11/12(月) 16:23:09

172です。
探している過程で、便利なソフトウェアを見つけました。
Grapesというフリーウェアーです。
結構有名みたいで、使ってみたところとても便利。
関数を入力すると、グラフがすぐに出てきてくれるし画像を保存することもできる。
複雑な関数でも、グラフを読み取れば近似値の解は分かるのでよいです。

試しに適当に　Y=X^10-7X^4+3
を入力したらグラフからY=0になるXは約±0.818 ±1.352
とすぐに分かる。

**名無しさん＠お腹いっぱい。** · 2007/11/12(月) 22:01:21

>>175
mac なら Grapher ってのが最初から入ってるよ
これもかなり便利

**170** · 2007/11/13(火) 05:28:24

>>171
ｋｗｓｋ
新書ではなさそうだなあ。
数時間で軽くさらえたら嬉しいんだが。専門じゃないし。

**名無しさん＠お腹いっぱい。** · 2007/11/17(土) 18:40:13

>>167はガセですか？

**名無しさん＠お腹いっぱい。** · 2007/11/19(月) 12:27:32

著者に直接聞けば？英語で。

**名無しさん＠お腹いっぱい。** · 2008/01/04(金) 17:53:14

上で紹介されてた「知識と推論」、私もいま読んでるけど
たしかに内容がいいね。

この著者、生物情報処理の森下先生だったんですね。
http://mlab.cb.k.u-tokyo.ac.jp/

**名無しさん＠お腹いっぱい。** · 2008/01/05(土) 09:34:54

バイオ・インフォつながりの今なら聞ける。

シミュレータ作ってる人がおられたら
参考になった書籍を紹介してほしい。

iPS細胞の分化シミュの研究準備せなならんようになった。

**名無しさん＠お腹いっぱい。** · 2008/01/06(日) 10:55:48

ガリレイの相対性原理も、アインシュタインの相対性理論も
破棄されました。！

２１世紀の科学、物理学は支配の法則が支配する！！！！！

http://home9.highway.ne.jp/cym10262/fenomina.html

**名無しさん＠お腹いっぱい。** · 2008/01/07(月) 21:02:59

属性文法の理論がのってる書籍を紹介して欲しい

ごくごく簡単な実装ならドラゴンブックⅠに載ってるが
いま欲しいのは前後関係の理論展開を扱ってる本。

**名無しさん＠お腹いっぱい。** · 2008/01/07(月) 21:12:48

型付き素性構造によるテキスト構造解析の下調べに使える本がいい

**名無しさん＠お腹いっぱい。** · 2008/01/15(火) 07:17:51

やさしいコンピュータ科学
計算機科学入門
コンピュータの数学
アルゴリズムC
コンピュータの構成と設計
計算理論の基礎
コンパイラ構成法

どれも良い本だったなぁ

**名無しさん＠お腹いっぱい。** · 2008/01/15(火) 11:56:43

>>184
kototoiの臨港で使った「言語と構文解析」にのってたはず。
いま手元にないけど丁寧だった印象あり。

**名無しさん＠お腹いっぱい。** · 2008/01/16(水) 22:44:12

痛快コンピュータ学とかいうの安かったから買ってみたぜ

小説の間に挟まれてこういうのが置いてあるのが妙な感じだったぜ

**名無しさん＠お腹いっぱい。** · 2008/01/18(金) 09:11:24

>>187
入門書の入門書って感じだよね
700円くらいで文庫、2～3日でパラパラ読めるから中身もそんなもん
読み物として楽しむか、中高で情報を教える先生が読んでおくと
面白い話が出来るといった類の本

入門書として選ぶなら
ゴールドシュレーガー：計算機科学入門2版　や
バイアーマン：やさしいコンピュータ科学　のほうがいい

ただ、やさしいコンピュータ科学はPascalが使われてるから最近の人には読みづらいかもしれない
まあC言語とかで書かれてても初学者には読みづらいだろうから
この手の入門書は入門書でありながら学部3～4年生が復習用に使っても有益

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

来月にコンピュータアーキテクチャ定量的アプローチ第4版が出るぞ
ttp://www.seshop.com/detail.asp?pid=8776

**名無しさん＠お腹いっぱい。** · 2008/01/27(日) 22:25:19

売国マルハンによりパチンコに批判的な書き込みをするとスレが荒らされます。
↓↓工作員の荒らしのやり方↓↓
2008/01/10(木)ID:iA54nBU50
■■■■マルハン総合スレッド９■■■■http://money6.2ch.net/test/read.cgi/pachij/1187021165/783-784
【宮崎県都城市】パチ事情その②http://money6.2ch.net/test/read.cgi/pachij/1187189246/658-659
【山と川】宮崎県児湯付近PART１【自然ｲﾊﾟｰｲ】http://money6.2ch.net/test/read.cgi/pachij/1188235164/471-472
【基地外が大暴れ4】エスパス日拓総合ｽﾚ【18発目】http://money6.2ch.net/test/read.cgi/pachij/1188885488/401-410
2008/01/13(日)ID:1HLcWzUK0
【基地外が大暴れ4】エスパス日拓総合ｽﾚ【18発目】http://money6.2ch.net/test/read.cgi/pachij/1188885488/461-462
■■■■マルハン総合スレッド９■■■■http://money6.2ch.net/test/read.cgi/pachij/1187021165/809-810
【香川】パーラーグランドのスレ２【徳島】http://money6.2ch.net/test/read.cgi/pachij/1188315438/324
【延岡】宮崎県北情報PART3【日向】http://money6.2ch.net/test/read.cgi/pachij/1196865970/186

工作員に荒らされ機能停止したスレ
■■■■マルハン総合スレッド９■■■■http://money6.2ch.net/test/read.cgi/pachij/1187021165/
【山崎】MPT渋谷パート9【シャネル】http://money6.2ch.net/test/read.cgi/pachij/1197771701
【基地外が大暴れ4】エスパス日拓総合ｽﾚ【18発目】http://money6.2ch.net/test/read.cgi/pachij/1188885488
MPT渋谷はマルハン・パチンコ・タワー渋谷の略です。

パチンコ産業は荒らすことでレスとレスの間を空けて読む気をなくさせたり
マネーロンダリング、さくら、ホルコン、遠隔、などの風評被害を最小限に抑えようとしてる。

新スレ→○○○マルハンパチンコタワー渋谷パート１０○○○
http://money6.2ch.net/test/read.cgi/pachij/1201304777/52-54

**名無しさん＠お腹いっぱい。** · 2008/01/31(木) 11:54:47

やさしいコンピュータ科学、結構人気あるな～

最近買ったのは、「数値計算の常識」

1985年の本だが、常識だろ、こんなの、というｗ

**名無しさん＠お腹いっぱい。** · 2008/01/31(木) 22:03:34

>>191
内容盛りだくさんだからじゃね？
学部3年の夏休みに書店でMITどうたら～とかいう張り紙に釣られて買ったよｗ
その後同著者がJavaで書き直した洋書を英語の勉強のために買ったな。
思えばあれが初めての洋書だった。
その後洋書とかほとんど読んでないヘタレですｗ

勧める人は数値計算の壷と一緒に勧めるね

**名無しさん＠お腹いっぱい。** · 2008/02/02(土) 04:05:28

オレは学部で洋書とか英語文献は全く読まなかったなｗｗ
それで就活ろくにせず調子乗って外部ほとんど入れないとこの院受けたらまぐれで受かって
中に入ったら英語とプログラムの実装能力に研究レベルの差でえらい悲惨な目にあったよｗ
入院した月で落ちこぼれポジションだたよ。

内部は学部から洋書とか英語文献普通に読んでるから
外部から進学する人は院試勉強だけじゃなくて
何か１～２冊洋書読んで慣れたほうがいいねえ。

**名無しさん＠お腹いっぱい。** · 2008/02/05(火) 19:56:33

まあ邦訳されたのを読んでそれの原著を復習として使い
2冊目の洋書に飛び込むのがいいかと

最初から洋書はかなりしんどい
慣れない言語に知らない用語が飛び交う世界じゃ返って効率が悪くなる

**名無しさん＠お腹いっぱい。** · 2008/02/05(火) 20:04:58

オレが勧めるのは
Michael Sipserの計算理論の基礎⇒同著者Introduction to the Theory of Computation 2edだな
邦訳の質がいい上にオートマトン、計算可能性、複雑さの理論と話題も広い
邦訳だけでも読む価値あり、洋書への足がかりとしてもいい

**名無しさん＠お腹いっぱい。** · 2008/02/05(火) 22:35:07

計算機科学とはあまり関係ないがUNIX関連の本は読んどいたほうがいい。
単に俺が困ったから勧めるだけだがｗ
学部の頃はほとんど窓で済ませてたから、
院入ってTeXとかUNIXの扱いはほとんど覚えてない上に計算機環境は全然違うし、
なまじ院生という立場があって使い方わかりませんﾌﾋﾋなんてとても言えないから
影でこそこそ使い方勉強してたわ。

そんな俺みたいな底辺から他大学院進学を考えてる人は
LaTeX2ε美文書作成入門
新The UNIX Super Text 上下
入門UNIXシェルプログラミング
には目を通しといたほうがいいですよ。

**名無しさん＠お腹いっぱい。：** · 2008/02/18(月) 07:13:14

Introduction to Higher-Order Categorical Logic
(Cambridge Studies in Advanced Mathematics, 7) J. Lambek (1988/6)

って丸善で聞いたら版元品切れって言われちゃった・・orz
今だと、みんなはこっちの方を読むのが普通なの？？

Categorical Logic and Type Theory
(Studies in Logic and the Foundations of Mathematics, Vol 141)
Bart Jacobs (2001/7/1)

難しさにそんなに違いはないのかな？

**名無しさん＠お腹いっぱい。** · 2008/02/18(月) 08:41:06

>>197
これ？　紀伊国屋の現時点の情報だと「通常9日～2週間で発送」になってるね。

http://bookweb.kinokuniya.co.jp/guest/cgi-bin/booksea.cgi?ISBN=0521356539

amazonだと「通常3～5週間以内に発送」か。

http://www.amazon.co.jp/dp/0521356539

手に入るかどうかは分からんが、一応。

**名無しさん＠お腹いっぱい** · 2008/02/18(月) 10:18:41

>>198
ありがと　ノ
マッハで紀伊国屋に電話して在庫聞いてもらって注文した

**名無しさん＠お腹いっぱい。** · 2008/03/07(金) 22:09:11

内容としては「コンピュータの構成と設計」という本と同じ分野で
もっと厚さの薄い本でお薦めの本はありませんでしょうか？
もちろん内容も薄くなってていいです。