ライトノベル、マンガなど電子書籍を読むならBOOK☆WALKER

Mathematica 最新版 Ver10 対応の入門書！Mathematicaは、数式処理ソフトの定番として、数多くのメーカー、研究所、大学で活用されており、個人向けにも安価に提供されている大変強力なソフトである。本書は、高校から大学初年級の数学で学んだことが、Mathematicaではどのように扱われるのかを、具体的に数式とコマンドを対比しながら解説してゆく。後半では実務に使われる数式や、3D手法などをどのように処理すべきか丁寧に解き明かす。Ver10に対応した新しいコマンドの利用方法なども説明。初心者はもちろん、Ver10を新たに導入したユーザーにも必携の書である。

オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。

ロボットを思い通りに操るにはどうすればよいのか？
アルゴリズム(PAD)、C言語（NXC）、NXT-SWを併記しており、相互に参照しながら、効率よくロボットプログラミングが、マスターできます。さらにもの作りの基本サイクルであるPDSサイクルを紹介、計画立案、評価方法など実例を挙げ解説。アイディアやグループ作業のコツなど、ロボコンで役立つ知識も習得できます。

プログラムの本質は、手順の積み重ねである!
プログラミングの学びはじめは大変である。日常生活では体験することのない厳密な手順を要求されるからである。しかし、プログラミングスキルは、情報系はもちろん、他の理工学部系の学生にも必ず求められる現代に必須の能力である。本書は、最初に大変簡便な仮想CPUを題材として、機械語プログラムの本質が手順の積み重ねであることを分かりやすく説明する。そののち、C++で基本的な手続き処理を学ぶ事によってプログラムの本質が理解できるよう工夫されている。コンピュータとプログラミングのうわべの知識ではなく、その本質を理解することができるので、プログラミング教育の導入用教科書として最適の書である。

LinkedDataは、構造をもったデータを適切に公開・共有するための新しいWeb技術である。
本書は、このLinked Dataを包括的に解説する日本初の書籍である。内容は、最先端の技術情報をまことに分かりやすく簡潔に述べており、NII（国立情報学研究所）を中心とした我が国の精鋭研究者が翻訳に当たった。

アルゴリズムの基礎をしっかり理解!!
基本となる必須のアルゴリズムとデータ構造のみに焦点をあて，丁寧に数理を理解しながら習得できるよう解説．初学者が直感的に把握できるよう，手作業で確認するように工夫してある．
すべてのアルゴリズムにC言語によるプログラムを掲載．また，豊富な演習課題と詳細な解答を掲載し，自学自習ができる．
しっかりアルゴリズムとデータ構造を理解しようとする読者には必携の書である．

この本は工学と理学の学部学生を対象として，応用数学や計算数学の立場から，研究から開発まで一生涯携わっていく仕事の基礎となる事項について非常に興味深くかつ体系的に導入を行っている教科書あるいは参考書である．
　理工学を学ぶには，物理あるいは数学を中心として，すべてを見渡す方法があるが，本書は計算の数理を中心として理工学全般を学ぶのに適している．
　著者のストラング教授は，優れた研究業績に加えて，MITにおいて非常によく準備されて学生に分かり易く非常に充実した講義をすることで有名である．
　本書も，読み始めると息もつかせぬほど面白いと感じさせる迫力があり，その力で理工学全般の考え方を道案内している．（監訳者序文より）

世界標準 MIT 教科書!!
原著は，計算機科学の基礎分野で世界的に著名な4人の専門家がMITでの教育用に著した計算機アルゴリズム論の包括的テキストであり，その第3版．前版までで既にアルゴリズムとデータ構造に関する世界標準教科書としての地位を確立しているが，より良い教科書を目指して再び全面的な記述の見直しがなされ，それを基に新たな章や節の追加なども含めて，大幅な改訂がなされている．
単にアルゴリズムをわかりやすく解説するだけでなく，最終的なアルゴリズム設計に至るまでに，どのような概念が必要で，それがどのように解析に裏打ちされているのかを科学的に詳述している．
さらに各節末には練習問題（全957題）が，また章末にも多様なレベルの問題が多数配置されており（全158題），学部や大学院の講義用教科書として，また技術系専門家のハンドブックあるいはアルゴリズム大事典としても活用できる．
本書は，原著の第1?35章，および付録A?Dまでの完訳総合版である．また巻末の索引も圧巻で，和（英）‐英（和）という構成により，「数理用語辞典」としてもまことに有用である．

社会の様々なところにソフトウェアが組み込まれる中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況にある。そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。本書はSPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍である。

グラフ・ネットワークアルゴリズムの基礎をしっかり理解!!
グラフ・ネットワークアルゴリズムの背後に横たわる数理を，例題と図を多用して，直観的なイメージを抱いて思考を巡らせながら理解できるよう，配慮．また，ほとんどのアルゴリズムにC言語によるプログラムを与え，出力結果を確認できるようにしている．さらに，各章での内容を効果的に復習できるように，章末の演習問題とともに多くの問題でその解答例を付している．また，著者の『アルゴリズムの基礎とデータ構造：数理とC プログラム』の続編でもある．アルゴリズムの基礎を学んだ読者が，より有用性のあるグラフ・ネットワークアルゴリズムを習得するためには必携の良書である．

題材で挫折しない。プログラミング経験なしでも大丈夫！はじめてMATLABにふれる読者を対象としている。題材で挫折しないよう，易しい事例で解説を行う。また，プログラミングの経験が無くても学べるよう，導入部分ではプログラムを感じさせないよう進んでいく。4章では，プログラミング経験のない読者にむけて，プログラミングの「いろは」を解説。実際に使いこなすのに有用な14のTipsを収録。MATLAB初学者，必携の書である。

JavaとUMLでオブジェクト指向プログラミングを具体的に理解する!
　本書は、オブジェクト指向という考え方に基づいたプログラム設計・プログラミング言語を具体的に解説し、できるだけ早いうちからオブジェクト指向に慣れてもらい、自然とオブジェクト指向に基づいた発想ができるよう工夫してある。そのために用語の説明を丁寧に行い、継承や委譲といったオブジェクト指向の諸概念を用いたプログラムの動作について解説する。
　Javaの初学者、C言語などの手続き型言語を学んだ後に、オブジェクト指向プログラミングを学習するための最適の書である。
【目次】
1.オブジェクトに基づいた分析
2.クラスの定義とクラス図
3.プログラムの動作とシーケンス図
4.インタフェース
5.委譲
6.継承
7.抽象クラス
8.パッケージ図
9.コンポーネント図・コンポジット構造図
10.ユースケース
11.クラスの設計指針
付録：UML図一覧

好評を博したシステム開発技法の指南書、待望の改訂！時代に合わせてアジャイルモデルや最新テスト技法を追加。多様化が加速する開発環境に惑わされないための1冊！
システム開発の本質を見失わないために必要な知識とノウハウ1979年に初版を発行してから30年。時代と状況に合わせて改訂を重ねて使われ続けてきたシステム開発技法解説書の第5版。どんなことにも情報システムが欠かせない現代では、その開発環境も多様化し日々刻々と進化をしています。しかし、どんなに環境が多様化し進化をしても、システム開発の本質は不変。どんな環境で、誰が開発をしようとも、ユーザーの真のニーズをしっかりと把握し、それをシステム要件に反映すること、ユーザーの使い勝手の良いシステムを設計･開発することがシステム開発の原点です。そのような視点と、システム開発技法の歴史、著者の経験と研究を土台にして、現代のシステム開発に必要で、開発者はもちろん、開発されたシステムを利用するユーザーにまでメリットをもたらす技法を余すことなく解説する、プロジェクトマネージャーや現場の開発者必携のバイブル。

C言語を無理なく習得!!
本書は，コンピュータの本質である「手続き的処理」の理解を目標とし，具体的なC言語の例題を通してプログラミングの基礎を学ぶための演習書である．工学系分野の学生及び初学者を対象とし，工学のさまざまな分野で素養として要求されるコンピュータ科学とプログラミングの基礎知識を，C言語の演習を通して無理なく習得できるよう工夫する．
演習課題には，バグを入れたプログラムも提示して，そのバグを発見し修正する過程を通して，理解が進むような工夫してある．
また，すべての演習問題に対する解答または略解を巻末に示し，読者がプログラムを順をおって理解できるようにしてある．

生死の淵から生還した産業医・IT研究者自らが、その実体験と克服手法を具体的・論理的に説く。また、優秀なIT技術者ゆえの過労死、神経障害をいかにしてなくすか会社組織としての対応方法を、ITを知り尽くした産業医としての立場から考える。体調管理が必須な技術者、労務管理、プロジェクト管理、経営者、必読必携

「そもそもプロジェクトとは？」からスタートできる入門書!!
現実のプロジェクトに関わったことのない初心者でも、プロジェクトやプロジェクトマネジメントに関する基礎的な知識を、順を追って理解できる。学生はもちろん、社会人が、仕事の進め方などを整理するためにもおすすめの1冊！

アジャイル開発の指南書
アジャイル開発は，従来のウォーターフォール型とは対照的に，顧客にとって価値の高い機能を優先し，迅速・適応的な開発が行えるが，我国ではまだ開発手法の主流であるとはいいがたい。
本書は今後導入が期待されているこのアジャイル開発の概要から，エクストリーム，スクラムを使った開発プロセス，リスクマネジメント，開発事例まで網羅した指南書である。

マインドフルネスの科学と実践！ 東洋の禅思想を礎とし，米国で爆発的な広がりを見せる「マインドフルネス」。本書は，UCLA（カリフォルニア大学ロサンゼルス校）での取り組みに触れて感銘を受け，自らも普及活動を支援する米国在住のコンピュータ科学者が，日英対訳でその体験と実践方法をつづる異色のマインドフルネス本である。UCLAの指導法も特別掲載！！

　京都を知る，アルゴリズムを知る。アルゴリズムとはそもそも，何か物事を行うときの“具体的手順”のことである。私たちは日々，意識するかしないかに関わらず，次々とアルゴリズムの設計をしながら生活をしている。
　本書は，岩間一雄教授が京都の町を題材にアルゴリズムの思考を伝える，読み物的手法をとった数学書である。読者はその奥深い世界へと誘われてゆくだろう。
　巻末には本書で取り上げた京都関連の名所・行事などの索引があり，逆引きで読んでいくことができる。
【目次】
1．斜め横断
2．アイドルタイム
3．人事部長の悩み
4．チームワーク
5．神様との勝負
6．アルゴリズムからメカニズムへ
7．一番でなくとも
8．千年に1回も起こらない
9．自分のページランクを上げたい
10．対話のアルゴリズム
11．ビットコインの素晴らしさ
12．P対NP問題：ノーベル賞以上？
13．アルゴリズムから見た進化論

月刊『情報処理』の人気連載をまとめた本がついに登場！情報処理学会誌『情報処理』で好評連載中の「ビブリオ・トーク ―私のオススメ―」がついに一冊の書籍に！ IT研究者の方々による，デマルコやカーニハン，ヘネシー＆パターソン，さらにはアシモフやホーガン，伊藤和典，というバラエティに富んだ書籍紹介を40本収録。

刻々と変化する世界経済や企業戦略の中で、基礎研究部門の果たすべき役割とは?研究員に求められるあり様とは?グローバル企業IBMの東京基礎研究所で所長を務めた著者が、これらの解答として日々発信してきたレターを集大成!さらにこれから企業の研究所を目指す学生にも重要なアドバイスを送ります。研究は「面白いから」やるのではない。「必要だから」やるのだ。

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

日本オペレーションズ・リサーチ学会 創立60周年記念事業。モデリングは、近年特に注目されている。その範囲には機械学習、金融工学、データ同化、待ち行列などが含まれ、多くの実務家、研究者が活躍している。本書は、その注目されている分野の第一線の著者が、本格的論考をおこなう。 興味のある分野を深く読み進めるのもよし。全体を読み進んで、モデリングの「現在」、たとえば、ORや最適化などの問題解決型のヨコ型分野と、建築、機械、金融、気候・海洋などの具体的な対象を持つタテ型分野を俯瞰的にみることもできる。モデリングに興味のある読者には、必携の書である！

バイオ統計学が対象とする｢臨床｣｢環境｣｢ゲノム｣の分野ごとに具体的なデータを中心にすえて、確率的推論、データ収集の計画、データ解析の基礎と方法を明快に分かりやすく述べた、わが国初めてのバイオ統計学テキストシリーズである。本書は、医学や医療に志す学生のテキストとして使用できるように、高等学校｢数学1」・｢数学2｣程度の数学的バックグラウンドの読者に理解できるよう配慮してある。また、久留米大学、九州大学、東京理科大学医薬統計コースで行った講義ノートをベースにしており、具体的な医療事例を使って、統計を理解できるようになっている。内容はベイズの定理とその応用、統計的推定・検定、分散分析、回帰分析、ロジスティック回帰分析の基礎を解説する。

実際に計算しながら体験的に学ぶ！オペレーションズリサーチを始めて学ぶ人のために，その考え方を，実際の計算例を交えながら，平易な言葉で解説した入門書。身近な具体例を取り上げ，それを数値的に分析することを通して理論の背景を理解できる。Excelを計算ツールとして採用し，Excelの計算例とともに本文を読み進めることによってオペレーションズリサーチの理解をよりいっそう深めていけるよう工夫してある。 具体例で理解することが出来るので初学者には最適の書である。

身体で考える !!今日、情報を得ようとすれば、本当に瞬時に入手できるようになった。しかし、それは他者の理解を表わす「情報」であり、鵜呑みにしても、決して自分の「知」にはならない。「体得する」、「腑におちる」という言葉があるように、「情報」を理解し、自らの知に昇華させるには、自らの身体を通して自分ごととして考えることが必須である。本書は、どのようにすれば自分ごとで考えるという「学び」が可能になるのか―今の時代に、あえて少しハードボイルドな学び論を、明快な語り口で説く。人文・社会科学の分野において、教育や学ぶということに興味をもつ読者はもちろんのこと、客観的事実の解明・応用としての自然科学・工学分野においても、研究の問いの立て方や進め方、そして論文の組み立て方について悩む学部生や院生、そして研究者に必読の書である。

研究と学びの新たなる地平！「知」は個人の中に内在するため、その文脈の中で語られてこそ本質を理解することができる。すなわち「一人称」が研究のスタートとなる。これを積み上げることで「知」の攻略につなげられると考える。本書はこの一人称研究の考え方と実際の研究事例を丁寧な語り口で解き明かす。人工知能に興味のある読者、新たな研究姿勢を模索する理工学、人文系の読者も興味を持って読むことができる。

この一冊でPythonがビジネス･研究に使える！ Ver3.5対応！　本書は今話題の機械学習、ビッグデータ、科学技術計算、最適化等、ビジネス・研究に必須な手法を、Pythonを使って具体的に使いこなせることを目的とする。そのために、どのようにPythonやそのモジュール・ライブラリを使いこなせばよいかを、また、解析手法の数学的根拠もあわせて解説する。Pythonの初学者や、解析手法に不慣れな読者には大変分かりやすく記述してあり、すぐにPythonを使って様々なことに挑戦できるよう工夫してある。また、Pythonをより使いこなそうと考えている読者や本格的に解析を行おうとしている読者にも大変示唆に富んだ内容となっている。

人工知能って、いったい何ですか? 人工知能学会の歴代会長を含む人工知能研究の権威が答えます! ! 今話題の深層学習(ディープラーニング)で注目されている機械学習など、人工知能分野で最先端の研究を行う研究者13人が、人工知能学会誌に連載したものを大幅に加筆修正した。研究者として自ら「人工知能とは何か」の再定義を行い、それをふまえて、各研究について一般読者に伝わるようにシッカリと解説を行っている。人工知能に興味のある読者はもちろん、知能、認知、脳科学、人間、哲学などに関心のある読者は必読必携である。13人の紙面上でのキャッチボールが示唆に富んでおり、読んでいてとにかく面白い! !大変好評を得ている『深層学習 Deep Learning 』に続く、人工知能学会監修企画!

1988年初版発行以来27刷を重ねた本を時代に合わせてアップデート！述語理論を詳説！本書は、人工知能という分野で行われている議論や研究を理解するために必要な基礎知識の提供を目的として、単に「こういうことがある」という知識ではなく、「なぜこのように考えるのか？」という疑問に答えられる真の理解と実力を身につけられるような構成と解説をしている。新たに演習問題とその解答も掲載。

深層（多段層）ニューラルネットワークの構築は人工知能を模索する研究者にとっては長年の課題であり夢でもあり、まさに研究対象でもあった。この分野の最先端の著者らが人工知能学会誌に掲載した連載解説を大幅に加筆再編したものである。今までの到達点、今後の課題が具体的な研究成果と共に書かれている。深層学習の理論・応用を、自らの研究に取り込むことを考えている読者には、まさに必携必読の書籍である。

ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している。代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する。さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する。また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている。比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である。

ポスト深層学習!!本書は，ポスト深層学習の最右翼として注目されている「アンサンブル機械学習」を，具体的にプログラムを動かしながら，実践的に学ぶ事ができる．「アンサンブル機械学習」とは，簡単に言えば，従来のいくつかの機械学習法の“いいとこ取り”である．その主な手法であるランダムフォーレスト，ブースティング，バギングなどについて，統計手法との絡みを含めて詳説する．おそらく，アンサンブル機械学習についての本邦初の解説書であろう．深層学習，機械学習，人工知能に関わる読者には，まさに必携必読の書である．

新しい最適化の手法の幕開け！これまでは特殊なプログラミング言語やアルゴリズム等に精通している事が必要であった最適化問題（数理計画）の解決が、高性能な数理最適化ソルバー（Gurobi）と超高水準プログラミング言語（Python）を用いることで容易に可能となりつつある。本書は、具体例を用いて最適化の基礎理論を解説し、それに即した正確・高速なプログラムを示すことで、問題解決の手本を多数示す。最適化の手法を根本から変える、新しい時代の幕開けを告げる書である。

ビッグデータ時代の必然的な概念として，「データ市場」が注目されている．これは，皆が安心できる条件で必要に応じてデータを共有し，また状況に応じて結合したり分析したりして使うことで新たなビジネスを生み出すという，いわばデータの取引市場である．
本書は，データ市場構築の手法をIMDJ (Innovators Marketplace on Data Jackets)を中心に幾つか挙げて，その具体的な活用方法を産業界の視点から提案する．IMDJは，すでに経済産業省，国土交通省のワークショップでもビジネスモデル構築技術として採用されている．ビックデータに関係する読者には，まさに必携の書である．

打たれ強いシステムを考える！レジリエンスとは、大きなアクシデントを受け、一時的に機能を失ったとしても柔軟に回復できる能力を指す概念である。この能力を持つシステムは、生物、生態系、国家や企業などの社会システム、人間の心理など、多様な分野で様々なかたちで存在する。本書は、この多様な分野のレジリエンスを調べて共通な知識を体系化し、持続可能社会の構築に向けての提案を分かりやすい語り口で説いている。上述の分野のシステムに係わる読者はもちろん、自然界の復元力、柔軟な耐障害性構築などに興味のある読者には大変示唆に富んだ内容で、必読必携である。

本物のデータサイエンティストになるための、データサイエンスの元祖による待望の書 ── バイブル登場！！「ビッグデータ」「統計」「データサイエンス」などが大きく取りざたされ、2012年度から高等学校の一年次必修科目でも単元「データ分析」が導入された。2部構成をとる本書の第I部では、高校の「データ分析」の内容と連携し、データ分析の際に最低限心得ておくべき事柄をわかりやすくまとめている。第II部は、第I部の知識を基に、データサイエンスの入門と、さまざまな分野での事例を通したデータサイエンスの実践を詳説している。また，本文をより深く理解できるよう、随所に「演習問題」「傍注」などを多数配置した。

デリバティブ価格理論の“至宝”!!　本書はマルチンゲール・アプローチと呼ばれる、無裁定に基づくデリバティブのプライシング方法を、実務家向けに解説した本である。単にデリバティブのプライシングのみならず、金融における数多くの問題の正確な記述と理解、解決に欠かせないものになっている．このマルチンゲール・アプローチ本来の恩恵を行きわたらせたいと願って書かれたのが本書である。

「データサイエンティスト」世界的に注目されているが、実際にこの職種に就こう、育てよう、また組織としてこの職種を活用していこうと考えた時に、どのよう進めていけばよいのか、新しいがゆえに指標が少ない。本書は著者らの統計数理研究所・IBMコンサルタント部門で培った知見を元に、この仕事を目指す人、育成する人に必要な情報、組織としての活用を分かりやすい事例と整理された内容で理解しやすいよう解説する。

AIプログラミング指南書！「ロボットは東大に入れるか」，「気まぐれ人工知能プロジェクト作家ですのよ」の両プロジェクトに参画している著者の，AIプログラミング指南書である。Rubyの入門が終わった読者に，数独を題材に，きわめて具体的にAIプログラムの手法を伝授する。AIシステムに興味のある読者，AIプログラムを作ってみたい読者は必読必携！