ダウンロード

定義2.7(チューリング機械計算可能性) チャーチの提唱