http://www.microsoft.com/japan/msdn/academic/default.aspに加入すると、Microsoft製品・β版のほとんどが利用可能になります。ひょんな事で、配布されるソフトウェアの一覧を確認することができることを知り早速見てみたわけです。 Windows® 2000 Professi…

昨日紹介した本を利用した講義があり、今回は「命題論理」について熱く語られました。〓, ∧, ∨, ⇔ は C++で !, &, |, ^*1 でお世話になっているため良くわかるのですが、いまいち良くわからないのが '⇒' という演算子（？）。 true ⇒ true = true true ⇒ fal…