http://b.hatena.ne.jp/entry/http://d.hatena.ne.jp/lovelovedog/20080403/gizi はてな観察部 (はてなを観察する) におきましては, そもそも削除申請されるのか? その場合に削除申請が通るのか? という点に注目です.

まだalpha版らしい. 個人のブックマークも出来るらしい. 情報系としてはありがたい.

AND, OR, NOTからなるn入力1出力サイズsの回路の数の上限は, 2^s (2+2n+s)^s2^s (2+2n+s)^{2s}. 素子の数をk, ファンインの数を高々mにして同様の上限を考えると, k^s (2+2n+s)^sk^s (2+2n+s)^{ms}.