ctypesに関してはうまい解法を知らない
futureにラップすればいいような気はする