日々の流転

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

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

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

ふいた。

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

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

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

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

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

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