(IEICE Transactions on Communication,E89-B(12):3280-3287)Optimal Encoding of Binary Cyclic Codes