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

ハードウェアの進歩に伴ってシミュレーション実験が容易になり、１９８０年代にはニューラルネットについての新しいモデルや考え方が次々と提案され、ニューロブームがおこりましたが、最近は落ち着きをとりもどし地道な研究が続けられています。本書は、「ことの本質は、それが優れたものであるほど簡潔な数学的枠組の中にすっきりと収まるものである」との観点から、ニューラルネットの基礎的な話題を定式化して丁寧に解説した。数学的側面からの入門書です。

本書は、どのような問題に対して効率のよい並列化が可能であり、どのようにして並列化されるのか。そして、どのような問題が本質的に効率のよい並列化が難しいか。という課題を考えるための基礎的な枠組を具体的に記述した。

1992年開催のオブジェクト指向計算ワークショップ第8回（WOOC’92）で発表された論文の中から完成度の高い論文を選び著者の改定を加えてまとめた論文集。

本書は、画像処理といわれる領域の中でいくつかの重要な問題を取り上げ、関連する処理アルゴリズムについて詳述する。アルゴリズムを単なる算法ではなく、画像処理技法として導出される過程や意味、あるいは物理的な背景も含めて考える。

著者の数年にわたる講義･演習をもとにまとめたもので、文系･理系を問わず、大学1～2年生のコンピュータリテラシーの基礎教育に格好なテキストである。
Cのプログラミングを通じてコンピュータの動作原理を理解し、ある程度の実務的なプログラムが書き下ろせるように、例題と演習問題を充実させた。
各章建ては、文法的一貫性を無視して、演習書としてのストーリー性を重視している。
ANSI文法を採用。

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

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

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