命題「A ⇒ B」が真である時 A を B である為の十分条件 sufficient condition と言い、B を A であるための必要条件 necessary condition と言う。 ある命題 A が成り立つようなものの範囲を真理集合 truth set というが、 A ⇒ B が真である場合の A, B の真理集合の関係は A ⊆ B となってい る(Venn 図で描くと下の図の通り)。 つまり、B の範囲に入る為には A であれば十分であり、A の範囲に入る為には B であることが先ず必要だからというのが、その名の由来であるという。 ...
emacs C++ 開発環境 gtag のススメ、Visual Studio のような gdb-mode など。 元ネタは小関さんの「過負荷な日々 」
フォールトトレランス(障害許容) システムの信頼性を高めること。 障害が発生してもシステムが停止しないようにすること。 システムを二重化するとか、運用しながら修復するとか。 フォールトアボイダンス(障害回避) 信頼性の高いシステムを構築すること。 信頼性の高い部品を使用するとか、十分なテストをするとか。 リカバリー(障害回復) いち早くシステムを復旧できるようにすること。 バックアップを取ること。
scroll-conservatively に 1 を設定して、next-line でバッファを読み進めて いくと、(当然だが) 1 行ずつスクロールできる。 ただ、ウィンドウの一番下にカーソルがある状態で、ウィンドウの幅より大き く、折り返しが発生している行に進むと、scroll-conservatively のデフォル ト(0)と同じ動きをしてしまう。確認した Emacs は 22.1。これはバグ？ ...
2/11 に買った無印のアクリルポケットティッシュケース が中々良い。 底面がマグネットで本体に付くようになっていて、底からティッシュを追加で きる。ポケットティッシュって駅とかで受け取っても、使うタイミングに困る のだけれどもこれなら良いね。会社で大活躍です。家用にも買おうかな？ ...
Canon PIXUS iP90V amazon.co.jp プリンタなんてこのくらい小さいもので良かったんだよなあ。今のは大きすぎ。 でも使わないから、買い直すほどでもないよなあ。大きすぎる上に詰まっ て使えなくなってしまったから、とっても邪魔。安く修理できたら売りたい。 ...
mew-dist 355 (古い…) から一部抜粋。 |仕様では通常、シンタックスとセマンティクスを定義します。 | |RFC822 では、ヘッダのセマンティクスもボディのセマンティクスも ASCII と |定めています。ASCII とは、0-127 の範囲を ASCII 表にある文字として解釈 |するというセマンティクスです。ただ、RFC822 の執筆当時 Dave が気が付い |ていた犯しやすいシンタックス上の問題点(単一の CR など)は明確に排除しま |した。 | |日本で本文に ISO-2022-JP を入れたのは、シンタックス上は問題ありません |が、セマンティクスを破っています。ASCII 文字列中に ESC シーケンスが現 |れても、それは単なる ESC シーケンスですから、日本語として取り扱われま |せん。また、ヨーロッパでは、本文に 0-255 までを許し、これを Latin-1 と |解釈することにしました。これはシンタックスもセマンティックスも破ってい |ます。しかし、所詮、日本で ISO-2022-JP を利用しようとした背景は、ヨー |ロッパが 8bit 領域を使っていたからにほかなりません。日本でも EUC Japan |を標準に選ぶ可能性はあったということです。 ...
「To: に [email protected] を含む」または「ほげほげ」が含まれたメールを検索。 |[email protected] or ほげほげ 「To: に [email protected] を含む」かつ「ほげほげ」が含まれたメールを検索。 |[email protected] and ほげほげ ...
六本木ヒルズにある、サルバトーレという人がやっているイタリア料理屋 テレビでやっていて気になったのでメモメモ。 http://www.ystable.co.jp/restaurant/thekitchen/roppongi.html
最初にヒットした man ファイルを表示してくれる。(debian-users:50110) |% man -w ls |/usr/share/man/ja/man1/ls.1.gz