IEの開発者ツールで吐き出されるエラー文では何が悪さをしているのか分かりませんでした。
「javascript IE 動かない」とかでggってみると大体以下のような感じでした。
...いやいや!そんなのが原因だったらわざわざ見に来ないから!!
仕方がないので頑張って一つずつ原因の切り分けをすることにします。
問題のコード
フォーム内で選択されたラジオボタンの値を取ってこようとしているものです。
textに「艦隊これくしょん」と入力し、金剛を選択してボタンを押すとこのようになります。

innerHTMLで出力されているものを確認します。
textには想定通りに「艦隊これくしょん」が出力されていますがshipはundefinedとなってしまっています。
どうやらラジオボタンで選択されたものを取ってくる部分が悪さしているようです。
その部分を抜粋します。
var ship = document.getElementById("battleship").ship.value;