手続き型では副作用などとは言わない