マイクロソフト、「Vista SP1」ダウンロード提供を開始
Amazonは少なくとも半分は正しかった。同社の予想通り、Microsoftは米国時間3月18日、Windows Updateから「Windows Vista Service Pack 1」のダウンロード提供を開始した。 店頭での販売時期は明らかになっていない。AmazonはSP1がインストールされたVistaの出荷を19日より開始すると発表したが、Microsoftでは、小売店での販売は早くても4月1日からの予定としている。両社の発表の食い違いについて取材を試みたが、回答は得られていない。 一方で、MicrosoftはWindows Vistaのブログで、Service Pack 1をインストールすると一部のVista用ドライバが機能しなくなる可能性がある、という以前公表した問題について詳細を一部だけだが説明した。同社はまた、同ブログに問題がある可能性のあるドライバのリストを掲載した。
新登場の無料アクセス解析ツール「Yahoo!ログール」と「Google Analytics」の違いとは？
『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day
らばQ:「神はいない？」偉人たちの無神論的な50の格言
「神はいない？」偉人たちの無神論的な50の格言 日本では無宗教の感覚が強い人が多いと思いますが、逆に普段あまり宗教や神を意識しないので、無神論についてもあまり深く考えたりしないのではないでしょうか。 正しいかどうかや支持するかどうかはともかく、宗教色の濃い文化で、なおかつ無神論的主張をするに至った偉人たちの格言には、それなりの理由や意味があります。 そんな「偉人たちの無神論的な50の格言」の紹介です。 ジョージ・カーリン（George Carlin) 1.「宗教は常にありえない物語を説いている。考えてもみてくれ。見えもしない奴…が空に住み、そいつが毎日毎分の全てをお見通しで、さらにその見えない奴が、10個のしてはいけないことを並べている。そしてしちゃいけないことをしたときには特別な場所へ追いやられ、そこには永遠に続く火や煙や拷問や激痛が用意されている。そこでこの世の終りまで焼かれ、叫び、苦
ウノウラボ Unoh Labs: プロセスの監視を行う デーモン monit
こんにちは satoです。 monitは プロセスの監視を行うデーモンです。 条件とそれに伴うアクションを指定することができます。 条件とは例えば以下のようなものがあります プロセスが起動していなかったら 特定のプロセスのメモリの使用量が あるサイズを超えたら 特定のプロセスのCPUの使用率が 50%を超えている状態が 10分続いたら 特定のポートに接続できなくなったら など アクションには以下のような物があります 起動、再起動する アラートメールを送信する ユーザスクリプトを実行する など これらを組み合わせて、プロセスの監視を行います。とくにユーザが作成したプログラムの監視などに効果を発揮します。インストールは RedHat系なら yum install monit で入ります。(CentOSや商用のRedHatはrpmforgeをリポジトリとして追加する必要があります) 主な設定ファ
翻訳:プログラミング言語Lazy_K
このページは、Lazy K公式サイトの翻訳です。 http://homepages.cwi.nl/~tromp/cl/lazy-k.html 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 訳者による前書き / 訳語についてLazy K要約サンプルコード何故Lazy Kが必要とされるのかLazy KのI/OLazy Kの構文と動作Lazy Kの失脚Lazy KインタープリタLazy Kコンパイラサンプルコードバグと欠点訳者による感想 / 要約 / その他コメントその他 訳者による前書き / 訳語について この文書はとりあえず、Lisp(できればScheme)を理解してる人向け。 動作の説明例がlambdaで書いてあったり、Lazy KコンパイラでScheme処理系が必要になったりする為。 C
やったー＼（^O^）／ラムダ計算機できたよー - 日記を書く [・w・] はやみずさん
テスト期間だし、なんか作っとかないとね。 ということで、最近話題のYコンビネータとかそこらへんの話に絡めて、ラムダ計算のインタプリタ作ってYコンビネータ動かそうぜ、っていう。前に書いたラムダ計算インタプリタは、データの形式を入力形式そのままで引き回していたので、割とカオスなことになったので、今回はパーサ、構文木、など適当に部品化してみた。 記法 λxyz. xz(yz) <==> '(λ (x y z) x z (y z)) Gaucheは全角文字がシンボルとして使えるのでスバラシイですね！ β簡約 Pでラムダ式をパースして、BBでいけるところまでベータ簡約しつづける（発散する場合は打ち切る）、ppで表示、という流れ。 gosh> (pp (BB (P '((λ (x y) x y z) a)))) λ y. a y z 適宜α変換もしてくれる (λxy. xy)y => (λ y. yy
るつぼ(了)(2004-05-23)
λ η-変換 Web 上で，α-変換やβ-変換の解説は多いのですが，η-変換の解説がなかなか見つからなかったので，ここに情報を書いておけば誰かが喜ぶだろうかと．あ，ただし不正確な情報を含んでいるかもしれませんので，参考にするしないは自己責任ということでよろしくお願いします :-) η-変換（eta-conversion）は次の形式の変換． λx . M x => M, if x ¬∈ FV(M) つまり，変数 x が式 M の自由変数でなければ，式 λx . M x を M で置き換えてもいいよと，そういうことなのですが，これだけではどういう意味を持つのかなんのこっちゃです． で，何のためにη-変換を導入するかというと，それはある関数を等価な関数で置き換えるため．となると，何をして関数が等価であるかということになるのですが，ここで使われるのが 外延性 という概念．外延性による，外延的等価性
翻訳:コンビネータ論理チュートリアル
このページは、Combinatory Logic Tutorialの翻訳です。 http://homepages.nyu.edu/~cb125/Lambda/ski.html 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 訳者による前書きと感想コンビネータ論理チュートリアル 訳者による前書きと感想 訳してみたものの、ちょっと、たったこれだけの説明では、はじめてコンビネータ論理を知った人が読んで充分に理解できるとは思えない。 どうも、この文書は、原文の上位ディレクトリにあるLambda tutorialを読んだ後に読むべきものっぽいようだ。 しかし、流石にこっちまで訳す気力は無い。 そういう訳で、これだけを読むよりは、Unlambdaのチュートリアルを読んだ方がずっと、コンビネータ論理を理解
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
おいしいコーヒーを飲むために必要な、たった一つの大切なこと - reponの日記 ないわ～ 404 NotFound（暫定）
はてなブログ | 無料ブログを作成しよう