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

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

ないから立てた

**名無しさん＠お腹いっぱい。** · 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

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

**名無しさん＠お腹いっぱい** · 2008/03/08(土) 15:37:40

199　だけど入荷の連絡が来たので今日 >>197 の本をゲットしてきた。
結構早かった。それに引き換え、４ヶ月前に頼んだ

Bounded Arithmetic (Studies in Proof Theory, Lecture Notes, 3)
Samuel R. Buss

の方はさっぱり連絡が無いまま。どないなっとるんやろか・・

**名無しさん＠お腹いっぱい。** · 2008/03/09(日) 03:51:27

頭良い方ではありませんが、
ゴールドシュレーガーの本てSICPより読みやすそうかな？
と思ったのですが、実際どうなんでしょう？
それが難しかったらコードからみた…か梅津新書見てみるつもりですが。
目標としてはSICPとラムダ算法の本が読みたいです。

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

とりあえず馬鹿レベルでも付いてゆけそうな梅津本買いました。
コードからみた、、は面白そうなのですがちょっと違うかな。と。
ゴールドシュレーガーは自分目線ではSICPとかぶる感じでより読みやすそうなので
次に読むことにしました。

**名無しさん＠お腹いっぱい。** · 2008/03/10(月) 21:16:36

>>200に答えてもらえればうれしいです＞＜

**名無しさん＠お腹いっぱい。** · 2008/03/11(火) 00:57:43

CPUの創り方

**名無しさん＠お腹いっぱい。** · 2008/03/11(火) 14:32:21

>>205
ありがとうございます。
図書館でみてきます。

**名無しさん＠お腹いっぱい。** · 2008/03/29(土) 20:58:18

良スレ上げ

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

初心者にオススメの本ってありますか？

**名無しさん＠お腹いっぱい。** · 2008/04/09(水) 15:47:22

上林弥彦『情報科学の基礎理論』

**名無しさん＠お腹いっぱい。** · 2008/04/10(木) 13:48:37

おいおい、恐ろしいタイトルのスレだな。
俺も院卒の情報屋だし、いかに専門が細分化されているかって
ことくらいは知ってるぜ。何の本を紹介すればいいのよ。

俺の専門は人工言語、超並列処理方面、平たく言えばコンパイラ屋。
今時求められてはいても、あまり有効な結果が出せていない耳が
痛い分野。

**名無しさん＠お腹いっぱい。** · 2008/04/10(木) 17:58:40

翻訳系の話で諸学者にオススメの本はなんですか？

**名無しさん＠お腹いっぱい。：** · 2008/04/11(金) 08:22:51

>>211
「自然言語・意味論・論理」赤間世紀

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

**名無しさん＠お腹いっぱい。** · 2008/04/14(月) 21:18:41

情報科学概論・入門っぽい本で凄まじく分かりやすい本を教えて下さい

**名無しさん＠お腹いっぱい。** · 2008/04/14(月) 22:43:11

これなんかどうなのかな？
http://www.etext.jp/unplugged.html

**名無しさん＠お腹いっぱい。** · 2008/05/01(木) 22:32:12

保守＆age

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

[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]
[http://yutosoken.com/index.html:title=出会い情報科学]

**名無しさん＠お腹いっぱい。** · 2008/05/05(月) 22:33:25

>>213
コードから見たコンピュータのからくり　がわかりやすいんじゃないかな

**名無しさん＠お腹いっぱい。** · 2008/05/11(日) 19:07:50

情報基礎数学って奴が最近出たな
この手の本が早く成熟するといんだけどねえ

コンピュータのための数学ってのも最近読んだが
長期休みの復習には良い感じだったね

**名無しさん＠お腹いっぱい。** · 2008/05/11(日) 19:52:20

きちんと書かれた定番本が数冊定着すればいいんだけどねぇ。

往々にして大学の先生が、自分の授業で使えればOkな品質で書いた、
どんぐりの背比べ本が乱立するに終わるんだよなぁ。
で、学生が買わされるぶんだけ細々と印刷され続けたりとか。

**名無しさん＠お腹いっぱい。** · 2008/05/12(月) 20:53:57

単著は大体そうだよな

**名無しさん＠お腹いっぱい。** · 2008/05/13(火) 23:17:39

①書籍の取り扱う内容が広い（例：情報数学）
②書籍が薄い
③単著である
④著者がそんなに有名じゃない
⑤前書きに○○大での講義をまとめた云々のようなことが書かれてある
⑥聞いたことのない大学の教授
⑦むしろ著者が学生
⑧参考文献が載ってない

該当するのが多いほど微妙な本
4つ以上該当は立ち読み推奨

**名無しさん＠お腹いっぱい** · 2008/05/14(水) 21:55:34

ある日ブックオフに行くと共立の情報数学講座の「プログラム意味論」
が棚に刺さっていた。他に替えのあんまり効かない良い本であると思って
いたので、自分で持ってるけど思わず買ってきてしまった。

だが、大学の後輩に欲しいか聞いてみたところあっさり「あんまり興味ない
んでいりません」と言われてしまった。

しばらく時がたって、別のブックオフに行った時、恐ろしいことにまた
棚に「プログラム意味論」が刺さっていた。
「どうするねん、こんなもの」と思いつつ、セールだったので思わず
また買ってきてしまった

結果として、我が家には３冊「プログラム意味論」が存在する。
引き取り先はまだ存在していない。

**名無しさん＠お腹いっぱい。** · 2008/05/14(水) 23:03:11

>>222
一冊くれ

**名無しさん＠お腹いっぱい。** · 2008/05/14(水) 23:49:00

>>222
先輩２ちゃんしてたんですねｗ

**名無しさん＠お腹いっぱい。：** · 2008/05/15(木) 16:41:56

>>224
君はわたしの後輩ではないぞ・・

**名無しさん＠お腹いっぱい。** · 2008/05/16(金) 16:27:53

>>218
集合・無限　　集合論・入門―無限への誘い　上江洲
代数系　　群・環・体入門　新妻
論理　　論理学をつくる　戸田山
組合せ　　組合せ論入門　Ｇポリア、数え上げ組合せ論入門　成嶋
グラフ　　グラフ理論入門　RJウィルソン
アルゴリズム　データ構造とアルゴリズム　五十嵐

入門は手間がかかるけどそれぞれの本を読んだほうがためになる。
復習はマグロウヒルかシュプリンガーの離散数学が無難。

**名無しさん＠お腹いっぱい。** · 2008/05/22(木) 02:33:42

計算理論の基礎 [原著第2版] シプサ
邦訳が3分冊で出ましたね。第1版は内容がよくて翻訳もよいということでしたが、
第2版は訳者が変わったようなのですが、翻訳の出来はどうなのでしょう。