CommonLisp Scheme Part13at TECH
CommonLisp Scheme Part13
- 暇つぶし2ch609:デフォルトの名無しさん
05/07/23 00:47:05
>>607 が >>589 の定義と同値かどうかは興味深い問題だね。
"1" が "×" の単位元でない場合とか "×" が可換でない
場合とかを考えるとちゃんとした証明が必要かも。
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch