2009-11-01から1日間の記事一覧

Levin-Wen Hamiltonian

http://d.hatena.ne.jp/m-a-o/20090607#p2 らへんの続き。具体的なハミルトニアンを見ないとピンとこないので、適当に調べてみた。 Fault-tolerant quantum computation by anyons http://arxiv.org/abs/arXiv:quant-ph/9707021 任意の有限群のQuantum Doubl…

Categorical Programming(2)

http://d.hatena.ne.jp/m-a-o/20091020#p3 の続き。 ここらへんの話 http://www.tom.sfc.keio.ac.jp/~hagino/thesis.pdf よく考えたら直和を持つcartesian closed categoryは、distributiveになる。証明は、なので、あとは米田の補題。てことで、CPLもCHARIT…

大富豪@python

なんか最近書いているPythonコードが異常にメモリを食ってた。調べてみると適当に二次元配列作ってる部分がやばいらしいいくつかの方法で二次元配列を作ってメモリ使用量を比較。 import sys from resource import * from numpy import * import gc gc.disab…