初歩から深層学習・強化学習などの発展的な話題まで、様々な機械学習の
アルゴリズムを解説します。分析データの種類でアルゴリズムを整理し、
必要な部分から学んでいける構成です。Python/Wekaによる実装例も多数掲載。
データの読込みから1ステップずつ実装することで、現場で役立つ知識が
身につきます。
京都工芸繊維大学 荒木雅弘(著)
フリーソフトではじめる機械学習入門(第2版)―Python/Wekaで実践する理論とアルゴリズム―
定理証明支援系Coqとその拡張言語SSReflect/MathCompの初となる解説書です。
開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの
使い方までを案内します。本書をひととおり読みこなせば、幅広い分野の定理を
形式化する力が自然と身につきます。
千葉大学 萩原学(著) 産業技術総合研究所 アフェルト・レナルド(著)
Coq/SSReflect/MathCompによる定理証明―フリーソフトではじめる数学の形式化―
前半では環境を水・大気・土壌に大きく分け、それぞれの場所で汚染物質が
引き起こす現象と、汚染を除去・予防する技術的な方策を説明します。
また、後半では地球全体にわたる問題として、温暖化・オゾン層破壊・
エネルギー・ゴミ・生態系を取り上げます。
東京工業高等専門学校 庄司良(著) 国立保健医療科学院 下ヶ橋雅樹(著)
新刊案内バックナンバー
03月新刊のご案内 |02月新刊のご案内 |01月新刊のご案内 |12月新刊のご案内 |11月新刊のご案内 |
10月新刊のご案内 |09月新刊のご案内 |08月新刊のご案内 |07月新刊のご案内 |06月新刊のご案内 |