>>976
手続き型から関数型への変換は機械的にできるんだが、
それをやってもバグが簡単に見つかるわけじゃない。