(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) リテラルを∨で繋げたもの。 すべての述語論理式…

「メモリ参照を行う際はまず仮想ページ番号によってTLBを参照し物理ページアドレスに変換」 メモリ参照を行うときはまずアドレス変換する。 アドレス変換により物理アドレスが決定。 その後、キャッシュメモリを物理アドレスでアクセスする。 その後キャッシ…

モデル名 TS-IGL/R5 F/W 1.01 TS-IGL/R5シリーズ TS-I1.0TGL/R5 http://buffalo.jp/products/catalog/storage/ts-igl_r5/ 最近 250GB×4枚 を1.5TB×4に交換したときのメモ。 以前 ココにも書いているんだけどね。 http://d.hatena.ne.jp/foojee/20080804 まず…

■XSPINをとにかく動かしてみる。 大きくわけて3つ必要。 ★１ Cygwin http://www.cygwin.com/setup.exe デフォルトではインストールされないgcc-core: C compiler のバイナリを追加すること。 Select Packagesのカテゴリ「Devel」の中にある。★２ Tcl/Tk http…

★VmwareInfrastructure3のVmotion★ ひとまずESXiのことはおいておく。 ＜前提条件＞ 移行元/移行先において、 ・双方からアクセスできる共有ストレージが必要。 ・同一ネットワークセグメントであること。 ・同じ命令セットを持つCPUであること。 ・CPUアフ…

メモ¢( ・_・) ■全二重、半二重、単方向通信 単方向(simplex) 一方向にのみデータが伝わる 例 テレビ 校内放送 船のレバーとエンジン部で石炭をくべる人の関係。レバーを動かすと遠く離れたエンジン部にサインが出るようになっている。 半二重(half-duplex) …

Green HouseのGH-TIG243SH http://kakaku.com/item/00850712524/ っていうディスプレーで osd locked と表示されてキーが効かなくなってしまう。ネットには同メーカー多製品の解除方法について「左右矢印+メニュー長押し」、「電源ボタン+メニュー長押し」と…

SPINとPromelaのメモmtype は、メッセージタイプの略らしい。 mtype = { ... } という形で宣言される列挙型。定数を宣言。 mtype = { ack, nak, err, next, accept } と書いたものは #define ack 5 #define nak 4 #define err 3 #define next 2 #define acce…

★モナMONAのこと MONA （http://www.brics.dk/mona/） は式を有限オートマトンに変換するツール。検索パターンや時相論理の属性値を持つようなリアクティブシステム（こっちからなんかすると反応が返ってくるようなシステムのこと）やパーズ木（ 解析木-構文…

クリプキ構造とは ブール値でラベル付けされた遷移状態中の式で評価される非決定性有限オートマトン。公平性制約 (訳者註：あるイベントが必ず起きてくれることを保証するようなこと）で拡張することが出来る（Webster's Online Dictionary）。。。なんのこ…

メモ SPINのこと モデル検査器 SPINのGUI版をXspinのセットアップするその前にTCLをインストール GUIバージョンのために必要。 http://www.activestate.com/Products/ActiveTcl/GccがほしいのでCYGWINもインストール http://www.cygwin.com/ develに入ってい…

Windows2003svrでDNSの登録に失敗し下記のようなイベントログを出す場合がある。Type: Warning Date: 2009/01/01 Time: 17:00:00 Event: 11166 Source: DnsApi Category: None User: N/A Computer: server1 Description: システムは次の設定のネットワーク …