科学技術と共に歩む

数理パズルで楽しく学べる論理学

数理パズルを通して，身の回りの物事を記号化する力や論理的に説明・表現する力を養う。

プログラムで愉しむ数理パズル - 未解決の難問やAIの課題に挑戦 -

プログラミングを通して数理パズルを愉しみ，その背後にある考えや応用につながるアイディアを理解しようというものである。

ネットワーク工学

基礎的かつ普遍的な内容を論じつつ，電子情報通信分野に関係した内容に重点を置き説明。

情報科学のための 離散数学

本書は既刊の「情報数学1，2」の中から離散数学の内容を選択し，さらに大幅に加筆し再編集したものである。高校の数学Ⅰ 程度の学力でも十分に理解できる内容とし，各章はできる限り独立させ，どこからでも学習できるようにした。

形式言語と有限オートマトン入門 - 例題を中心とした情報の離散数学 -

記号処理はコンピュータの基本的な機能である。本書は，記号処理の基本である形式言語とオートマトンの基礎的な概念について，例題を多数挙げ解説する形式で系統的に記述した。

オートマトン・言語と計算理論

計算機では，解ける問題，解けない問題，解けることは解けるが時間がかかって手に負えない問題の3種類が存在する。このことを把握するため，計算機のモデルを正確に理解し上手に使えるように指導するのが本書の目的である。

オートマトン・形式言語理論

大学，短大，高専等におけるオートマトン・形式言語理論に関する講義のテキスト。多くの例とわかりやすい解説を心がけた。

あれっ，大学で数学がわからなくなった！ - 大学数学を読み解く力を手に入れよう -

大学で数学がわからなくなった！？大学数学を理解するための「いろは」を詰め込んだ１冊。