IEEE P1363.1D12 (NTRU)

D10で見つけたバグが直ってないや.