テポドンの弾道計算にはpc8001が使われています。