Book List書籍一覧
近代科学社の取り扱ってる書籍一覧です
検索もご利用いただけます
-
コンピュータサイエンスで学ぶ論理回路とその設計
本書は、大学学部、高等専門学校、専修学枚のコンピュータサイエンス系学科における「論理回路」と「論理設計」の教科書として書き下ろした。
その内容は、(社)情報処理学会が策定した「大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラムJ97」のU-1論理回路;U-6論理設計;の2科目に準拠している。本書では、コンピュータサイエンスを支える論理代数とそのハードウェアによる実現である論理回路との関係について、電気に関する専門知識がなくても理解できるように、解き明かしている。また、古典的な知識や理論だけではなく、最新の理論や実用的な手法についても平易に解説している。各所で、コンピュータハードウェアの基本原理である「論理回路」を実例として紹介し、理論と実際との関連に興味をつなげるようにしている。
J97では、この分野の講義を、1.論理回路:数学的な概念(ソフトウェア)による組み合わせ回路や順序回路といった論理回路(ハードウェア)の実現; 2.論理設計:論理回路の効率の良い設計手法の理論と実際;の2科目に分けて学習することを提案している。 -
情報科学の基礎論への招待
コンピュータは何ができて何ができないのか、原理的に考えていくと、コンピュータとはいったい何か、という基本的な問題に帰ることになる。
これはコンピュータの科学である計算機科学あるいは情報科学の基礎論の一つの課題である。情報科学はさまざまな科学の諸分野を基礎としているが、ここでは、そのような分野の理解を通して、コンピュータとは何か、アルゴリズムとは何か、コンピュータの扱う知識とは何か、そして、コンピュータは何ができて何ができないか、このようなことを理論的に考えてみる。
コンピュータの動作の基本はアルゴリズムである。コンピュータはコンピュータのアルゴリズムとして表わせるものはすべて処理できる。コンピュータは何ができるかということは、言い換えると、原理的な意味でアルゴリズムとして表わせるものは何か、ということである。ところで、このようなアルゴリズムを処理するコンピュータの動作自身もやはりアルゴリズムになっており、コンピュータで実行することができる。そのことがコンピュータにある意味での無限の可能性を与えている。このようなアルゴリズムについて考えること、これが本書のテーマである。 -
UNIXとC
ワークステーションの標準OSとして広く用いられるUNIXの基本的知識とその上で標準的に行われているCプログラミングをコンパクトにまとめた。『UNIXとPascal』の姉妹編である。
第I部がUNIX編であり、UNIXシステムの使い方、ファイル操作、エディタ等をその基礎から常用レベルまで説明するとともに、Xウィンドウやネットワークの使い方を説明し、簡易マニュアルとしても使える。
第II部はCプログラミングについてその入門から応用までを解説する。近年注目されているC++についても記述する。C文法はANSICに準拠して使う立場で解説されている。 -
Cによるプログラミング演習
著者の数年にわたる講義・演習をもとにまとめたもので、文系・理系を問わず、大学1~2年生のコンピュータリテラシーの基礎教育に格好なテキストである。
Cのプログラミングを通じてコンピュータの動作原理を理解し、ある程度の実務的なプログラムが書き下ろせるように、例題と演習問題を充実させた。
各章建ては、文法的一貫性を無視して、演習書としてのストーリー性を重視している。
ANSI文法を採用。 -
計算可能性・計算の複雑さ入門
ひとくちに“手に負えない問題”といっても、計算可能性の理論と計算の複雑さの理論では、困難さのレベルが異なる。
計算可能性の理論では、「計算できるか?」 を考えているので、手に負えない=計算不可能、つまり、それを解くプログラムがない場合を意味する。一方、計算の複雑さの理論では「どの程度の計算コストで計算できるか?」がテーマとなるので、手に負えない=まともなコストでは計算不可能と解釈される。
本書では、この2種類の困難さの意味を明らかにし、いろいろな問題の難しさの解明をする。 -
情報の論理数学入門
本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。 -
Prologへの入門
今日、人工知能や非数値プログラミングに適した強力な言語として注目を浴びているProlog言語への入門書である。
Prologは数学的な論理にその源を有しているため、論理を通じて紹介されることが多い。しかし数学的な面を強調した紹介は、Prologを実用的なプログラミング・ツールとして教えるには適していない。
そこで本書は、数学的な面にとらわれず、Prologの基本的なメカニズムを用いて興味ある問題を解く技法に的を絞っている。エジンバラ構文則に基づき、各種処理系の互換性に配慮する。 -
計算機工学の基礎
計算機そのものの進歩とともに、その需要は拡大しつつある。それに対応して計算機技術者の層も厚くならねばならないが、計算機工学の教育現場では、いまだに数学や電子工学からの借り物の学問体系が使われている。そうした依存型の学問形式ではない独自の理論体系確立は急務である。
そのひとつの提案として書かれた本書は、将来プロの技術者になろうとする人びとの格好の入門書・教科書である -
計算量の理論
本書では,入門書としての性格上,将来その評価があまり変わらない基本的なものに的を絞ってある。
第5章までが導入部であり,計算量を理解する上で最も大切なチエーリング機械を詳説し,計算可能性,機械モデル,形式言語とオートマトン理論に言及する。
第6,7章が本論であり,計算量理論の基本定理とその応用についてさらに詳しく述べる。 -
組合せ論入門
古典的名著『いかにして問題を解くか』の著者ポリアと「ネバンリンナ賞」第1回受賞者タージャンとがスタンフォード大学で行った講義録をまとめたものである。
順列と組合せの基礎から説き起こし、母関数や数え上げの理論のような数学的道具、さらにラムゼイ理論、マッチング、ハミルトンとオイラー路といった特定の問題に言及する。
組合せ論は計算機科学において重要な役割を果たしている数学の一分野であり、必須の知識である。