量子コンピュータの現状と将来を理解するために，歴史的な経緯から始まり，各種の技術を用いた量子コンピュータ構築の試みをハードウェア，ソフトウェア，暗号との関連，さらなる発展の条件，世界的な研究動向の分析･･･

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて，関数型プログラミング言語の動作やその型システムの原理，さらに，多相型，型推論，継続計算，レコード計･･･

　日本知能情報ファジィ学会 2019年度著述賞　受賞！ 　ファジィ理論と統計とのかかわりについて説明した，ファジィ理論が有用なツールになることを理解できる一冊。本書を通してファジィ理論を統計へ応用す･･･

　近年社会において情報セキュリティが注目されているが，統計学的には論じらることが少なかったテーマである。メッセージを送信する際のセキュリティ対策として乱数を用いる手法において，その乱数性の良さを統計的･･･

　1970年代，従来の秘密鍵を共有する共通鍵暗号に加えて，公開鍵暗号と呼ばれる新しい概念が考案された。この公開鍵暗号によって鍵の配送が容易になり，インターネットのようなオープンな環境での暗号利用が容易･･･

本書では，サイバーセキュリティを学ぶ上で必要な基礎的な知識を，高校生や大学一，二年生でもわかるように丁寧に説明している。1章では，インターネットの仕組みについて，基礎から応用まで実例や図を用いて解説す･･･

　まず，本書の特色の1つめは，できるだけ多くの人たちに離散数学の存在を知ってもらい，また興味をもって学んでもらえるようにするため，「わかりやすさ」を徹底的に追及した内容になっている点である。「わかりや･･･

　符号理論の研究は1948年にC. E. シャノンによって発表された情報理論の論文A Mathematical Theory of Communication（Bell System Tech. J.･･･

わたしたちの生活を支える，コンピュータ，通信ネットワーク，ソフトウエア，携帯電話，鉄道・道路網，電力送信システムなど，現代技術の成果物は非常に複雑である。そのため，そこで何らかの問題が生じた場合に，ど･･･

　音声処理，自然言語処理，パターン認識など，いわゆるメディア情報処理の分野における数理的話題のなかから10のテーマを選んで解説している。時代的にも，非常に古典的なものから現代的なものにまで渡っている。･･･