bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ 量子力学とHaskell １０．ブラをHaskellで記述する それでは、ブラをHaskellで実現することを考える。 １０．１ ブラをデータ型で定義する ケットと同じように、ブラも代数型データで表すことにしよう。ケットは7章で次のように定義した。 infixr 5 :+: data Ket a where KetZero :: Ket a (:+:) :: a -> Ket a -> Ket a すなわち、真空状態をKetZeroで表した。また、現在の状態に対して、区間\(i\)に1粒子が存在している状態を i :+: 現在の状態 で表現した。ブラもこれと同じように表すことにしよう。真空の状態をBraZeroで表すこ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2016%2F07%2F02%2F112811" title="身近な存在としての量子力学（１２）：ブラをHaskellで記述する - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-07-02 11:28:11 rich https://bitterharvest.hatenablog.com/entry/2016/07/02/112811 1.0 100%