・Yuryu's Battery Information http://www.vector.co.jp/soft/winnt/util/se236396.html 携帯やパソコンはバッテリーの残り容量表示が当てにならなくてイライラすることって多い。さっきまで3分の1残っていたのにいきなり電池切れになるだとか、メーカー発表の持続時間と実利用が異なっていたり。ユーザーが第三者機関でも作って、残量表示のアルゴリズムをオープンに決めるべきなんじゃないの、とさえ思う。 Yuryu's Battery Informationはバッテリデバイスの詳細情報を取得する。残り時間の他に、製造メーカー、電圧、設計容量、現在の容量、放電速度など、普段は目にすることがない技術情報が把握できる。もちろん使っても、バッテリの持続時間が延びるわけではない。 パソコンを買ったばかりの人は新しいバッテリーの状態をスクリーン

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro

最初に ◆Windows7を入れたばかりで「Windows7ではこれはどうやるんだ？」とイライラしている人も多いと思いますが、便利そうな小技(Tips)をいくつか。 内容は、個人的に検証した内容を記載していますので参考としてください。 Windows 7でウィンドウをドラッグするとサイズが変わる ガジェットを前面に表示 Windows7の新機能・ガジェットを前面に表示してやるには画面右下の 「Windowsサイドバー」の小さいアイコン をクリックしてやるか、キーボードで [ Windows ] + [ スペース 」を押す。 Internet Explorer 7/8のタブをキーボードで操作 Internet Explorer 7で採用されたタブ機能ですが、キーボードでの操作がいくつか用意されています。 たとえば、[Ctrl]+[Tab] 、 [Ctrl]+[Shift]+[Tab] でのタ

-> 趣旨と注意書き -> UTF8フラグ？ -> UTF8フラグとPerlIOレイヤ -> UTF8フラグのついた文字列を記述する -> Wide character in print ... -> Encode -> utf8::* -> use utf8; -> use encoding; -> use UTF8 と use encoding -> JcodeからEncodeへ -> 情報源 <- モドル 趣旨と注意書き Perl 5.8.x のUnicode 関連です。 正直、5.8.x は、ネタでしか使ってなかったので(ぉ、ちゃんといじったことがありませんでした。 使ってみると、よくわかんなくなったので、ちょっとまとめてみました。 今でもあんまりわかってないかもしれないので、内容は無保証です。 突っ込み歓迎。 Jcode、Encodeのメンテナの弾さんから、ご指摘いただいたので、

Welcome to Dia's homepage. Dia is a GTK+ based diagram creation program for GNU/Linux, MacOS X, Unix, and Windows, and is released under the GPL license. News! 2011-Dec-18: Version 0.97.2 has been released. Visit the Download page to get your copy! (Download shortcuts: Windows,Mac OS X) Dia is roughly inspired by the commercial Windows program 'Visio,' though more geared towards informal diagrams

iStockPhoto ちょうど一年前ですが、アメリカの作家・編集者に広く読まれている雑誌、「Writer's Digest」に、単純な文法チェックや英文校正をする際に使いやすいソフトのレビュー特集がありました。ベスト３は、 １位：Writer's Workbench ２位：StyleWriter ３位：White Smoke です。 この中で、一番使いやすいのは、2位のStyleWriterです。3位の White Smokeは日本にも代理店があり、私も使ったことがあるのですが、簡潔明解な文書を望む、理系人やビジネス企画書のライティングには不向きです。どちらかというと、小説家や営業セールスの方など、物をたとえたり、褒めたりと、うまい形容詞などの修飾語を探している人向きです。1位のWriter's Workbenchはしっかりしているのですが、自由に使えるようになるまで、Nat

These pages were originally written to address a nagging problem which bothered many people using Linux. It has to do with the default behaviour of the BackSpace and Delete keys, which did not behave as expected. The goal of this document was and still is to make [<---] (i.e. the backspace-key on your keyboard) to erase to the left, and make [Delete](i.e. the delete-key) erase under the cursor. It

Next Previous Contents 5. Delete and Backspace Getting Delete and Backspace to work just right is nontrivial, especially in a mixed environment, where you talk to console, to X, to bash, to emacs, login remotely, etc. You may have to edit several configuration files to tell all of the programs involved precisely what you want. On the one hand, there is the matter of which keys generate which codes

Windows版 ActivePerl 5.10.0 から Tk がバンドルされなくなった。 俗にいう Perl/Tk ではなくなった。 これは、暗にGUIはTkxで書けということなのかもしれない。 TkxはGUI版のPPMでも使われている便利なモジュールである。 では、TkとTkxの違いはなんだろうか？実装方法が違う文法が違うモジュールの依存関係が違うそれじゃ、一つずつ説明していきましょう。まず、実装方法。 TkはTkライブラリをXSで呼び出している。 TkxはTclモジュール経由でTcl/Tkを使いTkライブラリを呼び出している。 これは、Tkが新しいTkモジュールが開発されるたびにPerlのTkモジュールを書き直す必要があることを示している。これに対して、TkxはTcl/Tk経由でTkを呼び出しているため、Tcl/Tkで使用できるモジュールは、Tkxですべて使用可能ということになる。

とあるライブラリを落としてきたら、ドキュメントの類に日付の情報がなく、やたらその中身の更新日付が古かった(1999/02/24)ので、単純に興味本位で「これJDKのバージョンいくつでコンパイルされとんねん(えせ関西)」と思い、調べ方を調べてみた。 # 以下、Windows上でJDKインストール済みを前提とした話。 (1)まず、クラスファイルのバージョンを調べる。 調べたいクラスファイルのあるディレクトリをカレントにして、コマンドライン上でjavap -verbose クラス名 | findstr "version:"と打ってみる(打つのはクラスファイル名じゃなくてクラス名) と、 minor version: 3 major version: 45とか出る。-verboseは-vでもよさげ。 (2)次に、クラスファイルとJDKのバージョンの対応を調べる。てかそんな対応表もってねぇY

本書はPDF版およびOpenDocument版も用逸しています。 GNU Privacy Guardのダウンロード まずGNU Privacy Guardをダウンロードする必要があります。ダウンロードはGNU Privacy Guard Homepageよりダウンロードしてください。コンパイルする必要があるものとバイナリでダウンロードできるものもあります。これはプラットフォームによって違ってくるのでご使用のオペレーティングシステムにあったものをダウンロードしてください。 キーの生成 ダウンロードの終了後、まずは自分の秘密鍵と公開鍵を生成する必要があります。コマンドラインでgpgと入力してみて何か反応があればパスが通っている証拠ですのでプログラムが実行されている場合はCtrl-Cを押して終了して下さい。この時に反応がないようであればインストールしたフォルダにパスが通るようにしてください。次に

日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。