みんな、もう一度言っておくけど、$ARIA はもうすぐ0.15に達するよ