直感的・本質的に理解!! 半導体デバイスは,厳密に学ぼうとすると量子力学から解き明かさなければならず大変ハードルが高くなる.本書は,著者のメーカーと大学での講師経験から,直観的かつ本質的に理解できるよう,式よりも図を用いて丁寧に解説した. 各章末には,演習課題と,詳細な解答を用意して確実に理解できるようしてある.付録ではより確実な理解を得るために,重要な事項について解説を行っている.初学者には最適の書である.　　紀伊國屋書店ウェブストア

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

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

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

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

誰もが頭を悩ます仮説構築を学び，データマイニングを習得する！ データマイニングで重要な仮説の設定について，その枠組みを解説した書物は世の中にあまりない。そこで本書では誰もが一番悩むデータマイニングのための仮説構築の手法を重点的にまとめた。さらに，データマイニングに必要な，統計スキル・ITスキル・企画スキル・コミュニケーションスキルという4つのスキルを養成するために，2種類のPBLに基づく課題を設定することで，より実践的な学習を目指した。 （212文字）　　紀伊國屋書店ウェブストア

ひとつひとつのアルゴリズムについて、まず図形的にイメージし、次に具体的な手順を示し、さらに問・演習問題（Ｃ言語の解答）により、１．アルゴリズムの特性、限界を知る能力を身に付ける。２．基本的なアルゴリズムを習得する。 【特色】 ・各章と章末に、計60題の問・演習問題。・すべての問・演習問題に対してＣでの解答を掲載。　　紀伊國屋書店ウェブストア

本書は、情報科学や工学における基礎となる離散数学の入門的内容をできるだけ体系的に説明し、かつ多数の演習問題を配置することで、初学者の理解を助けることを目的としている。 本文中の記述はできるだけ簡潔に、かつわかりやすくすることに気を配った。そして、章末にはできるだけ多数の演習問題を用意した。第1章では、論証の形式に少しスペースを割いた。これは、学生たちは証明が苦手で、何を証明すべきなのか、そして、どのように論証を組立ててよいかわからない学生も多数いるからである。　　紀伊國屋書店ウェブストア

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

本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。　　紀伊國屋書店ウェブストア

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。　　紀伊國屋書店ウェブストア

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

プログラムの本質は、手順の積み重ねである！本書は簡便な仮想CPUを題材として、機械語プログラムの本質が手順の積み重ねであることを分かりやすく説明する。次にC++で基本的な手続き処理を学ぶ事によってプログラムの本質が理解できるよう工夫されている。コンピュータとプログラミングの本質を理解することができるので、プログラミング教育の導入用教科書として最適の書である。　　紀伊國屋書店ウェブストア

著者らの実践した授業内容を基に、各章末に演習問題を配し、また側注でアシストを行ない、初学者が迷わず学べるよう工夫してある。最終章では、アドバンスなプログラミング手法も解説する。オブジェクト指向ブログラミングをしっかり学ぶ読者には必携の書である。　　紀伊國屋書店ウェブストア

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

日々の現象は応用解析の宝庫！応用数学には多様な課題があり、つきない問題が人々を魅了している。その中でも、非線形力学の諸問題は数学・物理学・工学の融合する場であり、数学、特に解析学の応用には格好の材料である。本書は、主として日常現象に見られる非線形力学現象を数学の立場から解説し、その面白さを理解することを目的とする。応用数学では計算機実験が不可欠となっており、本書では具体的な計算例を多数用意した。　　紀伊國屋書店ウェブストア

実験計画の基礎からコンピュータ実験まで！ 技術開発・製品開発に必須な実験計画法について、統計解析の予備知識から解説を行い、実務に使えるよう、具体例を通して分散分析法から応答曲面法、ロバスト設計およびコンピュータ実験計画を学ぶ事ができる。 また、SASの統計ソフトウェアJMPを使って、どのようにコンピュータ実験を行うと効果的かを解説している。実務で実験計画を行う技術者に、最適の書である。　　紀伊國屋書店ウェブストア

数理 物理・情報を手短に体得できる！現代科学では、数理的に厳密に記述することを強く求められている。しかし、現代物理学や情報の理論は明らかに抽象的で、その数学的厳密性を理解することは一朝一夕では叶わない。だが、そのスキルは同分野を学ぶものにとっては必須である。 本書ではその物理と情報の理論の最先端を学ぶために今や欠かすことのできない数理を、いかに手短に身につけるかにスポットを当て、基礎的な事柄から理解出来るよう工夫している。物理学、情報の数理科学を学ぶものにとっては格好の入門書！　　紀伊國屋書店ウェブストア

シンギュラリティは近年、科学技術一般用語として「技術的特異点」としても用いられている。本書は、これを「現在の技術による限界点」ととらえ、奈良先端科学技術大学院大学の情報科学分野の50名超の研究者が総力をあげて様々な研究分野における「限界点」を示し、その点に近づき突破するための研究チャレンジをまとめた。　　紀伊國屋書店ウェブストア

観察データはバイアスや交絡因子の影響から逃れることができない。これらの影響を最小にする工夫として、従来の疫学的方法論に加え、新しく発展したプロペンシティ・スコア法やカテゴリカルデータ解析法を解説する。医学研究の大きな柱である観察研究―疫学的手法―に携わる読者にとって、必須必携の書である。　　紀伊國屋書店ウェブストア

「人間中心設計(HCD)」初めての入門書！人間中心設計とは、ユーザビリティ、ユーザエクスペリエンス(UX)、デザイン思考の共通の基盤となる考え方。インダストリアル、インタラクション、エクスペリエンス等の各デザイン分野が注目するデザイン思考である。本書は節が見開きで構成されており、図表をたくさん配置して直感的に理解できる。また、具体的事例を数多く取り上げそこからも学べるよう工夫。大変分かりやすく、はじめてこの分野に接する読者必携！　　紀伊國屋書店ウェブストア

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

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

基礎の基礎からプロジェクト管理まで、シッカリ学べる! 本書はソフトウェア工学の全体像をつかむための地図である。著者たちが企業や研究所で経験した「よい設計なくして、よいソフトウェアは望めない」という経験値を先人たちの知見と併せて一冊の書籍としてまとめた。 大学でソフトウェア工学を学ぶ学生には教科書として、企業で設計に携わる技術者にとっては参考書として活用できるように設計している。 分からない点や疑問な点を素早く探せるように、索引と傍注をリンクさせてレファレンス性を高めている。さらに傍注にはソフトウェア設計のヒントとなる事項を取り上げピンポイントで解説している。 今や社会基盤となった情報システムの中核であるソフトウェア工学を、しっかり学ぼうとする初学者やより確かな知識を得ようとしている読者には、まさに座右の書である。　　紀伊國屋書店ウェブストア

最先端！ネットワークの理論がここにある！ 人間関係、経済、インターネット、交通網、生態系、システム生物学…すべての事象における「つながりを科学する」複雑ネットワーク。本書には最新の理論、定着した手法をもとにした基礎と応用、実データの解説、プログラムによるアルゴリズム集、解説付きの膨大な参考資料集が含まれている。まさに最新の複雑ネットワーク・バイブルだ！ また、本書の内容を補足するため補遺（PDF版)を近代科学社のサポートページに用意いたしました。ご活用ください。 特徴 ・実社会のデータを基に応用面を解説 ・プログラムが組めるよう、アルゴリズムを掲載 ・理解に不要不急のところを読み飛ばせるようマークを付加 ・豊富な参考文献紹介　　紀伊國屋書店ウェブストア

本書はTCP/IPネットワークの種類やそれぞれの仕組み、通信手順、プロトコルを分かり易く学べる。さらにセキュリティの必要性とネットワークリテラシーについても重点をおいており、ネットワーク社会の今日には欠かせない内容を、すべての学生がきわめて平易に分かり易く学べるよう工夫してある。　　紀伊國屋書店ウェブストア

好評を博した多変量解析入門書、待望の改訂！難しい多変量解析を身近な事例でわかりやすく解説。2008年のプロ野球データの分析は一見の価値あり！ ■情報量の増加により益々必要とされる多変量解析 情報化技術の進歩によって、あらゆることが細分化され複雑になり、個人も組織も、扱う情報量は増加の一途をたどっています。 情報量の増加とともに、その情報をもとにした分析と判断を求められる場面が増え、それらの正確さ、および、スピードの要求レベルも高まる一方です。 現代は、的確な情報分析による判断の結果としての意思決定が、個人の人生や企業の戦略的目標達成の明暗を分ける時代になったと言っても過言ではありません。 多変量解析は、そうした重要かつスピードが必要な意思決定に不可欠な情報分析の手法として広く活用されています。 本書はその多変量解析を、野球や芸能界など身近で親しみやすい事例とデータを用いて、わかりやすく解説した、好評入門書の改訂版です。　　紀伊國屋書店ウェブストア

ありそうで無かった解説書！机上の理論ではなく、開発の現場で活かせる実践的知識と理論の体系化！ ソフトウェア開発の裏表を知り尽くした現役エンジニアが語る基本とエッセンス！ ソフトウェア工学は、ソフトウェア開発に内在する課題や問題を解決する土台となる基礎知識。しかし、様々な要素が複雑に絡まる開発現場では、抽象化された理論では対応しきれない面があることも否定できない。本書は著者が長く開発の第一線で活躍してきた中で、理論と経験を現場で活かせる知識として体系化した、実践に使えるソフトウェア工学の解説書。エンジニアの目からウロコの１冊です。　　紀伊國屋書店ウェブストア

品質向上に貢献する、要求獲得技法を詳解！ ソフトウェアが社会に浸透すると供に、ソフトウェア開発の上流工程ではビジネスや運用環境の変化に即した要求の獲得・仕様化・確認・管理が求められている。要求工学では曖昧で変化しやすい要求を工学的に扱うことで、品質の高い要求仕様書を効率的に作成する各種の手法が開発されている。本書は、要求工学の基礎知識の理解と習得に役立つ1冊である。　　紀伊國屋書店ウェブストア

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

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

数学を使うすべての方の必携辞書！ 数学，数理科学，数学史，数学教育，応用数学，統計学，保険数学，経済数学など，多岐にわたる数学分野の英語用語を約6,000語収録した辞典。各見出し語に対して用例を多数挙げることに注力した。言葉を探すだけでなく，言葉のネットワークを張ることにより，発想を生むためのツールとして活用できる。また，読み方ガイドとしても便利な約1,100の人名を収録している，役立つ一冊。　　紀伊國屋書店ウェブストア

本書は、新潟大学医学部と久留米大学大学院バイオ統計学修士課程での講義録をまとめたもので、生存時間解析の基本事項はすべて網羅してある。また、生存時間解析の実践的な技術の習得に役立つように、定義や公式に具体的な例を付加し、生存時間解析の理論を研究する研究者のために、理論の展開を若干の数式を用いて記述してある。　　紀伊國屋書店ウェブストア

本書は、医学や医療に志す学生のテキストとして使用できるように、高等学校「数学1」・「数学2」程度の数学的バックグラウンドの読者に理解できるよう配慮してある。また、久留米大学、九州大学、東京理科大学医薬統計コースで行った講義ノートをベースにしており、具体的な医療事例を使って、統計を理解できるようになっている。内容はゲノム創薬のためのバイオ統計|遺伝子情報解析の基礎と臨床応用ゲノムサイエンスの基礎、および遺伝子情報の臨床利用に関わるバイオ統計学として遺伝子マーカー解析を解説する。　　紀伊國屋書店ウェブストア

【NetCommonsとは…】 ・ワープロとデジカメが使える人なら誰でも本格的なウェブサイトの構築と更新を可能にするソフトウェア。 ・国立情報学研究所で開発されたCMS（コンテンツマネジメントシステム）。オープンソースで提供され、無償での利用が可能。 ～ネットコモンズ公式マニュアル～ 大変好評を得ているNetCommons書籍 第2弾!! 洗練されたサイト制作のためのデザイン・カスタマイズ手法を解説 ！ 本書は、読者がすぐに実践でき、また基礎を習得できるよう次のような工夫がしてある。 ・基本・実践・応用の3部構成で展開 ←どこからでもスタートできる ・多くの実例を掲載 ←すぐにデザインをカスタマイズできる ・知りたいテクニックを直に引ける目的別リファレンス ←すぐに必要な知識にたどりつける　　紀伊國屋書店ウェブストア

最先端研究者必携シリーズ！！ ナチュラルコンピューティング・シリーズとは、自然界の様々な現象を研究し「情報処理」の全く新しい地平を切り開く未踏領域の知識を集めた本邦初のシリーズである。 第１巻『光計算』は光物理現象を演算系とする情報処理を考え、光を用いる計算ならではの独自計算方式やアイデアを取り上げ、その基本概念や手法を説明。応用例も紹介する。　　紀伊國屋書店ウェブストア

大きな支持を得て世界中の大学で教科書として活用されているMITの名物博士ストラング先生の線形代数入門書の邦訳である。初歩からはじめ、多くの演習問題を解きながら線形代数の本質の理解へと進めていく。後半では、線形代数の工学的側面にかかわる課題を、具体的な応用事例とその演習問題を解くことにより深く学べる。　　紀伊國屋書店ウェブストア

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

明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない！ ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。　　紀伊國屋書店ウェブストア

【NetCommonsとは…】 ・国立情報学研究所で開発されたCMS（コンテンツマネジメントシステム）。オープンソースで提供され、無償での利用が可能。 ・2000を超える学校や公的機関、企業などで利用され、3000以上の導入実績があるユーザフレンドリーなCMS。 学校や商工会など「地域の核となる団体」を中心に急速に普及しているNetCommons。その考え方と使い方を解説するユーザ必携の入門書です。 第1部ではNetCommonsグッドプラクティス20事例を紹介します。どのようなシーンで、どのモジュールを、どのような権限設定で使うと効果的か。マニュアルだけではなかなかわからないNetCommons活用の舞台裏を、事例に即してレポートします。 第2部では、NetCommonsを使いこなす鍵となる考え方について開発者自ら解説します。参加型ウェブサイトに踏み出す上で、避けて通れないのが「個人情報」と「著作権」の問題です。NetCommnsがこの2つの問題をどのようにとらえ、そしてどのように設計に反映してきたかを、考え方から具体的な機能まで、わかりやすく説明します。　　紀伊國屋書店ウェブストア

本書は高専および学部生を想定し、授業や自学自習で活用できる書籍として、情報理論の基礎やエッセンスを分かり易くまとめた。最も基本となる確率論の知識は第1章で必要十分なもののみ記述。このため初学者にも抵抗なく読み進められる。各章に「STEP」を創り、クイズ、ポイント、実力チェックなど順序よく学べるように工夫してある。　　紀伊國屋書店ウェブストア

マルチンゲール理論は計量経済や臨床統計において実用化されているさまざまな手法の基礎を与える数学的理論である。本書はそのような現場に立たれている方々に、同理論にもとづく統計解析を厳密さを損なうことなく平易に解説した初の和書である。この分野の研究者を目指す学部上級～大学院生やまだ同理論に精通していない研究者の方々が本格的研究を始めるにあたっての基礎作りをするための好個な１冊である。　　紀伊國屋書店ウェブストア

手に取れる数学、それが折り紙！ 「折り紙」を数学的に解き明かそうという、全く新しい分野の入門書である。予備知識は高校数学までで十分である。 1次元―ロボットアーム―から始め、2次元―折り紙―、3次元―多面体―まで進む。 想定読者を数学初学者としているため、数学用語の丁寧な説明や演習問題が随所にある。著者の、折り紙の楽しさや数学の楽しさを読者に味わってもらおうという気持ちが、大変分かりやすい邦訳で理解でき、スラスラ読み進めることができる。まさに、実体のある数学―折り紙―をフルカラーで楽しく学ぶことのできる良書である。　　紀伊國屋書店ウェブストア

最先端研究者必携シリーズ！！ ナチュラルコンピューティング・シリーズとは、自然界の様々な現象を研究し「情報処理」の全く新しい地平を切り開く未踏領域の知識を集めた本邦初のシリーズである。 可逆計算には、どの時点の状態をとっても直前の時刻の状態を唯一に決められるという性質がある。 ファインマンがその方向性を論じて以来、本格的な研究が始まった。量子コンピュータとも大変親和性があり、計算システムの全く新しい概念を提供する。 読者は、学生・研究者。　　紀伊國屋書店ウェブストア

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

論理的なバグを発生させない形式手法!! Event-Bはパリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄などの無人運転を成功に導いたJ.R.アブリエル氏が考案した新しい形式仕様言語である。本書では入門書として実際に利用するための仕様構築統合環境のRODINプラットホームを使って解説する。具体的な事例として図書館、自動車のドアロック・システムを紹介している。　　紀伊國屋書店ウェブストア

本書は大変好評を得ている『ＩＳＭシリーズ』の第2巻である。著者が実際の現場で集めたフィールドデータを材料にして、現場視点と統計モデリング視点とで複眼的に考察し、素直にデータを見ることによってフィールドワークだけでは得られない発見を出来ることを詳説している。数理を得意としないフィールドワーカーと、フィールド経験が少なくフィールドデータに馴染みの薄い数理系の読者を対象としている。　　紀伊國屋書店ウェブストア

【NetCommons（ネットコモンズ）とは...】 ■国立情報学研究所で開発されたCMS（コンテンツマネジメントシステム）。オープンソースで提供され、無償での利用が可能。 ■2,000を超える学校や公的機関、企業などで利用され、3,000以上の導入実績があるユーザフレンドリーなCMSです。 ～新たに、スマートフォン、Twitter、Facebook に対応！～ 大変好評を得ているネットコモンズ入門書の第2版である。最新バージョンで新たに標準対応とした、スマートフォンからのアクセスと、Twitter、Facebookとの連携機能について、初心者でもすぐに理解できるよう、わかりやすく解説する。 初心者はもちろん、すでに利用しているユーザでも新しい機能を理解するには、最適の書である。　　紀伊國屋書店ウェブストア

最先端研究者必携シリーズ！！ ナチュラルコンピューティング・シリーズとは、自然界の様々な現象を研究し「情報処理」の全く新しい地平を切り開く未踏領域の知識を集めた本邦初のシリーズである。 思考や記憶など，脳の活動を担うニューロンの状態変化を情報処理システムと捉える新しい計算方式「カオスニューラルネットワーク・モデル」を解説。この計算方式では「アルゴリズムによる計算」ではなく，ダイナミクス―多数素子による超並列処理―により計算を行う。従来のコンピュータが“苦手”としている最適化問題などを解かせることで，その有用性や可能性を論じる。先進的な計算機科学に興味を持つ学生，研究者が対象。　　紀伊國屋書店ウェブストア

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