本書は量子プログラミング分野について詳細かつ体系的な解説を与えることを意図している。特定の言語や技術に焦点を当てるよりも,基本的な概念,手法,数学的ツールに重点を置く。量子力学と量子計算の基本的知識から始めて,さまざまな量子プログラムの構成要素や一連の量子プログラミングモデルを詳しく紹介し,さらに量子プログラムの意味論や論理,検証解析技術を体系的に論じる。プログラミング言語に通じた人が理解しやすいよう,詳細を具体的に提示して可能な限り自己完結するように努めた。 [原著:Foundations of Quantum Programming, Elsevier, 2016]