spanckbang numbers 関数 一覧 田中 卓郎 哲学