1. カテゴリーなし

チューリング機械と帰納的関数