>>559
うん。
それわかってて期待はずれならプロセス計算(代数)にも期待はずれなのかと。