https://datadosen.com/ja/Semicomputable_function