lazyだと無駄な関数呼び出しは発生するから sigma の中に命令ループを書くのが一番良いと思います