2010-08-01から1ヶ月間の記事一覧

1.1,1.2,..,1.8,1.9,2.0の10個と+-×÷()を使って大きい数を作れ

ソルバー使わず手計算で求めてみる。 まだ解答をみてないが、現在のところ40万弱。 2.0 / (1.2/1.3 + 1.1/1.6 - (1.8 * 1.7)/1.9) / (1.5 - 1.4) = 395,200 100万までまだ道遠く。 改善 連分数でアプローチ。やっと50万超え。 1.7 / (1.1/2.0 - 1.5/(1.8 + 1…

MySQLユーザのためのPostgreSQL:WALログとレプリケーション講座

Streaming Replication搭載のPostgreSQL9.0リリースが近づき、 MySQLとのレプリケーション比較が今後ますます盛んになると思われるので、 MySQLユーザ向けにPostgreSQLの説明をしてみようと思う。参考->PostgreSQLユーザのためのMySQLバイナリログ・レプリケ…

PostgreSQLユーザのためのMySQLバイナリログ・レプリケーション講座

Original Streaming Replication搭載のPostgreSQL9.0リリースが近づき、MySQLとのレプリケーション比較が今後ますます盛んになると思われるので、PostgreSQLユーザ向けにMySQLの説明を行う。参考->MySQLユーザのためのPostgreSQL:WALログとレプリケーション…

SPIN(Promela)によるpgpool-IIのモデル検証

冬頃、SPINでPostgreSQLのレプリケーションツールのひとつであるpgpool-IIをモデル検証していたのを思い出したので、一部公開する。 replication-strictモードの挙動 手始めにv2.0で廃止されたreplication-strictモードの挙動をspinで調べてみる。