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

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

ないから立てた

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

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

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

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

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

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