手続き型でのテクって何だ?