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

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

ないから立てた

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