本書は、１９９８年１１月に滋賀県守山市で開催される、ＦＯＳＥの第５回ワークショップ（ＦＯＳＥ’９８）の論文集であり、招待講演論文と厳正な審査によって採択された２６編の論文から成っている。

コンピュータは何ができて何ができないのか、原理的に考えていくと、コンピュータとはいったい何か、という基本的な問題に帰ることになる。
これはコンピュータの科学である計算機科学あるいは情報科学の基礎論の一つの課題である。情報科学はさまざまな科学の諸分野を基礎としているが、ここでは、そのような分野の理解を通して、コンピュータとは何か、アルゴリズムとは何か、コンピュータの扱う知識とは何か、そして、コンピュータは何ができて何ができないか、このようなことを理論的に考えてみる。
コンピュータの動作の基本はアルゴリズムである。コンピュータはコンピュータのアルゴリズムとして表わせるものはすべて処理できる。コンピュータは何ができるかということは、言い換えると、原理的な意味でアルゴリズムとして表わせるものは何か、ということである。ところで、このようなアルゴリズムを処理するコンピュータの動作自身もやはりアルゴリズムになっており、コンピュータで実行することができる。そのことがコンピュータにある意味での無限の可能性を与えている。このようなアルゴリズムについて考えること、これが本書のテーマである。

1997年12月開催「インタラクティブシステムとソフトウェア研究会」 のワークショップで発表された論文をもとに編集した論文集。

1997年開催の第4回「ソフトウェア工学の基礎研究会」のワークショップで発表された論文集。

いろいろな現象を実験や調査で解明しようとするとき、実験計画法はデータを効率的に集める手段や、客観的な結論を導くための有用な手法である。
本書では、著者の永年にわたる豊富な経験をもとに独特な記述がなされている。つまり、結果だけが大切であれば、それを事実として利用し、使い方が慣れたところで考え方の本質を数式なしで説明するという形をとっている。
本書を読み終わったときには、実験計画法が何であるかを知ると同時に、十分に使いこなせることであろう。

本書は、第４回「インタラクティブシステムとソフトウェアに関するワークショップ」（ＷＩＳＳ’９６）の発表論文集である。

本書は、１９９６年１２月に会津若松市で開催された、「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第３回ワークショップの論文集であり、厳正なる審査によって採択された３５編の論文からなっている。

本書は、経営・政策科学などのマネジメントサイエンスに関する数学モデルを学んでいる学生や、実際の業務で戦略モデルの解析に従事している人々、さらに直接仕事に関係がなくても教養として数学を身につけたいと願うビジネスマンのために、マネジメントサイエンスで用いる数学モデルをわかりやすく解説。