アーサーはアーサー・C・クラーク？
ヴェルヌはジュール・ヴェルヌ
ジョージはジョージ・オーウェル？
他の艦にもAIはあっただろうけど
それにしてもギガンティック号がクルーの中でまったく話題に上らなくなって久しい