ドコモはアラジン、
ソフトバンクはジニー、
KDDIはパスカル・・・だそうな。
http://blog.livedoor.jp/kebsan/archives/47065509.html
http://bunjirou-sp.seesaa.net/article/358353072.html?amp=1
Wikipediaによると、ドコモのALADINは、All Around DOCOMO Information systemsの頭文字を取っており、アラジン本来のAladdinとは異なる。 名称のスペルにライバル他社の名称であるDDIが入ることを避けるためとのこと。