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

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

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

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

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

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

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

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

著者の豊富な講義経験をもとに、群･環･加群･体などの現代代数学における基本的な概念をわかりやすく解説した入門的教科書である。
したがって、理論が形式的に完備しているということよりも、簡潔でわかりやすくということを心掛け、理解を助けるためにも数多くの具体例を取り上げ丁寧に解説していく。
初等整数論の主なことも群または環の理論の例として述べている。また、環の上の加群の概念は、現代代数学において中心的ともいえる役割をもつ。そこで本書では、加群の理論をやや詳しく述べ、応用としてアーベル群の基本定理に触れている。