理工学書｜森北出版株式会社

「理論」「実践」の両面から学べる

初歩から深層学習・強化学習などの発展的な話題まで、様々な機械学習の
アルゴリズムを解説します。分析データの種類でアルゴリズムを整理し、
必要な部分から学んでいける構成です。Python/Wekaによる実装例も多数掲載。
データの読込みから1ステップずつ実装することで、現場で役立つ知識が
身につきます。

京都工芸繊維大学　荒木雅弘(著)

フリーソフトではじめる機械学習入門(第2版)―Python/Wekaで実践する理論とアルゴリズム―

コンピュータと協働して数学する

定理証明支援系Coqとその拡張言語SSReflect/MathCompの初となる解説書です。
開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの
使い方までを案内します。本書をひととおり読みこなせば、幅広い分野の定理を
形式化する力が自然と身につきます。

千葉大学　萩原学(著) 　　産業技術総合研究所　アフェルト・レナルド(著)

Coq/SSReflect/MathCompによる定理証明―フリーソフトではじめる数学の形式化―

豊富な図表と、わかりやすい説明

前半では環境を水・大気・土壌に大きく分け、それぞれの場所で汚染物質が
引き起こす現象と、汚染を除去・予防する技術的な方策を説明します。
また、後半では地球全体にわたる問題として、温暖化・オゾン層破壊・
エネルギー・ゴミ・生態系を取り上げます。

東京工業高等専門学校　庄司良(著)　　 国立保健医療科学院　下ヶ橋雅樹(著)

基礎からわかる環境化学―物質工学入門シリーズ―

新刊案内バックナンバー
03月新刊のご案内 |02月新刊のご案内 |01月新刊のご案内 |12月新刊のご案内 |11月新刊のご案内 |
10月新刊のご案内 |09月新刊のご案内 |08月新刊のご案内 |07月新刊のご案内 |06月新刊のご案内 |