※ 引述《hoyunxian (WildDagger)》之铭言：
(无关的部分吃掉)
: 顺带一提因为可以拿名人的名字取名，
: 说不定哪天真的会有型月厨天文学家发现一颗小行星，
: 然后就把这颗小行星命名为“奈须蘑菇”喔
: (Nasu已经有了，但编号为11323的这颗小行星
: 名字是源自于大分天文杂志的主编Eiichi Nasu(汉字不明))
: 毕竟都有庵野痞子跟周杰伦的前例了，
: 蘑菇的名字哪天被拿去当作小行星的名字也不是不可能吧。
快一年前我曾经想说会不会哪天真的有颗小行星叫做奈须蘑菇
结果还真的发生了。
虽然说今天我才在糟糕岛看到，不过这件事已经是4月初的事了
(当时不记得置底有没有讨论，而那个时候因为2.1刚开所以好像也都在聊2.1的剧情)
总之，这颗被赐名为奈须蘑菇的第54563号小行星(54563 Kinokonasu或2000QJ147)
位于主小行星带上，目前对它的资料还不怎么清楚需要进一步观测。
至于是谁为它取这个名字的呢？
依照惯例，发现小行星的人有优先资格可以为它取名字。
而发现这颗小行星的人是Roy A. Tucker老师。
https://twitter.com/gpobserver/status/980644319295029248
也许有人可能已经察觉到了，这位Roy大老师去年才在自己的推特上宣布
他把自己发现的六颗小行星分别以梶浦由纪、Kalafina和团员的名字命名
当时还引起了不小的骚动
(Roy老师不仅是著名天文学家，
(他和同事共同发现的Apophis小行星因为被认为有机会撞上地球而很出名)
还是Kalafina的粉，更是超喜欢空境的型月宅)
他其实还发现了很多小行星，
也许未来哪天冒出一颗武内崇小行星可能也不会太意外就是。

总之，蘑菇变成天上的星球了(天文上)

天上的蘑菇（天文上

蘑菇已成游星(等等

然后武内星撞进了奈绪星吗(x)

型月重工前进宇宙

蘑菇怎不上天呢 还真上了