sfja/sfja — Issue #14: Poly_J.html での誤変換等
Author: buynnnmmm1
Created: 2012-02-10 09:03:45+00:00
State: open

この訳のお陰で大変楽して勉強できてます。ありがとうございます。

http://proofcafe.org/sf/Poly_J.html

の[マップ（Map）関数]のちょっと上に「理宇土」とあります多分「リスト」の誤変換だと思います。

rememberタクティック
のちょっと前に「なるべくintrosを使うタイミングを送らせ」の「送らせ」は「遅らせ」だと思います。

よろしくお願い致します。