Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @dev_supisula
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @dev_supisula
-
Prikvačeni tweet
_(:3」∠)_
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
VSR 100%目指す必要はない、というのはそうだと思うし、hidden restriction があることを考えれば閉じた期間のなかだけで考えるのは合理的な気がする。epoch みたいに。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
でも、それが今までの議論にすぎず、おまけを取りに行かないといけないくらい要件が厳しくなったのかもしれないし、VSR - CSR が思ったより広いのかもしれないし、もしくは100%を目指さなければ意外と簡単におまけをとれるということかもしれない。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
CSR スケジューラは見えないところでもちゃんと正しくやる生真面目な人で、VSR は不都合が観測されなければよい要領のいい人。 その意味だと、 VSR - CSR の領域はおまけみたいなもので、ゲットできればラッキーで、それを100%得るために頑張る必要はない気がする。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
#papa本 に書いてないと思うのは - serial schedule と conflict equivalent であることが、どう正しさの証明になるのか - 1.2 のモデルにおいて CSR が正しいといえるための conflict が W-W, W-R, R-W であることの理由 あたりかな。CSR の論文には書いてあるのだろうか。Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
CSR はミクロな視点からボトムアップに構成されるものだから、monotonic なのは当然だし、本質的にはモデルは不要。 VSR/FSR はマクロな視点からトップダウンで(?)分解していく形で正しさを求めていくから、モデルが必要。 CSR が実装しやすくて VSR がしづらいのもなんとなく納得できる。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
読む人が興味があるのは結局 database state の正しさだから、database state の正しさから、どうスケジューラの正しさの話に持っていくか、という理由による、(FSR→)VSR→CSR という順序なのかなあ。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
「順序を入れ換えられない操作のペア」というのはスケジューラの仕事に直接関わる制約だから、その制約が正しいなら(一般化された) CSR が正しいのは当然、というかそれが定義だ、みたいな気がする。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
#papa本 でも、conflict serializable の(直感的な?)正しさの説明には view serializable を使っている。Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
「余帰納」をとても分かりたくなってきた。 これはまだついていけない。 余帰納法についての質問と回答 - Togetterhttps://togetter.com/li/1406267
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
serializability の説明を CSRから始めたらどうなるかを考えている。最終状態やビューという考え方を持ちだすならFSR/VSRを先に説明すればいい気がするからなし。とすると順序を入れ換えられないミクロな conflict から正しさをいう必要があって、たしかに説明しづらいかもしれない。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
関数の単調性は、ふつうに order preserving で定義されていた。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
関数の単調性も、定義域の任意の区間に対してある性質が成り立つとき、とかいう定義の仕方なんだろうか。それならたしかに似てる気はする。後者は「構成的」っぽい。monotonicity と compositionality は似てるのかな?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
「ある性質を持つ集合について、その任意の部分集合もその性質を持つこと」というような性質を指して monotonic/monotonicity と呼んでいるんだけど、これは数学でもこういう使い方なんだろうか。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
半順序に対応するグラフにはいろいろ呼び名がある模様 Comparability graph - Wikipedia https://en.m.wikipedia.org/wiki/Comparability_graph …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
関数の解釈は定義しなくても自明と言える気がしますが、トランザクションの解釈は定義しないと何を指してるかはわからないですね。これがトランザクションの本、ということもあると思うけど。
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ちゃんと書いてありました。第2版が最新で、初版を公開してるようでした。 http://www.cs.rhul.ac.uk/books/dbook/
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
無向グラフの辺に向きをつけることを orientations というらしい。こちらは第1版にも章がある。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
2nd edition には2章 Classes of Digraphs が追加されてるようだ。
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.