CommonLisp Scheme Part13 - 暇つぶし2ch

CommonLisp Scheme Part13 at TECH

609:デフォルトの名無しさん
05/07/23 00:47:05
>>607 が >>589 の定義と同値かどうかは興味深い問題だね。
"1" が "×" の単位元でない場合とか "×" が可換でない
場合とかを考えるとちゃんとした証明が必要かも。