筑波大の情報学類では、4年生に進級したときに指導教員を決定して研究室に配属となるわけだけど、うちの研究室は、あんまり人気がない。その不人気の原因の一端を担っているのが、Webページのデザインではないかと思ったので、ちょっと調べてみた。というか…
式の自由変数の数をNとすると、すべての真理値の割り当てはN2通り。式の長さをMとすると、validityの検査はO(M)くらいだろう。N 3)???って、あれぇ???多項式になっちゃった……なんで?(本当は「M3か!そうか確かに多項式じゃないな!」とかトイレの中で…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。