論文とペンシルの活動と動的幾何学との間の相互作用一般化と証明の間の環境利用【JST・京大機械翻訳】