2007-12-16から1日間の記事一覧

研究室のWebページ

筑波大の情報学類では、4年生に進級したときに指導教員を決定して研究室に配属となるわけだけど、うちの研究室は、あんまり人気がない。その不人気の原因の一端を担っているのが、Webページのデザインではないかと思ったので、ちょっと調べてみた。というか…

SATについて考えていた

式の自由変数の数をNとすると、すべての真理値の割り当てはN2通り。式の長さをMとすると、validityの検査はO(M)くらいだろう。N 3)???って、あれぇ???多項式になっちゃった……なんで?(本当は「M3か!そうか確かに多項式じゃないな!」とかトイレの中で…