プログラムというメタ的な概念がこの問題にとっては不要なんだよね