メインブログに書き上げたいもの

- order theory(半順序,全順序,弱順序などなど図付きで)

- transaction anomaly

- db formalization 

- design pattern

   - 利用例を著名ossからまとめる

- p,npの話