WX3 はエー・アイ・ソフト株式会社の商品名です。