tag:blogger.com,1999:blog-3636872937372639901.post1093788351808904208..comments2024-03-29T16:37:25.385+09:00Comments on 本の虫: オーダーについて解説しる!江添亮http://www.blogger.com/profile/13387122818743087721noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-3636872937372639901.post-11423973702317275502010-02-03T22:06:04.620+09:002010-02-03T22:06:04.620+09:00もう一度、Coyoliteさんの記事を読み直しましたが、Coyolite さんの考察で合ってる気がし...もう一度、Coyoliteさんの記事を読み直しましたが、Coyolite さんの考察で合ってる気がしてきました。tigerhttps://www.blogger.com/profile/02799507690565143487noreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-44748809471451116412010-02-03T20:11:45.852+09:002010-02-03T20:11:45.852+09:00strict weak ordring が半順序という事が言いたかったのではなく、順序集合の関係の話...strict weak ordring が半順序という事が言いたかったのではなく、順序集合の関係の話なんじゃないの?と言いたかったんです。<br />http://en.wikipedia.org/wiki/Strict_weak_ordering<br />の解説によると、全順序集合のように思えるです。<br />1.全ての x に対して ( x < x ) == false <br />2.全ての x != y に対して x < y ならば !(y < x)<br />3.全ての x,y,z に対して ( x < y && y < z ) ならば ( x < z ) == true<br />4.全ての x,y,z に対して ( x == y && y == z ) ならば ( x == z ) == true<br />コンピュータの扱える数は、有限なので、weak という表現をしてるのかも?tigerhttps://www.blogger.com/profile/02799507690565143487noreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-81230084763710919402010-02-03T20:09:42.485+09:002010-02-03T20:09:42.485+09:00おお。
やっぱりCryoliteさんは、この手の事に詳しいですね。おお。<br />やっぱりCryoliteさんは、この手の事に詳しいですね。江添亮https://www.blogger.com/profile/13387122818743087721noreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-73417049439418033032010-02-03T18:33:48.447+09:002010-02-03T18:33:48.447+09:00半順序はpartial orderです。weak orderingは訳すとしたら弱い順序とか弱順序と...半順序はpartial orderです。weak orderingは訳すとしたら弱い順序とか弱順序となります。Cryoliteさんはstrict weak orderingを厳密で弱い順序と訳していますね: http://d.hatena.ne.jp/Cryolite/20040529Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-15683095604844481492010-02-03T15:21:38.744+09:002010-02-03T15:21:38.744+09:00数学の半順序の事かも数学の半順序の事かもtigerhttps://www.blogger.com/profile/02799507690565143487noreply@blogger.com