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

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

ないから立てた

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は全部解け、解けないうちは先に進むな
とは言ってない気がします