kernel parlogに変換できないプログラムをエラーとすることでask部のみであることを保証する。