トップ «前の日記(2007-02-02) 最新 次の日記(2007-02-05)» 月表示 編集

日々の流転


2007-02-03 [長年日記]

λ. えむ すくらんぶる (18禁)

——気持ちよくなりたかったら、あたしの犬になりなさい!——

退屈な学園生活を送っていた麻宮ハルカは、ジュンを使って楽しもうと考えていた。ハルカを始めとするUFO団の女三人衆は、ありとあらゆる手を使ってジュンを陥れ、脅迫・調教し、我が物にしようと企む。

ふいた。

Tags: ネタ

λ. Functional Logic Languages: Basic Concepts and Operational Semantics by Michael Hanus

を読んだ。<URL:http://d.hatena.ne.jp/m-a-o/20070128#p4>より。

関数論理型言語の実行モデルってこんなに興味深い話だったのね。

ただ、実行モデルはともかく、背景にある哲学というか原理はどうなのかね。 私の認識では、関数型言語は証明をプログラム、証明の簡約を計算とする言語であり、論理型言語は証明の探索を計算とする言語である。関数論理型言語はどうなのだろうか? 関数が導入されているだけで、基本的には論理型言語なのではないかという気もする。

λ. 『マトリックス・レボリューションズ』

マトリックス レボリューションズ [DVD](アンディ・ウォシャウスキー/ラリー・ウォシャウスキー)

テレビでやっていたので見た。 センチネル大好き。 あと、ドリルも素敵だった。 機械万歳。

Tags: TV 映画