はてなブックマーク

日々の流転 トラックバックスパムを大量に喰らったので、トラックバックを一時的に無効にしています。 λ. A brainf*ck interpreter in Prolog ふと、現実逃避にPrologでBrainf*ckの簡単なインタプリタを書いてみた。 brainfuck(Src) :- bf(Prog, Src, []), !, seq(Prog, []*[0], _). bf([]) --> []. bf([X|Y]) --> bf1(X), {!}, bf(Y). bf(X) --> [_], bf(X). bf1('>') --> ">". bf1('<') --> "<". bf1('+') --> "+". bf1('-') --> "-". bf1('.') --> ".". bf1(',') --> ",". bf1(w(X)) --> "[", bf(X), "]".

日々の流転 トラックバックスパムを大量に喰らったので、トラックバックを一時的に無効にしています。 λ. Twitterにメールから投稿するスクリプト 最近Twitterを始めたyaizawaさんが「なんとたった27行」とか行数自慢(?)していたので、対抗して自分の使っている手抜きスクリプトも晒してみる(^^; require 'net/http' Net::HTTP.version_1_2 require 'uri' require 'tmail' require 'iconv' mail = TMail::Mail.parse(STDIN.read) status = mail.body status = Iconv.conv('utf-8', mail.charset, status) if mail.charset status.chomp! Net::HTTP.start('twi

λ. newtypeはHaskellの仕様に不要では? 向井さんのdataとnewtypeのちがいのわかりやすい例というエントリへの便乗なのだけど、newtypeはHaskellの仕様に不要だったのではないかと私は思っている。 向井さんの例でいうと「data T2 = T2 !Int」と「newtype T3 = T3 Int」の表す領域は全く同じである。違うのは「メモリ上のデータの表現の効率」と「パターンマッチの意味」だけ。しかし、この場合にはメモリ上のデータ表現はコンパイラによる最適化が可能であろうし、そのような最適化はプログラマにとって十分透過的*1だろうから、プログラマがメモリ上の表現を明示する意味はあまり無いはず。また、newtypeで宣言した場合のパターンマッチの意味については、dataで宣言した場合でも遅延パターンを用いれば実現できる。 仮にHaskellの仕様にnewtyp

日々の流転 トラックバックスパムを大量に喰らったので、トラックバックを一時的に無効にしています。 λ. iconv-io 0.0.4 readpartialキター ([ruby-dev:24058]) ってことで、iconv-ioをreadpartialを使うようにする。 知らない人のために紹介すると、iconv-io はIOもどきの１つで、他のIOっぽいオブジェクトをラップし、エンコーディングを変換しながら読み書きするためのものです。例えば、以下はSTDINをラップしてshift_jisからutf-8にエンコーディングを変換しながら読む例です。 io = Iconv::Reader.new(STDIN, "shift_jis", "utf-8") io.each_line{|l| ... } λ. "Purely Functional Data Structures", Chris Ok

λ. PPL Summer School 2006 今日は PPL Summer School に行ってくる。 色々な人に会えるであろうから楽しみ。 行ってきた。昨日のSLACSはほとんど宇宙語の世界だったが、今日はこころある人間の言語のようで、気楽に聴いていられた。色々な人にお会いできたが、あまり話すことが出来ず残念だった。 以下色々書くが、これらは講演内容をまとめたわけではなく、私の単なるメモであり、偏っており間違いを含む可能性も高いのでご注意を。まあ、真に受ける人はいないと思うが。 他の方の感想など λ. 圏論の諸相 講師 木下 佳樹 先生（産業技術総合研究所） 概要 圏論は、圏の構造についての理論ではあるが、その利用者にとっては、ものの見方を与え、いい定義を探すための道具であるという面がある。定理の証明よりいい定義を見つけるのが難しい、というのは、圏論や型理論に共通の特徴で、同じ数

λ. javascriptでRDFをパース やっぱし、やっている人はいるもんだな。 何かに使えそうな気がするのでメモ。 Simple javascript RDF Parser and query thingy Javascript-RDF Testbed λ. (forall x. ((x->r)->r)->x) -> Either a (a->r) 今日ちょっと混乱したことを元にクイズにしてみた。多分その手の人にはピンとくる問題。表記はHaskellのものを使ったが、実際には多相ラムダ計算の問題と考えていい。 問題 「(forall x. ((x->r)->r)->x) -> Either a (a->r)」という型を持つ関数を定義せよ。(ただし⊥が途中で現れたりする定義は禁止) この関数は何を表しているのだろうか? 解答編 問題の関数はこんな感じで定義できる。 notNotEM ::

日々の流転 トラックバックスパムを大量に喰らったので、トラックバックを一時的に無効にしています。 λ. Composable memory transactions, Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Submitted to PPoPP 2005. を読んだ。 現在広く使われている並列プログラミングのモデルはcompositionalityに問題がある。例えばロックは、ロックを使った複数のシステムは組み合わせてより大きなシステムを作るのは難しい(ロックの順番如何でデッドロックに陥る)。例えばUnixのselect(2)は、複数のファイルデスクリプタを同時に待つことが出来るが、複数のselect(2)を使って書かれた手続き(が値を返すの)を同時に待つことは出来ない。etc。それに対して、ST