すでに「現代の量子力学(上)」の2.5 ファインマンの経路積分までは大学のゼミで行ったので、休み期間中に復習をすることにした。 1.2節で状態ケットというものが「物理的状態の完全な情報を含んでいる」と書かれているところで、「完全な情報」とは一体何な…

応用情報技術者の本で「単一化(ユニフィケーション)と後戻り(バックトラック)といえば論理型プログラミング」みたいな記述を見たことがあるが、実際に論理型プログラミングをやったことがなかったので、何をしているかがいまいちピンと来ていなかった。「コ…