【人工知能が法律に影響を与えるようになった未来の姿を解説！】

　民事裁判におけるIT化法案（「民事訴訟法等の一部を改正する法律」）が成立したことをきっかけに、IT技術および人工知能技術の導入が急速に発展してきている。
　本書ではまず第Ⅰ部で「人工知能と法」分野の歴史、次に法律における推論についての基礎的な知識を説明する。第Ⅱ部では法律への具体的な人工知能の技術の詳細について紹介を行っている。現在の法学に対する人工知能の到達点と、今後の日本の社会像が見えてくる充実の一冊。

コンピュータ理論の古典に学ぶ！
本シリーズは、「コンピュータ理論の起源」を当時の原典に探る試みとして、現在もコンピュータ理論の古典と呼ばれる、チューリングとフォン・ノイマンの論文を紹介する。
第1巻である本書には、チューリングのコンピュータに関わる重要な論文4編の完訳と、それぞれの論文に対し、内容を的確に理解するための時代背景を含めた詳細な解説が収められている。
コンピュータ理論に興味のある読者はもちろん、コンピュータに携わる読者には必携の書である。

本書は，高専および学部生を主な読者に想定し，授業や自学自習で活用できるテキストとして，情報理論の基礎やエッセンスを分かり易くまとめた．また，高度な数学的知識は必要せず，最も基本となる確率論に関する知識については，最初の章で必要にして十分なものに限ってまとめてあるため,初習者にも抵抗なく読み進められる．
本書の特徴は,各章に「STEP」を創りステップ　バイ　ステップで学べるよう工夫してある.具体的には次の通りである。
STEP 1．クイズ／STEP 2．学びのポイント／STEP 3．学びの実践：本文／STEP 4．章のまとめ／STEP 5．実力チェック：演習問題（A 基本問題・B チャレンジ問題・C 実践問題．／A とB については，巻末に極力完全解を示している．）

1992年の刊行以来、多くの大学・高専でご採用いただいている『情報理論の基礎と応用』の改訂版の位置づけとなる。本書では、前版の良いところを生かしつつ、現在の学生が学びやすいよう工夫をしてある。

特徴
・ 15 週の講義で，最後まで進みうる分量にした。
・ 演習問題を補充し，解答を加えた（例題53，演習50；合計103 題）。
・ 学生が理解しずらいと思われる箇所に補足説明や図を加えた。
・ 確率統計の基礎内容を1 章の後半に加えた。
・ 各章のはじめに「この章で学ぶこと」，おわりに「本章のまとめ」を加
え，各章の学習目標の要点を明確にした。
・ 文字間，行間の間隔を調整して，読みやすくした。

計算機やディジタル回路の基礎を学んだ学生や技術者を対象に、論理回路の合成や解析をするための理論を詳述した。教科書としても使いやすいように、内容を3部に分けてある。第1部(1～5章)は数学的基礎や論理関数ついて、第2部(6～8章)は順序回路を、第3部(9～13章)は多段論理合成などを解説している。第3部では、論理自動合成のための理論や論理関数を用いた合成法を紹介する。
第4版について
英語版出版後、R．S．Stankovic教授のご尽力でセビリア語版が出版された。今回は、初版出版後10年を経過したのを記念に、日本語版を海外版に統一して、第9章を二つの章に分割した。また、LATEXのコンパイラを新しいものに変えたため、レイアウトが変わり、ページ数も増えている。主な変更：第6章の説明の順序。第9章と第10章。主な追加：図2.8、例3.4、図7.1、図9.3、図9.4、図9.5、第10章。演習問題追加：4.18、11.28、13.23。参考文献追加

本書は、大学学部、高等専門学校、専修学枚のコンピュータサイエンス系学科における「論理回路」と「論理設計」の教科書として書き下ろした。
その内容は、（社）情報処理学会が策定した「大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラムＪ９７」のＵ－１論理回路；Ｕ－６論理設計；の２科目に準拠している。

本書では、コンピュータサイエンスを支える論理代数とそのハードウェアによる実現である論理回路との関係について、電気に関する専門知識がなくても理解できるように、解き明かしている。また、古典的な知識や理論だけではなく、最新の理論や実用的な手法についても平易に解説している。各所で、コンピュータハードウェアの基本原理である「論理回路」を実例として紹介し、理論と実際との関連に興味をつなげるようにしている。
Ｊ９７では、この分野の講義を、１．論理回路：数学的な概念（ソフトウェア）による組み合わせ回路や順序回路といった論理回路（ハードウェア）の実現；　２．論理設計：論理回路の効率の良い設計手法の理論と実際；の２科目に分けて学習することを提案している。

本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。