配布されるALISコインの量について考察。