(1) (2) (3) はっ、 とりゃ、 うおりゃ、 \overline{bc} AND symbol A \cdot B OR symbol A + B \overline{A}

Windowsのバッチファイルでエラーも標準出力も1つのファイルにまとめて出力したい場合。hogehoge.exe 2>&1 hogehoge.logと書いたのではうまく動かない。代わりに、hogehoge.exe 1>hogehoge.log 2>&1 としてやるといいみたい。 http://www.howtofixcomputers.…

リモートから、Microsoftネットワーク用ファイルとプリンタ共有を無効にしたり有効にしたり出来るのか？ という質問があちこちにあったのでこちらにちょっとだけ役に立つかもしれない情報を残しておこうと思います。用意したOS WindowsXP SP3ローカルエリア…

ここ数日前から「メモ」とタイプしようとすると、なぜか「モエ」と打ち間違えてしまう。 modus ponens 肯定式 リテラル 論理変数x またはその否定 ¬x のこと 素式あるいは否定の付いた素式のこと。 節(clause) リテラルを∨で繋げたもの。 すべての述語論理式…