場合に対して特別な名前を付けるという感じでしょうか。この流れは普通の数学のやり方と半分似ていて半分違っているような気がします。順序集合だから......」と言って順序集合に対する一般的な定理を直接引用して使います。別の言い方をすると,使うときに初めてパラメータを具体化します。(正確には,一般の場合の定理を具体化したものを,同じ名前で違う名前空間に生成する,などと言うべきかもしれません)。固有の定理がいくつか並んでいるだけなので省略。触っててしばらくはまった話。プログラミングコンテスト月別アーカイブはてなブログをはじめよう!lkozimaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。