トップ «前の日記(2006-09-20 (Wed)) 最新 次の日記(2006-09-29 (Fri))» 編集

uDiary

海野秀之(うんのひでゆき)の外部記憶

Twitter (twilog) / RSS / アンテナ / ぶくま

2006|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|08|
2010|01|02|03|05|06|07|10|11|
2011|03|08|
2012|02|04|07|08|10|
2013|01|02|03|05|06|08|11|12|
2014|01|02|05|06|07|08|09|12|
2015|01|02|03|04|

2006-09-22 (Fri)

この日のエントリだけ、やたらとコメントスパムにあっていたので、しばらく隠していました。 ためしに隠すのをやめてみますが、まだなにも対策していないので、またスパムの嵐にあうのかも。

あったらそのとき考えます。

私は、SPARC-V9 の TSO 定義をこう読んでいます。*2

http://www.nminoru.jp/~nminoru/diary/2006/08.html#2006-08-11 のコメント [19] )

まず最初に。 SPARC-V9 のメモリ・モデルは、 ソフトウエアから観測され得る振る舞いを規定したものであって、 特定のインプリメントには依存していません。 このことが、この仕様の価値を高めていると同時に、 ちょっとイメージのつかみづらいものにしてしまっている感はあります。

なお、「ソフトウエアから観測される」とは、 プログラムを実行した結果として得られる情報 (プログラムそのものと、その実行結果) から推定される という意味です。

TSO 等のメモリ・モデルは、 global visible order *3 に関する規則です。 にも関わらず、例えば、load がいつの時点で global visible になるのか、 そもそも、global visible とはなんなのか?という記述なしに、 TSO の説明が始まっているように見えます。

なぜなら、TSO メモリ・モデル全体が、global visible order を定義するからです。特定のインプリメントに依存しないように global visible order を定義する方法は、これしか無いように 思われます。

Global visible order について、 TSO のようなメモリ・モデルなしに(自明な事実として) 合意されるであろう事柄は、 「ストアが global visible になった後でなければ、 そのストア値は他の CPU からは見えない (load できない)」 だけでしょう。

この順序は、以下のようなプログラム片を用いて観測することが 可能です。(以降、メモリの初期値は 0 とします。)

 Processor-1            Processor-2
 1: Store [X] = 1    2: Load r1 = [X]

実行結果として、r1 = 1 が得られれば、(ソフトウエアから観測される、 (以下わざわざ書かない))global visible order は、 1: → 2: となります。r1 = 0 だったなら、2: → 1:。

意外かもしれませんが、TSO 等のメモリ・モデルなしに推定できる順序 (ソフトウエアによって観測される振る舞い)はこれだけです。

たとえば、次のようなプログラム片を実行した結果、 r1 = 1, r2 = 1 が得られたとしましょう。

 Processor-1            Processor-2
 1: Store [X] = 1    3: Load r1 = [X]
 2: Store [Y] = 1    4: Load r2 = [Y]

このとき観測された global visible order は、 1: → 3: かつ 2: → 4: です。1:, 2:, 3:, 4: の 4 つすべての global visible order として考えられる候補 (3! 通り)のうち どれだったのかは、ソフトウエアには観測できないことになります。 たとえば、2: → 4: → 1: → 3: だったのかも知れない。

ここで、TSO を仮定すると、1: → 2:, 3: → 4: の制約が加わるため、 考えられる組み合わせはもっと減ることになります。

再び、問題のケース

問題のプログラム片を再び持ち出してみましょう。 ただし、組み合わせを減らすために、Processor-2 の方に少し細工をしました。 メモリ・モデルは、TSO を仮定します。

 Processor-1         Processor-2
 1: Store [X] = 1    4: Store [Y] = 1
 2: Load r1 = [X]       Membar #StoreLoad
 3: Load r2 = [Y]    5: Load r3 = [Y]
                        Membar #LoadLoad ; TSO なら不要だが念のため
                     6: Load r4 = [X]

ここで、実行結果 r1 = r3 = 1, r2 = r4 = 0 のとき、 ソフトウエアから観測された global visible order がどのような ものだったか考えてみます。

まず、r2 = r4 = 0 と、 「ストアが global visible になった後でなければ、 そのストア値は他の CPU からは見えない (load できない)」 という自明な規則から、

 6: → 1:
 3: → 4:

が判明します。

今回、Processor-2 の方は、シーケンシャル・オーダー になるよう細工してあるので、

 4: → 5: → 6:

となっています。

ここまでで確定したのは、

 3: → 4: → 5: → 6: → 1:

です。まだ 2: の場所がきまっていません。(★)

ここで注意すべきなのは、 観測結果 r1 = 1 から global visible order について推定できることがらは 存在しないという点です。 自明な規則は、 「ストアが global visible になった後でなければ、 そのストア値は他の CPU からは見えない (load できない)」 でしたが、これでは Processor-1 内部に閉じた 1:, 2: 間の順序を確定することはできません。

しかしここで、TSO のメモリモデルより、

 2: → 3:

が決まります。

したがって、global visible order としては

 2: → 3: → 4: → 5: → 6: → 1:

が観測されたことになります。

Processor-1 の分だけとりだすと、

 2: → 3: → 1:

となっていますが、これは TSO メモリ・モデルを違反していません。

一方、3: → 1: → 2: 案は?

一方、3: → 1: → 2: とする案では、 どのような推定が行われたのことになるでしょうか?

上で(★)印をつけたところまでは共通でしょう。 つまり、

 3: → 4: → 5: → 6: → 1:

までが確定していて、2: の位置が決まっていない。

ここで、nminoru さんは、 どこからともなく

 1: → 2:

という規則を持ち出してきています。

どこにも書かれていない規則を適用し、 「3: → 1: → 2: になってしまった、TSO 違反だ!」 と主張しているように、私には思えます。

*1 SPARC-V9 の TSO 定義はこう読むべきですとしなかったのは、自信のなさの現れだったり。

*2 SPARC-V9 の TSO 定義はこう読むべきですとしなかったのは、自信のなさの現れだったり。

*3 英語的には globally visible order と書くべきでしょうか。

π秒は 1 ナノ世紀

http://njb.virtualave.net/nmain0216.html#nmain20060922095828

もしかすると google 様が教えてくれるのではないかと思い、 聞いてみました。

http://www.google.co.jp/search?q=pi+second+in+century&lr=lang_ja

おお。

本日のツッコミ(全185件) [ツッコミを入れる]
# bad credit consolidation loan (2006-12-27 (Wed) 18:29)

Good site. Thanks.<br>http://quick777search.bravehost.com/bad-credit-consolidation-loan.html bad credit consolidation loan<br>http://quick777search.bravehost.com/payday-loan-in-the-uk.html payday loan in the uk<br>http://quick777search.bravehost.com/loan-payday-tendollar.html loan payday tendollar<br>http://quick777search.bravehost.com/cash-instant-loan.html cash instant loan<br>http://quick777search.bravehost.com/home-equity-loan-payment-calculator.html home equity loan payment calculator<br>http://quick777search.bravehost.com/county-equity-home-loan-orange.html county equity home loan orange<br>http://quick777search.bravehost.com/mortgage-loan-payment-calculator.html mortgage loan payment calculator<br>http://quick777search.bravehost.com/bad-credit-student-personal-loan.html bad credit student personal loan<br>http://quick777search.bravehost.com/instant-no-fax-payday-loan.html instant no fax payday loan<br>http://quick777search.bravehost.com/aurora-loan.html aurora loan<br>http://quick777search.bravehost.com/connecticut-mortgage-loan.html connecticut mortgage loan<br>http://quick777search.bravehost.com/bad-bankruptcy-car-credit-loan.html bad bankruptcy car credit loan<br>http://quick777search.bravehost.com/nevada-mortgage-loan.html nevada mortgage loan<br>http://quick777search.bravehost.com/no-fax-required-payday-loan.html no fax required payday loan<br>http://quick777search.bravehost.com/minnesota-mortgage-loan.html minnesota mortgage loan<br>http://quick777search.bravehost.com/bad-credit-used-car-loan.html bad credit used car loan<br>http://quick777search.bravehost.com/default-on-payday-loan.html default on payday loan<br>http://quick777search.bravehost.com/mortgage-loan-processing.html mortgage loan processing<br>http://quick777search.bravehost.com/auto-calculator-finance-loan.html auto calculator finance loan<br>http://quick777search.bravehost.com/equity-home-loan-pennsylvania.html equity home loan pennsylvania

# bad credit consolidation loan (2006-12-27 (Wed) 18:30)

Good site. Thanks.<br>http://quick777search.bravehost.com/bad-credit-consolidation-loan.html bad credit consolidation loan<br>http://quick777search.bravehost.com/payday-loan-in-the-uk.html payday loan in the uk<br>http://quick777search.bravehost.com/loan-payday-tendollar.html loan payday tendollar<br>http://quick777search.bravehost.com/cash-instant-loan.html cash instant loan<br>http://quick777search.bravehost.com/home-equity-loan-payment-calculator.html home equity loan payment calculator<br>http://quick777search.bravehost.com/county-equity-home-loan-orange.html county equity home loan orange<br>http://quick777search.bravehost.com/mortgage-loan-payment-calculator.html mortgage loan payment calculator<br>http://quick777search.bravehost.com/bad-credit-student-personal-loan.html bad credit student personal loan<br>http://quick777search.bravehost.com/instant-no-fax-payday-loan.html instant no fax payday loan<br>http://quick777search.bravehost.com/aurora-loan.html aurora loan<br>http://quick777search.bravehost.com/connecticut-mortgage-loan.html connecticut mortgage loan<br>http://quick777search.bravehost.com/bad-bankruptcy-car-credit-loan.html bad bankruptcy car credit loan<br>http://quick777search.bravehost.com/nevada-mortgage-loan.html nevada mortgage loan<br>http://quick777search.bravehost.com/no-fax-required-payday-loan.html no fax required payday loan<br>http://quick777search.bravehost.com/minnesota-mortgage-loan.html minnesota mortgage loan<br>http://quick777search.bravehost.com/bad-credit-used-car-loan.html bad credit used car loan<br>http://quick777search.bravehost.com/default-on-payday-loan.html default on payday loan<br>http://quick777search.bravehost.com/mortgage-loan-processing.html mortgage loan processing<br>http://quick777search.bravehost.com/auto-calculator-finance-loan.html auto calculator finance loan<br>http://quick777search.bravehost.com/equity-home-loan-pennsylvania.html equity home loan pennsylvania

# bad credit unsecured personal loan (2006-12-27 (Wed) 19:16)

Cool site. Thank you!<br>http://quick777search.bravehost.com/bad-credit-home-loan-score.html bad credit home loan score<br>http://quick777search.bravehost.com/home-equity-loan-minnesota.html home equity loan minnesota<br>http://quick777search.bravehost.com/bad-credit-home-equity-loan.html bad credit home equity loan<br>http://quick777search.bravehost.com/faxless-payday-loan.html faxless payday loan<br>http://quick777search.bravehost.com/payday-loan-application.html payday loan application<br>http://quick777search.bravehost.com/veteran-home-loan.html veteran home loan<br>http://quick777search.bravehost.com/bad-credit-unsecured-personal-loan.html bad credit unsecured personal loan<br>http://quick777search.bravehost.com/loan-till-payday.html loan till payday<br>http://quick777search.bravehost.com/auto-loan-interest-rate.html auto loan interest rate<br>http://quick777search.bravehost.com/equity-fixed-home-loan-rate.html equity fixed home loan rate<br>http://quick777search.bravehost.com/personal-loan-instant-approval.html personal loan instant approval<br>http://quick777search.bravehost.com/debt-consolidation-loan-calculator.html debt consolidation loan calculator<br>http://quick777search.bravehost.com/miami-home-equity-loan.html miami home equity loan<br>http://quick777search.bravehost.com/california-home-mortgage-loan-rate.html california home mortgage loan rate<br>http://quick777search.bravehost.com/fannie-mae-loan.html fannie mae loan<br>http://quick777search.bravehost.com/california-mortgage-refinance-loan.html california mortgage refinance loan<br>http://quick777search.bravehost.com/equity-home-loan-ohio.html equity home loan ohio<br>http://quick777search.bravehost.com/equity-loan-calculator.html equity loan calculator<br>http://quick777search.bravehost.com/gmac-car-loan.html gmac car loan<br>http://quick777search.bravehost.com/uk-personal-secured-loan.html uk personal secured loan

# instant personal loan guaranteed (2006-12-27 (Wed) 20:08)

Cool site. Thanks!!!<br>http://quick777search.bravehost.com/pennsylvania-mortgage-loan.html pennsylvania mortgage loan<br>http://quick777search.bravehost.com/citibank-home-equity-loan.html citibank home equity loan<br>http://quick777search.bravehost.com/alaska-mortgage-loan.html alaska mortgage loan<br>http://quick777search.bravehost.com/quick-bad-credit-loan.html quick bad credit loan<br>http://quick777search.bravehost.com/great-lake-loan.html great lake loan<br>http://quick777search.bravehost.com/guaranteed-no-fax-payday-loan.html guaranteed no fax payday loan<br>http://quick777search.bravehost.com/north-carolina-mortgage-loan.html north carolina mortgage loan<br>http://quick777search.bravehost.com/michigan-mortgage-loan.html michigan mortgage loan<br>http://quick777search.bravehost.com/instant-personal-loan-guaranteed.html instant personal loan guaranteed<br>http://quick777search.bravehost.com/equity-home-loan-minnesota.html equity home loan minnesota<br>http://quick777search.bravehost.com/one-hour-payday-loan.html one hour payday loan<br>http://quick777search.bravehost.com/bad-credit-auto-loan.html bad credit auto loan<br>http://quick777search.bravehost.com/home-improvement-loan-calculator.html home improvement loan calculator<br>http://quick777search.bravehost.com/bad-cash-credit-fast-loan.html bad cash credit fast loan<br>http://quick777search.bravehost.com/iowa-mortgage-loan.html iowa mortgage loan<br>http://quick777search.bravehost.com/bank-of-america-car-loan.html bank of america car loan<br>http://quick777search.bravehost.com/auto-bad-bankruptcy-credit-credit-loan-no.html auto bad bankruptcy credit credit loan no<br>http://quick777search.bravehost.com/free-lead-loan-mortgage.html free lead loan mortgage<br>http://quick777search.bravehost.com/idaho-mortgage-loan.html idaho mortgage loan<br>http://quick777search.bravehost.com/low-fee-payday-loan.html low fee payday loan

# bad credit personal loan company (2006-12-27 (Wed) 21:12)

Cool site. Thanks!!!<br>http://quick777search.bravehost.com/wamu-home-loan.html wamu home loan<br>http://quick777search.bravehost.com/poor-credit-loan.html poor credit loan<br>http://quick777search.bravehost.com/pennsylvania-home-equity-loan.html pennsylvania home equity loan<br>http://quick777search.bravehost.com/home-improvement-loan-rate.html home improvement loan rate<br>http://quick777search.bravehost.com/icici-bank-home-loan.html icici bank home loan<br>http://quick777search.bravehost.com/arizona-equity-home-loan.html arizona equity home loan<br>http://quick777search.bravehost.com/home-equity-loan-quote.html home equity loan quote<br>http://quick777search.bravehost.com/100-loan-online-payday.html 100 loan online payday<br>http://quick777search.bravehost.com/commercial-mortgage-loan-rate.html commercial mortgage loan rate<br>http://quick777search.bravehost.com/online-payday-loan-instant-approval.html online payday loan instant approval<br>http://quick777search.bravehost.com/bad-credit-manufactured-home-loan.html bad credit manufactured home loan<br>http://quick777search.bravehost.com/new-car-loan-calculator.html new car loan calculator<br>http://quick777search.bravehost.com/really-bad-credit-personal-loan.html really bad credit personal loan<br>http://quick777search.bravehost.com/instant-online-payday-loan.html instant online payday loan<br>http://quick777search.bravehost.com/bad-credit-personal-loan-company.html bad credit personal loan company<br>http://quick777search.bravehost.com/college-loan-bad-credit.html college loan bad credit<br>http://quick777search.bravehost.com/advance-cash-loan-online-payday.html advance cash loan online payday<br>http://quick777search.bravehost.com/payday-loan-utah.html payday loan utah<br>http://quick777search.bravehost.com/ten-dollar-payday-loan.html ten dollar payday loan<br>http://quick777search.bravehost.com/home-loan-manufactured.html home loan manufactured

# bankruptcy equity home loan (2006-12-27 (Wed) 21:40)

Cool site. Thanks!<br>http://quick777search.bravehost.com/guaranteed-online-personal-loan.html guaranteed online personal loan<br>http://quick777search.bravehost.com/bankruptcy-equity-home-loan.html bankruptcy equity home loan<br>http://quick777search.bravehost.com/applicant-bad-credit-loan-mortgage.html applicant bad credit loan mortgage<br>http://quick777search.bravehost.com/loan-nova-scotia-student.html loan nova scotia student<br>http://quick777search.bravehost.com/equity-home-loan-nashua-rate.html equity home loan nashua rate<br>http://quick777search.bravehost.com/consolidation-helpful-links-loan-student.html consolidation helpful links loan student<br>http://quick777search.bravehost.com/hud-loan.html hud loan<br>http://quick777search.bravehost.com/auto-loan-calculator.html auto loan calculator<br>http://quick777search.bravehost.com/advance-america-payday-loan.html advance america payday loan<br>http://quick777search.bravehost.com/gmac-loan.html gmac loan<br>http://quick777search.bravehost.com/ameriloan-payday-loan.html ameriloan payday loan<br>http://quick777search.bravehost.com/mortgage-loan-processor.html mortgage loan processor<br>http://quick777search.bravehost.com/first-time-home-buyer-loan.html first time home buyer loan<br>http://quick777search.bravehost.com/jumbo-mortgage-loan.html jumbo mortgage loan<br>http://quick777search.bravehost.com/no-faxing-instant-payday-loan.html no faxing instant payday loan<br>http://quick777search.bravehost.com/maryland-mortgage-loan.html maryland mortgage loan<br>http://quick777search.bravehost.com/bad-credit-payday-loan.html bad credit payday loan<br>http://quick777search.bravehost.com/fast-bad-credit-personal-loan.html fast bad credit personal loan<br>http://quick777search.bravehost.com/best-consolidation-loan-student.html best consolidation loan student<br>http://quick777search.bravehost.com/bad-credit-mobile-home-loan.html bad credit mobile home loan

# swbyu652 (2007-05-10 (Thu) 18:48)

www.googla.test.com

# 12yr46s (2007-05-12 (Sat) 20:27)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-12 (Sat) 20:30)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-12 (Sat) 21:29)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-12 (Sat) 22:17)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-12 (Sat) 23:13)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-13 (Sun) 00:05)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-13 (Sun) 00:57)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-13 (Sun) 01:01)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-13 (Sun) 01:50)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-13 (Sun) 02:39)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-13 (Sun) 02:46)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-13 (Sun) 03:31)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-13 (Sun) 04:29)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-13 (Sun) 04:29)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-13 (Sun) 05:19)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-13 (Sun) 06:06)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-13 (Sun) 06:55)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-13 (Sun) 06:57)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-13 (Sun) 07:53)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-13 (Sun) 08:39)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-13 (Sun) 08:40)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-13 (Sun) 09:35)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-13 (Sun) 09:35)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-13 (Sun) 11:22)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-13 (Sun) 11:26)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-13 (Sun) 12:10)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-13 (Sun) 12:19)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-13 (Sun) 13:01)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-13 (Sun) 13:05)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-13 (Sun) 13:53)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-13 (Sun) 13:54)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-13 (Sun) 14:44)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-13 (Sun) 15:32)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-13 (Sun) 17:05)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-13 (Sun) 18:01)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-13 (Sun) 18:18)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-13 (Sun) 19:03)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-13 (Sun) 19:57)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-13 (Sun) 20:37)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-13 (Sun) 21:20)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-13 (Sun) 21:31)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-13 (Sun) 22:26)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-13 (Sun) 23:05)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-13 (Sun) 23:55)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 00:04)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 00:49)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-14 (Mon) 00:50)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-14 (Mon) 01:44)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 02:33)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-14 (Mon) 02:34)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-14 (Mon) 03:25)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-14 (Mon) 04:55)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 05:06)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-14 (Mon) 06:32)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-14 (Mon) 07:15)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-14 (Mon) 07:57)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-14 (Mon) 08:49)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-14 (Mon) 09:15)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-14 (Mon) 09:36)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-14 (Mon) 10:13)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-14 (Mon) 10:26)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-14 (Mon) 10:56)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-14 (Mon) 11:48)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 12:22)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-14 (Mon) 13:06)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-14 (Mon) 13:47)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-14 (Mon) 14:09)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 14:55)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-14 (Mon) 15:30)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-14 (Mon) 16:02)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-14 (Mon) 16:38)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-14 (Mon) 16:57)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-14 (Mon) 17:17)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-14 (Mon) 17:41)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-14 (Mon) 18:50)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-14 (Mon) 19:07)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-14 (Mon) 19:37)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-14 (Mon) 19:56)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-14 (Mon) 20:20)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-14 (Mon) 20:52)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-14 (Mon) 21:15)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-14 (Mon) 22:07)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-14 (Mon) 22:36)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-14 (Mon) 23:07)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-15 (Tue) 00:17)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-15 (Tue) 01:17)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-15 (Tue) 01:46)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-15 (Tue) 02:32)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-15 (Tue) 02:57)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-15 (Tue) 03:44)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-15 (Tue) 04:18)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-15 (Tue) 04:38)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-15 (Tue) 05:13)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-15 (Tue) 08:05)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-15 (Tue) 08:39)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-15 (Tue) 08:49)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-15 (Tue) 09:47)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-15 (Tue) 11:13)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-15 (Tue) 11:14)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-15 (Tue) 12:02)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-15 (Tue) 12:55)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-15 (Tue) 13:55)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-15 (Tue) 14:46)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-15 (Tue) 14:47)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-15 (Tue) 15:39)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-15 (Tue) 16:25)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-15 (Tue) 16:38)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-15 (Tue) 17:18)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-15 (Tue) 18:27)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-15 (Tue) 19:24)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-15 (Tue) 20:17)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-15 (Tue) 21:32)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-15 (Tue) 22:26)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-15 (Tue) 23:28)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-15 (Tue) 23:30)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-16 (Wed) 00:27)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-16 (Wed) 01:28)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-16 (Wed) 01:29)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-16 (Wed) 02:23)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-16 (Wed) 04:12)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-16 (Wed) 04:23)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-16 (Wed) 05:11)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-16 (Wed) 05:12)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-16 (Wed) 06:48)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-16 (Wed) 07:37)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-16 (Wed) 07:39)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-16 (Wed) 08:14)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-16 (Wed) 09:01)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-16 (Wed) 09:37)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-16 (Wed) 09:42)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-16 (Wed) 10:20)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-16 (Wed) 10:23)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-16 (Wed) 11:47)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-16 (Wed) 11:48)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-16 (Wed) 12:31)

Hell0, nice site and great work! Thx !!!

# cv435t661 (2007-05-16 (Wed) 12:33)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-16 (Wed) 13:12)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-16 (Wed) 13:14)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-16 (Wed) 15:34)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-16 (Wed) 15:35)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-16 (Wed) 16:33)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-16 (Wed) 17:34)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-16 (Wed) 17:39)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-16 (Wed) 18:32)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-16 (Wed) 18:33)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-16 (Wed) 19:19)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-16 (Wed) 21:21)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-16 (Wed) 21:21)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-16 (Wed) 22:15)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-16 (Wed) 22:20)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-16 (Wed) 23:03)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-16 (Wed) 23:08)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-16 (Wed) 23:58)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-16 (Wed) 23:59)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-17 (Thu) 00:53)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-17 (Thu) 01:49)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-17 (Thu) 01:49)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-17 (Thu) 02:42)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-17 (Thu) 03:33)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-17 (Thu) 04:21)

Hell0, nice site and great work! Thx !!!

# x5ma3y (2007-05-17 (Thu) 05:20)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-17 (Thu) 06:05)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-17 (Thu) 06:08)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-17 (Thu) 07:00)

Hell0, nice site and great work! Thx !!!

# 454ry (2007-05-17 (Thu) 07:07)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-17 (Thu) 07:52)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-17 (Thu) 07:55)

Hell0, nice site and great work! Thx !!!

# gfdg787 (2007-05-17 (Thu) 08:48)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-17 (Thu) 09:50)

Hell0, nice site and great work! Thx !!!

# zeip6bnt5 (2007-05-17 (Thu) 10:35)

Hell0, nice site and great work! Thx !!!

# 1k34tt32 (2007-05-17 (Thu) 10:36)

Hell0, nice site and great work! Thx !!!

# rt45tr10 (2007-05-17 (Thu) 11:27)

Hell0, nice site and great work! Thx !!!

# swbyu652 (2007-05-17 (Thu) 12:13)

Hell0, nice site and great work! Thx !!!

# 8j84n (2007-05-17 (Thu) 12:22)

Hell0, nice site and great work! Thx !!!

# 12yr46s (2007-05-17 (Thu) 13:04)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-17 (Thu) 13:49)

Hell0, nice site and great work! Thx !!!

# sdf2361 (2007-05-17 (Thu) 14:41)

Hell0, nice site and great work! Thx !!!

# fr34edy (2007-05-17 (Thu) 15:20)

Hell0, nice site and great work! Thx !!!


2006|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|08|
2010|01|02|03|05|06|07|10|11|
2011|03|08|
2012|02|04|07|08|10|
2013|01|02|03|05|06|08|11|12|
2014|01|02|05|06|07|08|09|12|
2015|01|02|03|04|
Categories 3imp | Card | Cutter | Dalvik | Euler | Football | GAE/J | Hand | Haskell | Re:View | Ruby | Scheme | TQD | Tiger | TigerBook読 | UikiTeXi | Verilog | Violin | Web | parconc | tDiary | お勉強 | エントロピー | ツン読 | | 将棋 | 政治について | | 模写してみよう | 確率論 | 設定など | 雑文 | 音声