試験公開中

書籍一覧(出版社別)

現在当店で販売している書籍の一覧です。

サンプル書籍

Bメソッドによる形式仕様記述:ソフトウェアシステムのモデル化とその検証(トップエスイー実践講座1)

本位田 真一, 中島 震(監修), 来間 啓伸(著)

近代科学社

3,600円 1,800円+税 《特価》

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

サンプル書籍

ソフトウェアパターン:パターン指向の実践ソフトウェア開発(トップエスイー実践講座2)

本位田 真一, 深澤 良彰(監修), 鷲崎 弘宜, 丸山 勝久, 山本 里枝子, 久保 淳人(著)

近代科学社

3,600円 1,800円+税 《特価》

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

サンプル書籍

ソフトウェア科学基礎:最先端のソフトウェア開発に求められる数理的基礎(トップエスイー基礎講座1)

本位田 真一, 田中 譲(監修), 磯部 祥尚, 粂野 文洋, 櫻庭 健年, 田口 研治(著)

近代科学社

3,800円 1,900円+税 《特価》

本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

サンプル書籍

VDM++による形式仕様記述:形式仕様入門・活用の第一歩(トップエスイー実践講座4)

本位田 真一, 荒木 啓二郎(監修), 石川 冬樹(著)

近代科学社

3,800円 1,900円+税 《特価》

ソフトウェア開発では、上流工程を自然言語で表現するため、論理的不一致などがおき、手戻りが発生する。この解決方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。

サンプル書籍

Linked Data:Webをグローバルなデータ空間にする仕組み

トム・ヒース, クリスチャン・バイツァー(著), 武田 英明(監訳)

近代科学社

3,200円 1,600円+税 《特価》

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

サンプル書籍

UPPAALによる性能モデル検証:リアルタイムシステムのモデル化とその検証(トップエスイー実践講座5)

本位田 真一, 大須賀 昭彦(監修), 長谷川 哲夫, 田原 康之, 磯部 祥尚(著)

近代科学社

3,800円 1,900円+税 《特価》

UPPAALツール,時間オートマトン,検証したい性質を記述するための時間時相論理に関する知識,および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など,具体的事例も交えてノウハウを解説する.

サンプル書籍

並行システムの検証と実装:形式手法CSPに基づく高信頼並行システム開発入門(トップエスイー実践講座6)

本位田 真一, 東野 輝夫(監修), 磯部 祥尚(著)

近代科学社

4,600円 2,300円+税 《特価》

並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論(プロセス代数)であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

サンプル書籍

オブジェクト指向Javaプログラミング入門 第2版

樋口 昌宏(監修), 多田 昌裕, 半田 久志, 加藤 暢, 波部 斉(著)

近代科学社

2,800円+税

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

サンプル書籍

IT研究者のひらめき本棚 ビブリオ・トーク:私のオススメ

情報処理学会 会誌編集委員会(編)

近代科学社

1,800円 1,150円+税 《特価》

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

サンプル書籍

アジャイル開発への道案内

日本プロジェクトマネジメント協会(編), 片岡雅憲, 小原由紀夫, 光藤昭男(著)

近代科学社

2,500円 1,250円+税 《特価》

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

サンプル書籍

SPINモデル検査:検証モデリング技法

中島 震

近代科学社

3,800円 1,900円+税 《特価》

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

サンプル書籍

プロジェクトの概念:プロジェクトマネジメントの知恵に学ぶ

神沼靖子(監修), 日本プロジェクトマネジメント協会(編集)

近代科学社

2,400円 1,200円+税 《特価》

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

サンプル書籍

IT技術者の長寿と健康のために

一般社団法人情報通信医学研究所(編), 長野 宏宣, 中川 晋一, 蒲池 孝一, 櫻田 武嗣, 坂口 正芳, 八尾 武憲, 衣笠 愛子, 穴山 朝子(編著)

近代科学社

2,400円 1,200円+税 《特価》

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

サンプル書籍

人工知能とは

人工知能学会(監修), 松尾豊(編著), 中島 秀之, 西田 豊明, 溝口 理一郎, 長尾 真, 堀 浩一, 浅田 稔, 松原 仁, 武田 英明, 池上 高志,…

近代科学社

2,400円 1,200円+税 《特価》

今話題の深層学習(ディープラーニング)で注目されている機械学習など、人工知能分野で最先端の研究を行う研究者13人が、人工知能学会誌に連載したものを大幅に加筆修正した。研究者として自ら「人工知能とは何か」の再定義を行い、それをふまえて、各研究について一般読者に伝わるようにシッカリと解説を行っている。

サンプル書籍

データ分析とデータサイエンス

柴田 里程

近代科学社

3,500円 1,750円+税 《特価》

2部構成をとる本書の第I部では、高校の「データ分析」の内容と連携し、データ分析の際に最低限心得ておくべき事柄をわかりやすくまとめている。第II部は、第I部の知識を基に、データサイエンスの入門と、さまざまな分野での事例を通したデータサイエンスの実践を詳説している。

サンプル書籍

Event-B:リファインメント・モデリングに基づく形式手法

中島 震, 來間 啓伸

近代科学社

3,800円 1,900円+税 《特価》

本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

サンプル書籍

データサイエンティスト・ハンドブック

丸山 宏, 山田 敦, 神谷 直樹

近代科学社

2,500円 1,250円+税 《特価》

目指す・育てる・活用する人 必携!!本書は、著者らの統計数理研究所・IBMコンサルタント部門で培った知見をもとに、この仕事を目指す人、育成する人に必要な情報、組織としていかに活用するかを、分かりやすい事例と整理された内容で理解しやすいよう解説する。

サンプル書籍

ロボット制御学ハンドブック

松野 文俊, 大須賀 公一, 松原 仁, 野田 五十樹, 稲見 昌彦(編)

近代科学社

27,000円+税

ロボットを思いどおりに動かすために必要な制御技術を知り、ロボットを使えるようにするために、ロボットの制御に特化した領域を「ロボット制御学」と名づけ、本書のの出版を企画した。本書は、なぜロボットに制御が必要なのか? から始まり、モデリング→設計→実装まで一連の流れを理解し、実践できるようになることを目的とする。

サンプル書籍

アルゴリズムイントロダクション 第3版 総合版:世界標準MIT教科書

T. コルメン, C. ライザーソン, R. リベスト, C. シュタイン(著), 浅野哲夫, 岩野和生, 梅尾博司, 山下雅史, 和田幸一(訳)

近代科学社

14,000円 7,000円+税 《特価》

世界標準MIT教科書!!原著は,計算機科学の基礎分野で世界的に著名な4人の専門家がMITでの教育用に著した計算機アルゴリズム論の包括的テキスト.前版までで既にアルゴリズムとデータ構造に関する世界標準教科書としての地位を確立しているが,より良い教科書を目指して再び全面的な記述の見直しがなされている.

サンプル書籍

世界標準MIT教科書 Python言語によるプログラミングイントロダクション第2版 データサイエンスとアプリケーション

John V. Guttag(著), 久保 幹雄(監訳), 麻生 敏正, 木村 泰紀, 小林 和博, 斉藤 佳鶴子, 関口 良行, 鄭 金花, 並木 誠, 兵藤…

近代科学社

4,600円 2,300円+税 《特価》

最新にして最強!! MIT人気講義の教科書、第2版!新たに5章が追加されている。「機械学習」を意識して,統計学の話題が豊富になっている。

サンプル書籍

数学の道具箱 Mathematica 基本編

宮岡悦良

近代科学社

3,800円 1,900円+税 《特価》

本書は、高校から大学初年級の数学で学んだことが、Mathematicaではどのように扱われるのかを、具体的に数式とコマンドを対比しながら解説してゆく。後半では実務に使われる数式や、3D手法などをどのように処理すべきか丁寧に解き明かす。Ver10に対応した新しいコマンドの利用方法なども説明。

サンプル書籍

実践ロボットプログラミング

藤吉弘亘, 藤井隆司, 鈴木裕利, 石井成郎

近代科学社

2,300円 1,150円+税 《特価》

ロボットを思い通りに操るにはどうすればよいのか?アルゴリズム(PAD)、C言語(NXC)、NXT-SWを併記しており、相互に参照しながら、効率よくロボットプログラミングが、マスターできます。

サンプル書籍

はじめてのMATLAB

北村達也

近代科学社

2,700円 1,350円+税 《特価》

本書は,はじめてMATLABにふれる読者を対象としている。題材で挫折しないよう,易しい事例で解説を行う。また,プログラミングの経験が無くても学べるよう,導入部分ではプログラムを感じさせないよう進んでいく。4章では,プログラミング経験のない読者にむけて,プログラミングの「いろは」を解説。

サンプル書籍

ストラング:計算理工学 世界標準MIT教科書 

Gilbert Strang(著), 一般社団法人日本応用数理学会(監訳), 今井 桂子, 岡本 久(監訳幹事), 山本 有作, 三井 斌友, 土屋 卓也, 芦…

近代科学社

9,000円 4,500円+税 《特価》

この本は工学と理学の学部学生を対象として,応用数学や計算数学の立場から,研究から開発まで一生涯携わっていく仕事の基礎となる事項について非常に興味深くかつ体系的に導入を行っている教科書あるいは参考書である.(監訳者序文より)

サンプル書籍

グラフ・ネットワークアルゴリズムの基礎 ―数理とCプログラム

浅野 孝夫

近代科学社

2,700円 1,350円+税 《特価》

グラフ・ネットワークアルゴリズムの背後に横たわる数理を例題と図を多用して,直観的なイメージを抱いて思考を巡らせながら理解できる.ほとんどのアルゴリズムにC言語によるプログラムを与え,結果を確認できるようにしている.また、各章での内容を復習できるように,章末の演習問題と多くの解答例を付している.

サンプル書籍

アンサンブル法による機械学習: 基礎とアルゴリズム

Zhou Zhi-Hua(著), 宮岡 悦良, 下川朝有(訳)

近代科学社

4,200円 2,100円+税 《特価》

アンサンブル学習法は,深層学習に続く次のトレンドとして注目されている最先端の機械学習法である。単一の学習法に比べてはるかに精度の高いことが知られており,実際に多くの場面で成功を収めている。本書は,機械学習の分野で世界をリードしているZhi-Hua Zhou著の邦訳である。

サンプル書籍

あたらしい数理最適化: Python言語とGurobiで解く

久保幹雄, ジョア・ペドロ・ペドロソ, 村松正和, アブドル・レイス

近代科学社

3,200円 1,600円+税 《特価》

これまでは特殊なプログラミング言語やアルゴリズム等に精通している事が必要であった最適化問題の解決が、高性能な数理最適化ソルバーGurobiと超高水準プログラミング言語Pythonを用いることで容易に可能となりつつある。本書は、具体例を用いて最適化の基礎を解説し、問題解決の手本を多数示す。

サンプル書籍

Python言語によるビジネスアナリティクス:実務家のための最適化・統計解析・機械学習

久保 幹雄, 小林 和博, 斉藤 努, 並木 誠, 橋本 英樹

近代科学社

6,400円 3,200円+税 《特価》

本書は今話題の機械学習、ビッグデータ、科学技術計算、最適化等、ビジネス・研究に必須な手法を、Pythonを使って具体的に使いこなせることを目的とする。そのために、どのようにPythonやそのモジュール・ライブラリを使いこなせばよいかを、また、解析手法の数学的根拠もあわせて解説する。

サンプル書籍

JAVAとUMLで学ぶオブジェクト指向プログラミング

半田 久志

近代科学社

2,500円 1,250円+税 《特価》

本書は,オブジェクト指向という考え方に基づいた設計・言語を具体的に解説し,自然とオブジェクト指向に基づいた発想ができるよう工夫してある。丁寧な用語解説、継承や委譲といったオブジェクト指向の諸概念を用いたプログラムの動作について解説する。

サンプル書籍

C言語で学ぶ コンピュータ科学とプログラミング

小高 知宏

近代科学社

2,400円 1,200円+税 《特価》

コンピュータの本質である「手続き的処理」の理解を目標とし,具体的なC言語の例題を通してプログラミングの基礎を学ぶための演習書.工学系分野の学生及び初学者を対象とし,工学のさまざまな分野で素養として要求されるコンピュータ科学とプログラミングの基礎知識をC言語の演習を通して無理なく習得できるよう工夫.

サンプル書籍

世界標準MIT教科書 Python言語によるプログラミング イントロダクション

John V. Guttag(著), 麻生敏正, 木村泰紀, 久保幹雄, 小林和博, 関口良行, 並木誠, 藤原洋志(訳)

近代科学社

3,800円+税

MIT(マサチューセッツ工科大学)で常にトップクラスの人気を誇る講義内容をまとめた、計算科学の教科書をついに翻訳。今、注目のPython言語を通してプログラミングの手法一般を学ぶという、これまでの教科書にはない内容となっている。また、読者が身近な興味深い問題をどのようにプログラミングして解決してゆくのか、自分で考えさせるという構成となっている。

サンプル書籍

Rubyで数独 AIプログラミング入門

佐藤 理史

近代科学社

2,400円 1,200円+税 《特価》

Rubyの入門が終わった読者に,数独を題材に,きわめて具体的にAIプログラムの手法を伝授する。AIシステムに興味のある読者,AIプログラムを作ってみたい読者は必読必携!

サンプル書籍

超実践 アンサンブル機械学習

武藤 佳恭

近代科学社

2,700円 1,350円+税 《特価》

ポスト深層学習の最右翼として注目される「アンサンブル機械学習」を、具体的にプログラムを動かしながら概観できる“超実践”の書である。「アンサンブル機械学習」とは,簡単に言えば,従来のいくつかの機械学習法の“いいとこ取り”である.その主な手法であるランダムフォーレスト,ブースティング,バギングなどについて,統計手法との絡みを含めて詳説する.

サンプル書籍

深層学習 Deep Learning

人工知能学会(監修), 麻生英樹, 安田宗樹, 前田新一, 岡野原大輔, 岡谷貴之, 久保陽太郎, ボレガラダヌシカ(著), 神嶌敏弘(編)

近代科学社

3,500円 1,750円+税 《特価》

本書は、著者らが人工知能学会誌に掲載した連載解説を、大幅に加筆再編したものである。今までの到達点、今後の課題が、具体的な研究成果と共に書かれている。深層学習の理論・応用を、自らの研究に取り込むことを考えている読者には、まさに必携必読の書籍である。