メタマジック・ゲーム - 第13章「メタフォント、メタ数学、そしてメタ思考」