時間も空間も何もかも離散的な状況で考える。可算無限は認めたいが、面倒なら全部有限でいい、という前提。時間発展の生成子（time evolution generator）は、正方行列Aで与えられているとする。境界（入出力）とかあるけど、とりあえずはAだけに注目。 FA(k…