★モナ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: システムは次の設定のネットワーク …

Windows2003Server サーバリビルドによりリンクの切れたDFS（分散ファイルシステム）ルートを強制削除する方法についてDFSルートを設定してあるドメインコントローラのRAID5が復活してくれず、ディスク交換後に再インストールした。するとDFSの整合性が取れ…

Google AppsプレミアエディションのメールをIMAPクライアントで読むにはhttps://mail.google.com/support/bin/answer.py?answer=77695&cbid=-1nrea9q785b4m&src=cb&lev=answerのようにメールクライアントに設定をするわけですが、デフォルトの状態では、 Web…

○mysqlのバックアップ。webminから行うと文字化けするのでコマンドからやる。 #mysqldump --default-character-set=binary -u root -p db-hoge > /backup/hoge.sql○mysqlのバージョンチェック mysql> status Server version: 5.0.27-standard○MySQLでDBの文…

NEC Express5800シリーズのSCSIHDDを脱着可能にするケースをNEC直営店に買いに行ったら、ケースはHDDをセットになって売っているものなので、別売りはしていません。とのこと。NECサーバのHDDを交換したい場合、原則必ずNECからHDDを買わなければならないし…

VmwareSever2.0をWindows2003ServerR2にインストールしようとすると、デジタル署名に関するエラーとなる。下記修正パッチをあてないとダメです。http://support.microsoft.com/kb/925336 「Windows Server 2003 または Windows XP に、サイズが大きな Window…

■ThunderbirdとFirefox で昔使っていたプロファイルをインポートするには。１ ThunderbirdあるいはFirefoxのショートカットのプロパティを開く２ リンク先に -pを追加。例） "C:\Program Files\Mozilla Firefox\firefox.exe" -p "C:\Program Files\Mozilla T…

■備忘録。 ・ちゃりのリアホイル購入。マビックヘリウムがついに逝ってしまった。 asazouでシマノの前後輪の一番安いやつを買う。・Softbank、明細見たけど内訳がさっぱりわからないのでサポートに問合せてしまった。 今入ってるのは ホワイトプラン 980円 …

■NASの全部ディスク交換について今回作業するのはBuffaloのTera Station Pro。 4枚全部ディスク交換をすることに。NASのディスクを全部１TBに交換しようなんて思っているのはわたくしリーマソだけじゃないだろう。使用するHDDはWestern Digitalの激安1TBハー…

■Manual Virtualbox http://jp.youtube.com/watch?v=SpqC0ohYcIE 15secのあたりでソラミミが聞こえる。 「ばらしてないよ、谷連勝」 ヤワラちゃん、北京でも頑張って欲しいですね。 ■VirtualBox PPP接続しているVistaをホストマシンにして複数のゲストOSをイ…

土曜日は先週日本に帰国した知人に会うため新宿へ。その前にマイクロソフトのTechNet IT Pro 道場に参加する。また行きたい。昼飯を食べ過ぎてしまい、懇談会の食事が食べられず悔しい思いをした（スパゲティ500g完食してカツどんまで食べてしまった）。今度…

■日経BP社「環境ブランド調査」 トヨタ自動車が8年連続でトップ イオン、シャープがトップ5入り http://corporate.nikkeibp.co.jp/information/newsrelease/newsrelease20070705.html環境ブランド指数ランキング上位30社 1 (1) トヨタ自動車 105.2 2 (8) サ…

■kakaku.comのSATAHDDの最安値をチェックしてみた。 1GBあたり500GB14.28円/640GB13.90円/750GB15.91円/1TB15.33円。640GBが一番値ごろ。1TBも750GBよか値ごろ。HGST(日立IBM) HDP725050GLA360 (500G SATA300 7200) \7,140 HD642JJ (640GB SATA300 7200) サ…

■Windows AD（ActiveDirectory）関係 ・AD展開の前にグループポリシーを熟考する必要がある。使用感が大きく変わるので展開後の大幅変更はしたくない。・もっとADの研究をしないとうまく構築出来そうにないが、実験とユーザからのフィードバックが必要なので…

やっちまった。ソースとディスティネーションを間違って逆コピーをしてしまったのだ。操作ミスではなくて、「ソース」「ディスティネーション」の意味を何をとちくるったのか逆に取ってしまい、空ディスクからOSディスクにコピってしまったのである。バック…

社内のUPS用に秋月で蓄電池買った。3200円×2個。 自宅は光ブロードバンドに申し込んだ。工事の人が来るのは7月上旬。■今後の展開計画ActiveDirectory参加ユーザを増やしていく。暗号化・パスワードプロテクト機能付きUSBディスクへのアップグレードその際に…

何がって、このブログが。まず、ActiveDirectoryってのがよくわかんない。テスト環境を作って検証することにしようと思いVMwareをインストールしかけたところ、きょうび「そんなのは無償で出てるよ」という（弊社専務談）。VMwareみたいなソフトがタダで使え…

※OSはFedoraCore4 Linux 2.6.17-1.2142_FC4apt-getでvsftpdをインストール。 #apt-get install vsftpdサービスを上げる #/etc/init.d/vsftpd startサービスを再起動後もレベル345で上げるようにする #chkconfig --level 345 vsftpd oniptableにポート20,21を…

たとえば、FedoraCoreのクローンディスクをDeiveImageなどのWin系ディスククローンユーティリティで作った後、GRUBを再インストールする必要がある。 あるいは、LinuxがGRUBで止まってしまった場合もGRUBを書き込み直す必要があるかもしれない。 ソースのデ…

さて、PICというIC知ってますか？ アキバで1,000円もしないマイコンチップです。ライターと呼ばれるハードウェアを使って、プログラムを中に書き込めます。プログラミングすることによって他のデバイスからの入出力を受け取り、さらに他のデバイスをコントロ…

さて昨日から、ある放送室のオーディオ機器をセットアップするという仕事が始まった。ああもうさっぱりわからないよ。機材の裏側を見ると普段見慣れていないソケットがたくさん並んでいる。SDI信号とかSonyのiLinkとか。どれをどこに繋いだらいいのやら。 今…

なんだか1年くらい日記を更新していない気がする。やたらITとは関係の無い研修が何ヶ月も続く団体に所属してしまったので、これからエンジニア職にも戻ろうにもなかなかきついっす。とは言っても仕事はしなくてはならないというわけで。周りがニュージーラン…

OProfileとは 「OProfileは、低オーバーヘッドなシステムパフォーマンス監視ツールです。プロセッサのパフォーマンス監視ハードウェアを使用してメモリー参照時、L2キャッシュ要求数、ハードウェア割り込み回数など システム上 のカーネルや実行可能ファイル…

未来のいつか/hyoshiokの日記 人材流動性について。 http://d.hatena.ne.jp/hyoshiok/20050224#p1 とても恐縮だけど、思わず僕もコメントしたくなる。。。 トヨタとか松下がなぜあのように競争力があるのか、それは必ずしも報酬が高ければモチベーションが上…

CPAN Search http://search.cpan.org/faq.htmlTopcoder http://www.topcoder.com/Hotscripts http://www.hotscripts.com/XML/index.htmlSpecファイル翻訳 http://vinedocs.sourceforge.jp/cgi-bin/kagemai/index.cgi?project=rpmSpecTranslate&action=topSec…

参考にしているサイト samba の設定 http://www8.wind.ne.jp/hosimisuto/mypc/linux02.html Samba 2.2ではじめるWindowsファイルサーバー入門 http://www.begi.net/reading/samba_begin/#4 sambaの設定ファイル、 /etc/smb.conf の序文。要するに、以下3点を…

人を分析したって、豊かな生活を送るのには全く役に立たないと思っているけど、ついつい考察したくなってしまうのだ。僕は人間という生き物が好きだ。と同時に恐れているのである。しかも、人より優位に立ちたいというエゴが物凄く強い。 だからこんなことを…