高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて，関数型プログラミング言語の動作やその型システムの原理，さらに，多相型，型推論，継続計算，レコード計･･･

　本書は，正規性の検定について述べたものである。正規性の検定とは，与えられたデータに立脚し，母集団分布として正規分布を仮定することの妥当性を立証する方法，あるいはそのように考えてもその後の理論展開に影･･･

本書ではまず，固体物理学を学ぶために必要な，数学，電磁気学，統計物理学，量子力学について説明する。これらの内容は，工学系の大学院であれば，受験準備の一助にもなると思われる。特に数学については，現在の大･･･

本書は，『固体物性の基礎』（共立出版, 2019）に続く物性の教科書兼自習書である。『固体物性の基礎』では，まず固体物理学を学ぶために必要な，数学，電磁気学，統計物理学，量子力学について復習し，固体物･･･

　神経美学（neuroaesthetics）とは認知神経科学の一分野であり，脳の働きと美学的経験（美醜，感動，崇高など）との関係や，脳の機能と芸術的活動（作品の知覚・認知，芸術的創造性，美術批評など）･･･

　大学で化学系を専攻した人で卒業後に化粧品関連技術に携わる人は多くいますが，大学在学中に化粧品についての化学を学ぶ機会はほとんどないのではないでしょうか。また化粧品の化学について，ある程度専門的な知識･･･

20世紀初頭，フォン・ノイマンにより，作用素解析の観点から量子力学の数学的構造を記述した画期的な書籍が出版された。 ノイマンはその後，無限自由度系（場の量子論など）の考察のために作用素の代数構造の解･･･