ある意味計算可能レベルのほうが自由で強力だったりするのね