計算機による計算とは何か、計算できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学においてもっとも基本的、かつ重要なものです。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題、扱いやすい問題と扱いにくい問題があること、文章では簡単に表現できても計算機には解けない重要な問題が数多くあること、効率よく解ける問題と解けない問題があることなどを、計算理論の礎を築いたアラン・チューリングとリチャード・カープの論文の抜粋とともに解明します。チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性などのトピックをカバーしています。 謝辞 まえがき:教科書として使う方へ 全体像 1章　はじめに:計算できるもの, できないものとは 1.1　扱いやすい問題 1

マルウェア解析は、マルウェアを分析してどのように悪意のある振る舞いをするか、どのような攻撃技術を悪用しているかを洗い出し、インシデント対策に役立てる技術で、近年のサイバー攻撃対策に欠かせない技術です。本書は、そのマルウェア解析技術について丁寧に解説する入門書です。表層解析、動的解析、静的解析、メモリ解析などの必要な技術を、多くの研究やトレーニングの実績を持つ著者が網羅的かつ体系的に解説していきます。基礎の理解に重点を置いており、本書を読むことでマルウェア解析に必要な基礎技術をひと通り習得することができます。これからマルウェア解析を学ぶ方にも、マルウェア解析の知識を再確認したい方にもおすすめの一冊です。 はじめに 本書の想定読者 本書の構成 この本を最大限に活用するために カラー画像のダウンロード 本書の表記法 問い合わせ先 謝辞 1章　ようこそ、マルウェア解析の世界へ 1.1　マルウェアの

『初めてのマルウェア解析 ―Windowsマルウェアを解析するための概念、ツール、テクニックを探る』 Monnappa K A　著、石川 朝久　訳、北原 憲、中津留 勇　技術監修 2020年12月15日発売予定 440ページ（予定） ISBN978-4-87311-929-8 定価4,400円（税込） マルウェア解析は、マルウェアを分析してどのように悪意のある振る舞いをするか、どのような攻撃技術を悪用しているかを洗い出し、インシデント対策に役立てる技術で、近年のサイバー攻撃対策に欠かせない技術です。本書は、そのマルウェア解析技術について丁寧に解説する入門書です。表層解析、動的解析、静的解析、メモリ解析などの必要な技術を、多くの研究やトレーニングの実績を持つ著者が網羅的かつ体系的に解説していきます。基礎の理解に重点を置いており、本書を読むことでマルウェア解析に必要な基礎技術をひと通り習得する

数学を8年間、コンピュータサイエンスを3年間教えたことのある著者が、自らの経験に基づき、これからの時代に必要な数学とプログラミングの能力を身につけてもらいたいと筆をとった意欲作。定義や命題から入る伝統的なアプローチではなく、プログラミングによる視覚的アプローチで直感的な理解を促します。数学の視点からプログラミングを眺め、また逆にプログラミングの視点から数学を眺めることで、退屈な計算問題は、さまざまな工夫が可能なプログラミングの課題になり、プログラミングの文法は、数学の問題を解く上での強力な武器となり、それぞれの新たな魅力に気づかされるきっかけとなります。代数、幾何学、三角関数などの高校レベルの数学を使った数多くの例題を盛り込み、実際にProcessingでPythonプログラムを動かしながら、AI時代に求められる数学の能力を磨いていきます。 正誤表 ここで紹介する正誤表には、書籍発行後に気

あなたは未来の科学者？ エンジニア？ それとも発明家？ 電気の力で動く18の楽しい工作プロジェクト。実際に作品を作りながら、エレクトロニクスの基礎や機械構造を学ぶことができます。各プロジェクトには、くわしい仕組みの解説や、現実世界での応用例などもあり、知識を深めることができます。安全に制作を行うためのポイントや、道具の基本的な使い方、電子回路の基礎知識なども。 関連ファイル エレクトロニクスラボ サポートページ（電子部品の入手について） 正誤表 ここで紹介する正誤表には、書籍発行後に気づいた誤植や更新された情報を掲載しています。以下のリストに記載の年月は、正誤表を作成し、増刷書籍を印刷した月です。お手持ちの書籍では、すでに修正が施されている場合がありますので、書籍最終ページの奥付でお手持ちの書籍の刷版、刷り年月日をご確認の上、ご利用ください。 1刷補足情報 第1刷までの修正 （2022年9

本書は、顧客に価値を届けるプロダクトを作り出すプロダクトマネジメントについて学ぶ本です。プロダクトマネジメントを理解することで、企業がビジネス目標を達成しながら、顧客の課題を解決する方法を解説します。はじめにプロダクトマネージャーの役割と責任を定義し、優れた意思決定を促す戦略の立て方を紹介します。実験と最適化によって作るべきプロダクトを決めるプロセスを解説し、最後にプロダクト主導の組織を支えるための文化や方針を紹介します。 市場で競争力を維持するには、組織はアウトプットよりもアウトカム（成果）に焦点を当てた顧客中心の方針を採用する必要があります。アウトプットを重視してしまう企業は、顧客のニーズではなくスケジュールを優先し不要な機能をリリースする「ビルドトラップ」に陥ります。 このビルドトラップを避け、顧客の課題にフォーカスするプロダクトマネジメントの原則を解説する本書は、規模の大小を問わず

セキュリティの脆弱性を発見し、アプリケーションの所有者に報告するエシカルハッキング（倫理的ハッキング）の事例から、ソフトウェアのバグを見つける方法と手順を解説します。 Twitter、Facebook、Google、Uber などのアプリケーションで発生した報奨金がかかった脆弱性の実例を紹介し、攻撃者がどのようにユーザーを騙し機密情報を抜き取るか、レース条件を利用する方法、サイトがユーザーに自らの脆弱性を公開してしまう過程などを解説します。 基本的なウェブハッキングの概要、攻撃者がウェブサイトを侵害する仕組み、脆弱性に共通する要素の見分け方を解説し、さらにクロスサイトスクリプティング、安全でないダイレクトオブジェクト参照、サーバーサイドリクエストフォージェリなど様々なバグについて説明します。 ウェブセキュリティの脆弱性について、報告された実例から学ぶ本書は、バグハンターはもちろん、セキュア

真の汎用技術として社会を大きく変えつつある人工知能（AI）。本書は、AIの最前線に立ち続けている23人の研究者、起業家へのインタビュー集です。聞き手は『テクノロジーが雇用の75%を奪う』などの著書を持つマーティン・フォード。インタビュー対象は、ジェフリー・ヒントン、ヨシュア・ベンジオ、ヤン・ルカン、デミス・ハサビス、ジェフリー・ディーン、フェイフェイ・リー、アンドリュー・エン、ニック・ボストロム、レイ・カーツウェルなど、いずれもこの分野の中心人物です。議論の内容は、深層学習の成果、人間レベルのAIの実現の可能性、中国の存在、さらに雇用への影響やユニバーサルベーシックインカムにいたるまで幅広く、これらについての異なる立場からの見解を知ることで、AIの過去、現在、そして未来を、多面的に、より深く理解することが可能になります。 はじめに MARTIN FORD マーティン・フォード AI用語の簡

UberのSRE（サイト信頼性エンジニア、サイトリライアビリティエンジニア）として、マイクロサービスの本番対応向上を担当していた著者が、その取り組みから得られた知見をまとめたものです。モノリス（一枚岩）を複数のマイクロサービスに分割した後に、安定性、信頼性、スケーラビリティ、耐障害性、パフォーマンス、監視、ドキュメント、大惨事対応を備えたシステムにするために必要な原則と標準に焦点を当て、本番対応力のあるマイクロサービスを構築する手法を紹介します。本書で採用している原則と標準は、マイクロサービスだけなく多くのサービスやアプリケーションの改善にも威力を発揮します。 はじめに 1章　マイクロサービス 1.1　モノリスからマイクロサービスへ 1.2　マイクロサービスアーキテクチャ 1.3　マイクロサービスエコシステム 1.3.1　レイヤ 1：ハードウェア 1.3.2　レイヤ 2：通信 1.3.3　

既刊書『SRE サイトリライアビリティエンジニアリング』で、サイトリライアビリティエンジニアリング（SRE）はプロダクションサービスの稼働と信頼性の維持がサービス設計の基本であるとし、行動の基礎となる原則と理論を述べました。その実践編であり副読本でもある本書は、SREを組織やプロジェクトで導入するにあたり、必要となる具体的な方法や手順を解説します。またこれまでGoogle内部で得た技術的ノウハウを解説し、さらにEvernote、The Home Depot、New York Timesなどさまざまな企業での事例を紹介します。 クラウドなどの完全に制御できない環境で信頼性の高いサービスを実行する方法、サービスレベル目標に基づくサービスの作成・監視・実行、運用の過負荷を取り除き既存の運用チームをSREに変換する方法、新規開発またはすでに開発が終わったサービスでSREを始める方法などを解説します

深津貴之氏推薦！「行動経済学、データ分析、サービス設計のエッセンスが高度に統合された行動変容デザインの良書です」 本書は、行動経済学と心理学をもとに、人々の行動、日常習慣を変える“行動変容”を促すプロダクトをデザインするための書籍です。主にヘルスケア（健康管理）、金融（資産管理）など、これまでITプロダクト（サービス、アプリなど）がなかなか使われてこなかった分野を対象に、ユーザーがやりたいと思っていたものの実行できなかった行動の実現を助けるプロダクトを作り出すための、実践的な視点や知識を提供します。 翻訳者のみなさんによる特設サイト 正誤表 ここで紹介する正誤表には、書籍発行後に気づいた誤植や更新された情報を掲載しています。以下のリストに記載の年月は、正誤表を作成し、増刷書籍を印刷した月です。お手持ちの書籍では、すでに修正が施されている場合がありますので、書籍最終ページの奥付でお手持ちの書

Marvin Minsky　著、Cynthia Solomon、Xiao Xiao　編、大島 芳樹　訳 TOPICS 発行年月日 2020年04月 PRINT LENGTH 296 ISBN 978-4-87311-900-7 原書 Inventive Minds FORMAT Print PDF EPUB 本書は、人工知能の先駆的な研究者であるマーヴィン・ミンスキー博士が、子供の教育について語った6つのエッセイを収録したものです。子供の想像力を育むのに必要なことや環境について、博士独自の洞察と知恵が込められています。各エッセイには、マサチューセッツ工科大学（MIT）でミンスキー博士の盟友だった研究者による解説が添えられており、博士の言葉を現在に結びつけています。コンピューター・サイエンス教育への期待が高まる中、「新しい学び」の議論に、新たな視点を与えてくれる一冊。 「訳者あとがき」より：

TOPICS System/Network 発行年月日 2017年02月 PRINT LENGTH 784 ISBN 978-4-87311-790-4 原書 Systems Performance FORMAT PDF EPUB 本書はエンタープライズ環境とクラウド環境の両方を対象としたオペレーティングシステムおよびオペレーティングシステムのコンテキストにおけるアプリケーションのパフォーマンス分析と向上について解説します。主にLinuxとSolarisベースのオペレーティングシステムに含まれるツールとその使用例やチューニング可能パラメータの設定を通じてシステムパフォーマンスを引き出す手法を学びます。CPUやメモリ、ファイルシステムなど個別テーマごとに設けられた各章の前半では、用語、考え方、方法論について述べ、後半では実装の具体例を示しつつ、アーキテクチャ、分析ツール、チューニングなどを解

TOPICS Web 発行年月日 2017年06月 PRINT LENGTH 360 ISBN 978-4-87311-804-8 FORMAT PDF EPUB 本書はHTTPに関する技術的な内容を一冊にまとめることを目的とした書籍です。HTTP/1.0、HTTP/1.1、HTTP/2と、HTTPが進化する道筋をたどりながら、ブラウザが内部で行っていること、サーバーとのやりとりの内容などについて、プロトコルの実例や実際の使用例などを交えながら紹介しています。 GoやJavaScriptによるコード例によって、単純なHTTPアクセス、フォームの送信、キャッシュやクッキーのコントロール、Keep-Alive、SSL/TLS、プロトコルアップグレード、サーバープッシュ、Server-Sent Events、WebSocketなどの動作を理解します。 これからウェブに関係する開発をする人や、これ

『実践 bashによるサイバーセキュリティ対策 ―セキュリティ技術者のためのシェルスクリプト活用術』 Paul Troncone, Carl Albing　著、高橋 基信　訳 2020年4月21日発売予定 352ページ（予定） ISBN978-4-87311-905-2 定価3,630円（税込） bashとLinuxの標準コマンドを活用したセキュリティ対策手法についての解説書。サイバーセキュリティの現場では、常にGUIの最新ツールを使えるとは限りません。CUIによるセキュリティ対策はセキュリティ技術者にとって必須の知識です。本書では、Linux/Mac/Windows環境でbashを含む標準的なLinuxのコマンドラインツール群を用いて、各種情報収集や収集した情報の解析、監視、侵入テスト（ペネトレーションテスト）など、サイバーセキュリティの具体的な手法を実践形式で説明します。 本書は四部構

DevOpsには技術的な側面だけでなく、開発や運用をはじめとするさまざまな部門を繋げる組織文化を構築するという重要な側面があります。本書では、主にDevOpsの文化的な事柄に着目し、異なるゴールを持つチームが親和性を高め、矛盾する目標のバランスを取りながら最大限の力を発揮する方法を解説します。 「DevOpsの4つの柱」としてコラボレーション、アフィニティ（親近感、一体感）、ツール、スケーリングを挙げ、個人と個人のコラボレーション、チーム間や組織全体でのアフィニティの構築、企業全体でのツール選択の考え方、さらに組織がスケールする中でのアフィニティの向上と維持について4部構成で詳述。さらに組織が変化するために「4つの柱」がどのように機能するかについても解説します。 組織の内側から変化を起こし、変化を促進して組織全体へとその影響を広げ、持続可能な組織を構築する方法を紹介する本書は、ソフトウェア

ソフトウェアやプロダクトの開発に「アジャイル」な開発手法を使うことは一般的になってきましたが、組織がビジネス上の成果を上げるには、開発工程をアジャイルにするだけでは不十分です。セールス、マーケティング、上級管理者などを含む組織全体がアジャイルを理解し、部門間で協働し、「アジャイル」である必要があります。 本書では、「顧客から始める」「早期から頻繁にコラボレーションする」「不確実性を計画する」をアジャイルの3つの原則とし、この原則を組織で共有し実践していく方法とその課題を解説します。原則を素早く実現するためのアイデアや方法、原則が適用できているかを確認する方法とうまくいかない場合の対応法などを紹介します。 アジャイルの原則を理解してゴールを定め（目標）、自分たちにあったアジャイルプラクティスを見つけ（方法）、現実的な成果をもたらしているかを計測し（成果）、これらを見直しながら繰り返すことでア

本書は「発見による学習（Learning by Discovery）」というプロセスを通じて学ぶ、新しい世代のためのエレクトロニクス入門書です。最初に実験または製作を行い、その後、理論を解説するという構成で、退屈になりがちな学習をより深く心に残る「体験」にします。本書で行う実験は「電気を舌で味わう」「電子部品の分解」「LEDを焼き切る」など。作例としては、侵入アラーム、反射速度計測タイマーなど、エレクトロニクスの重要な要素を理解するのに最適なものを取り上げました。また本書では、ホビーとしてのエレクトロニクス（電子工作）を楽しむための実践的なアドバイスや、さまざまな法則や電子部品にまつわるコラムも収録。中・上級者でも楽しめます。第2版は、全面的にアップデート。さらに新たにArduinoの解説が加わりました。 まえがき 1章｜基本 1章で必要なもの 実験1：電気を味わえ! 実験2：電池を濫用し

デジタル製品のデザインに役立つ101の指針。製品のユーザビリティや性能を高める上で必須かつ基本のツボ、マスターすれば時間を節約し顧客満足度をアップできるテクニックが101のコンパクトなルールにまとめられています。メッセージが明確で説明もわかりやすいので短時間で気軽に読むことができます。101のルールは、タイポグラフィ、コントロール、カスタマージャーニー、各種要素の統一、UX全般に関わるプラクティスに分類されているのでリファレンス的に読むことも可能です。「よくある落とし穴」を巧みに回避し、自信をもってユーザーのために闘い、すばらしいユーザーエクスペリエンスを提供するプロへと成長させてくれる一冊です。 ●翻訳者による「日本語版のサポートページ」。 ●日本語版独自の8つの追加ルールが収録された「訳者あとがき」のPDF（6MB）。 というわけで、この長すぎる「訳者あとがき」では、原著者があげなかっ

世界で数十万台以上販売されているMakeblockのプログラミングロボット「mBot」は、オープンソースプラットフォームをベースにした柔軟な拡張性を備えており、新しいコンポーネントの追加や、自由なアイデアを実装できるのが特徴です。本書は、mBotの基本の組み立て方にとどまらない、オリジナル作品やプロジェクトを作るための指南書です。mBotの基本キットと拡張モジュールを使ってできる多彩なプロジェクトをわかりやすく紹介。教室などで独創的なプロジェクトを生みだすためのアイデアを提供します。 謝辞 はじめに 日本語版刊行にあたって 1章 mBotを教室へ 1-1 箱から出してみよう 1-2 骨組みにモーターとホイールを取り付ける モーターとホイールについて mBotの骨組みについて 1-3 センサーを取り付ける 1-4 電池ホルダーを取り付ける 1-5 mCoreに電池を取り付ける 1-6 配線す