開発中のプラズマロケットが完成すると
プロマキスbには2000年で行けるとホーキングの計算