多分これを元に細かいつじつま合わせをすればなんとかなると思うんですけど、そのガッツがないと言うかその前にやることがたくさんというか。それと、recursion theoryの一般的な結果が適用できてあっさり解ける可能性もあるのではというのもあります。大学…