確率統計の知識は、もはや科学者・工学者にとって必須である。しかしこれまでの和書では、その基本たる定理の証明をくわしく解説したものはなかった。本書でこの定理の証明を丁寧に解説して、確率統計をスッキリ学べるようにしてある。
また、次のような工夫がしてあり、確率統計の知識を確実に身につけることができる。
・データ整理法を中学・高校数学レベルから解説
・80問以上の例題で基礎力定着
・130問以上の演習問題で実力アップ
・他書にはない詳しい定理の証明
・確率統計の「なぜ？」が分かる詳細な概念説明
初学者はもとより、確率統計のとりあえずの知識は得たが、その数学的背景等を確実に学びたいと考えている科学者・技術者にも必携書である。

本書は、これまでの人工知能の発展や変遷の物語を縦糸に、人工知能研究自身が知能に関する物語の生成を目指しているという著者の考えを横糸に紡いでいる。
著者の人工知能に関する深い見識と考察は、読者が「知能」という捉えどころのないものを、「人工知能」という視座からアプローチする一助となる。文体は平易で、人工知能に興味のある読者や、知能・認知科学に関心のある読者には必携の書である。

観光は現在、以前のパック旅行から、「個」を中心とした観光に大きくシフトしている。このシフトを促したのが、インターネット利用を中心とした「情報」である。以前は、見所などもあらかじめセットされた内容で観光していたが、今日は個々が、宿泊地、交通手段を個人手配するのはもちろん、観光地の情報も、インターネットやそこにいる観光客からの動的情報を得て臨機応変に観光している。
　また、我が国は今日、観光を産業資源として、外国人の来訪を積極的に進めようとしている。このような状況の中、観光を情報の切り口からとらえて体系的に学び、実学に結びつけるのは急務である。本書はこのような視点から、観光情報学という新たな領域を具体的な事例を数多く例示しながら解説している。観光情報に関心のある読者はもとより、観光資源をいかに活用しようかと考えている読者にも最適の書である。

「知」を研究対象とする著者ら人工知能研究者は今までの客観性を第一義とし、多数の中から普遍性を求める研究手法のみでは「知」を攻略することはほぼ難しいと考えるにいたった。
「知」は個人の中に内在するため、その文脈の中で語られてこそ本質を理解することができる。すなわち、「一人称」が研究のスタートとなる。これを積み上げることで「知」の攻略につなげられると考える。
本書は、この一人称研究の考え方と、実際の研究事例を丁寧な語り口で解き明かす。人工知能に興味のある読者はもちろん、新たな研究姿勢を模索する理工学、人文系の読者も興味を持って読むことができる。

本シリーズは，大学教育において扱われる数学の中から特に重要で興味深いと思われるテーマを抽出し，その基礎概念ならびに応用の点について様々な観点から掘り下げた解説を行う。A5判でありながら側注をもうけ、立体的に理解できる。
　第1巻は、群論の古典ともいうべき「シローの定理」を取り上げる。群論は、抽象的概念の強い分野だが、その利用例は幅広く、情報科学はもとより、物理、化学などに幅広い分野に応用されている。
本書は、「シローの定理」にスポットをあて、より深い理解を目指して学ぶことができる。章末には、演習問題の詳細な解答をのせ、より具体的に理解出来るよう工夫してある。授業で学んだが、今ひとつ理解出来かねている読者やより深く理解して研究に使えるようにしたい読者には最適の書である。

本シリーズは，大学教育において扱われる数学の中から特に重要で興味深いと思われるテーマを抽出し，その基礎概念ならびに応用の点について様々な観点から掘り下げた解説を行う。A5判でありながら側注をもうけ、立体的に理解できる。
情報科学・工学がなくては、現代生活は成り立たなくなっている。この情報科学・工学の論理的基盤が、論理数学である。その守備範囲は大変広く、回路設計からソフトウエア設計、人工知能などほとんどの分野を網羅している。
本書は、多くの例題を本文とともに解くことによりその論理数学の基礎をしっかり学ぶことが出来るよう工夫してある。学生はもとより、技術者が学びなおすのにも最適の書である。

地球温暖化は、地上の話だけではない。海中においても始まっている。著者は、イカ釣りロボットで有名な東和電機製作所在職中に、開発したホタテ養殖のシステムが全返品されたとき、次のことに気づく。「システムが悪いのか、そもそも海の状態に変化があるのか」。
海と漁師が大好きな著者は、ITを使って海洋資源と海洋状態の「見える化」に、多くの人々を巻き込みながら大奮闘していく。
本書はそんな著者の奮闘ぶりを小気味のよい文章とともにわくわく感を持って伝えている。成すことの面白さを著者と共に体験できる。

第1巻である本書では、分野の碩学や現在オペレーションズ・リサーチの第一線で活躍している研究者によるモデリングに関する論考を以前の学会機関誌での特集を中心に新たな書き下ろしを含め集めた。
　本シリーズは、オペレーションズ・リサーチに係わる読者はもちろん、最適化、モデリング、問題解決、応用数理に興味のある読者に、最適である。

続刊予定
2.鉄道ネットワーク
3.ナース・スケジューリング
4.整数計画
5.モデリングの諸相
6.モデリング論

Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

本書は、コンピュータ工学を学ぶ初学者に向けた入門書である。
１章で、コンピュータの歴史や社会との関わりを「工学」という視点から解き明かし、なぜ「コンピュータ」と「工学」を学ぶ必要があるのか理解できるようになっている。
2章以降も、「工学者」としての視点に中心をおきながら、コンピュータを学ぶことができるよう工夫してある。
　より深い理解が必要と考えられる内容については、本文の流れを妨げないよう側注を活用し、章末には演習問題を配し巻末には略解を記している。
また、コンピュータネットワークに関しては、「コンピュータ」の視点から、4章コンピュータアーキテクチャと、5章オペレーティングシステムの中で述べている。
　コンピュータ工学をしっかり学ぼうと考える初学者には、最良の書籍である。