「第一課」の続編。「第二課」では、線型代数の主要部分である行列･行列式と固有値問題を論じる。線型代数の理論は様々な方面に色々なスタイルの体系が必要になってきている状況で、簡単で有用ながら従来の教科書ではあまり見かけない話題を取りあげた

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

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

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

古典的な内容を中心に「数学をゆっくり考える。考えることを楽しむ。」という意図で書かれた著者の科学教養誌への連載をまとめた1冊。数学のプロや愛好家はもちろん、授業を豊かにしたいと願う中学･高校の数学の先生にも見逃せない好著である。

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

本書は、C言語をある程度理解した人を対象に、アセンブリ言語をわかりやすく解説。これからアセンブリ言語を理解しようとしている人や、概要を知りたい人に適している。アセンブラはマイクロソフト社のMASMに準拠。

日本応用数理学会「離散システム研究部会」の第1回講演会(1991年5月)の講演内容をとりまとめた1冊。

本書は、MOSトランジスタについて初歩的な知識をもっている人を対象にMOSICの回路技術を、基本的事項から実用的なものに至るまで、系統的に詳述したテキストである。

代数学の抽象的な体系化は、よく半群･群･環･体･線型空間の順になされるが、学習者にとっては具体例から始め、抽象化する過程を主体とする方がわかりやすいと考えた著者独自のアイディアによる代数学の入門書。全3巻のシリーズ。