This page is a personal scratchpad .

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