Takafumi Tsukui's homepage has moved to https://takafumi291.github.io/.