CO-MA - 数学 1

本書は、データサイエンティストの方がPythonによる時系列予測をマスターすることを目的として書かれています。数式を必要最小限に抑え、ステップバイステップで丁寧に説明していきます。本書は4つの部と21の章で構成されています。 第1部は、時系列予測の入門編です。時系列データを定義し、この種のデータを操作すると……続きを見る

統計解析環境Rは時が経つにつれその存在感は増すばかりであり，今やデータ解析分野でのデファクトスタンダードとなっている。また，RをGUI環境で動かすことのできるR Commanderもその開発が続けられており，普及している。 本書では，R Commanderを用いて，実際のデータ解析を中心に記述し，データの入力・加工・データの……続きを見る

ベイジアンネットワークは近年 、生物学、経済学、社会科学、医療情報学など様々な分野に渡って応用されるようになってきている。 本書では、シンプルかつ重要な事例とともに、統計解析ソフトウェア Rを用いた分析をみていくことで、様々な現場における実践を目的としたベイジアンネットワークを読者に紹介する。また、……続きを見る

ミスを笑い、失敗から学ぶ。わずかな数学のミスで、まさかの事態に…。スタンダップ数学者が皮肉たっぷりに語る、おかしくも哀しい出来事の数々。英国「サンデー・タイムズ」紙、数学本・初のベスト・セラー作。続きを見る

本書は，人工知能を知る上で欠かせない，人間の知覚，情報の伝達，そして脳で行われている処理について，工学的かつ情報科学的な見地から，学部生を対象に英語と日本語で学ぶことができる教科書である。 　具体的には，新しいアプローチで脳機能の「全体像」を示し，脳が機能する原理，人間の認識原理について紹介する。……続きを見る

定評ある入門書“Max Plus at Work”の待望の邦訳． 最大化（max）と足し算（plus）を演算規則とする「max-plus代数」は「トロピカル代数」ともよばれ，数理工学やシステム工学といった工学分野，応用数学や代数幾何学といった数学分野，さらには情報科学や経営学など，さまざま分野で用いられています．本書は，max-plus……続きを見る

コンピュータと協働して数学する！ 定理証明支援系Coq/SSReflect/MathComp，待望の入門書． ◆定理証明支援系とは？ 数学の定理証明を支援するソフトウェアのこと．数学の高度化に伴い，従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか，Coqをはじめとする定理証明支援系が開発されてきました．こうした……続きを見る

[About the product] ーThe solution of equations embodies the essence of mathematical thinking- Regarding algebraic solutions of algebraic equations, it is known from Abel's and Galois' theories that algebraic solutions to general quadratic to quartic algebraic equations exist. To date, famous ma……続きを見る