宮崎駿監督がその意味を知ってそのまま名付けたのかは定かではありませんが、「千と千尋の神隠し」も風俗産業を描いた作品と言われているので、恐らくですが･･･確信犯でしょうね。笑
→ 国民的アニメ「千と千尋の神隠し」は風俗の話だった？

ちなみにヒロインのシータの本名は「リュシータ・トエル・ウル・ラピュタ」で作中のラピュタ語では「真のラピュタの王」となってますが･･･スペイン語圏では「ラピュタ＝売春婦」ですから「真の売春婦の王」となります。恐るべし宮崎駿ですね。笑

http://web.archive.org/web/20191228041834/https://bunshun.jp/articles/-/13815