Amazonで購入楽天ブックスで購入

量子プログラミングの基礎

原題: Foundations of Quantum Programming

インミンシェン(訳: 川辺治之)

共立出版 / 2017年 / 原著2016年

技術: 量子コンピュータ・計算理論・形式言語

理論・基礎

量子計算をプログラミング言語の理論として扱った本。量子プログラムの構文と意味論、量子的な制御構造、検証と解析の手法を形式的に定義する。物理側からではなく、言語と計算の理論の側から量子計算に入る珍しい構成。

この本が好きなら

情報科学における論理

情報科学における論理

小野寛晰 / 日本評論社 / 1994年

技術: 計算理論・形式言語・数学

理論・基礎

情報理論の基礎

小沢一雅 / オーム社 / 2019年

技術: 数学・計算理論・形式言語

理論・基礎

計算論

計算論

高橋正子 / 近代科学社 / 1991年

技術: 計算理論・形式言語

理論・基礎

プログラミング言語の基礎概念

五十嵐淳 / サイエンス社 / 2011年

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎

プログラミング言語の基礎理論

大堀淳 / 共立出版 / 2019年

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎

量子アニーリングの基礎

西森秀稔・大関真之 / 共立出版 / 2018年

技術: 量子コンピュータ・数理最適化

理論・基礎

この本からもっと探す →

邦訳版の書誌(共立出版、2017年、ISBN 9784320124059)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「Mingsheng Ying 著,川辺治之 訳」による。原著の初版年2016年はOpenLibrary/英語版Wikipediaの書誌による。