Ranking function
https://xenophobia.hatenablog.com/entry/2015/08/30/001701
停止性問題