1991年度、3回にわたって開催された日本ソフトウェア科学会「関数プログラミング研究会」の研究集会における研究論文と解説論文をまとめた論文集。

方理論の概説。基本的で代表的な5つの型理論、λ→、MLの型推論、ITTn、F、CCについて、具体的な理解のための形式体系の完全な定義を紹介し、推論の例を説明。また、様々な型理論の関係を整理して理解するためλ-cubeと、Girardの逆説を紹介する。

1991年12月に開催された日本ソフトウェア科学会「マルチエージェントと協調計算研究会」の発表の中から、完成度の高い発表を厳選してまとめた論文集。

本書は、現代のコンピュータが情報をどのように処理し、どのようにして知識や知能をもつことができるのか、その方法は人間とどのように違うのか、などについての話題を取り上げている。

ひとくちに“手に負えない問題”といっても、計算可能性の理論と計算の複雑さの理論では、困難さのレベルが異なる。
計算可能性の理論では、「計算できるか？」 を考えているので、手に負えない＝計算不可能、つまり、それを解くプログラムがない場合を意味する。一方、計算の複雑さの理論では「どの程度の計算コストで計算できるか？」がテーマとなるので、手に負えない＝まともなコストでは計算不可能と解釈される。
本書では、この2種類の困難さの意味を明らかにし、いろいろな問題の難しさの解明をする。

情報システムの設計論について、理論研究者、システム開発者、システム販売者の三者協力で著された解説書。システム設計全体をバランスよく網羅していること、実際の事例に基づいた各方法論を具体的に検討していることなどが特色。

本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。

関数プログラミングはプログラミングを数学的な活動としてとらえる考え方であり、本書ではそれを特定のプログラミング言語によらず数学の表記法を用いて紹介する。
大学初年級の教科書として、また熟達したプログラマ参考書として、最適な新しい形の入門書である。

計算機そのものの進歩とともに、その需要は拡大しつつある。それに対応して計算機技術者の層も厚くならねばならないが、計算機工学の教育現場では、いまだに数学や電子工学からの借り物の学問体系が使われている。そうした依存型の学問形式ではない独自の理論体系確立は急務である。
そのひとつの提案として書かれた本書は、将来プロの技術者になろうとする人びとの格好の入門書･教科書である

今日、人工知能や非数値プログラミングに適した強力な言語として注目を浴びているProlog言語への入門書である。
Prologは数学的な論理にその源を有しているため、論理を通じて紹介されることが多い。しかし数学的な面を強調した紹介は、Prologを実用的なプログラミング･ツールとして教えるには適していない。
そこで本書は、数学的な面にとらわれず、Prologの基本的なメカニズムを用いて興味ある問題を解く技法に的を絞っている。エジンバラ構文則に基づき、各種処理系の互換性に配慮する。