はてなハイクの一単位としてよく使われる「57億」は、ユーザー数に由来する