This is a semi-public garden page — a draft, left open on purpose.
メタマジック・ゲーム - 第13章「メタフォント、メタ数学、そしてメタ思考」