[haskell][quiz] (forall x. ((x->r)->r)->x) -> Either a (a->r) - ヒビルテ (2006-04-29)
λ. 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 ::
Scheme演習 第７回
`obj (quasiquote obj)の省略形。アンクォートされた部分は評価し、それ以外は'と同様、評価せずにそのまま返す。 ,obj (unquote obj)の省略形。quasiquoteのなかで使われ、部分的にアンクォートする。 > (+ (* 1 2) (* 3 4)) 14 > `(+ (* 1 2) (* 3 4)) (+ (* 1 2) (* 3 4)) > `(+ (* 1 2) ,(* 3 4)) (+ (* 1 2) 12) > (define x 1) > `(x ,x x) (x 1 x) > `(x 'x ',x) (x 'x '1) これは、引数をプログラムだと思って評価する、という関数である。この関数は、実行時にプログラムを作り上げて実行してしまう、という意味でなかなか激しい命令である。 > '(+ 3 4) (+ 3 4) > (eval '(+ 3 4
2006-05-06
あなたのブラウザは①（まるいち）を表示できますか？ Windowsで見ている人は多分表示できる。UnixないしLinuxの人はどうだろうか？ ブラウザの文字コードをEUC-jpにしている人は多分表示できない。なぜか、①（まるいち）がEUC-jpというエンコーディングには入っていないからだ。そんなばかな？Windowsのエンコーディングは通常CP932（シフトJISという人もいる）というが、それには①（まるいち）とか㈱（(株)）とかの文字種を持っているがEUCと呼ばれているエンコーディングにはそのような文字種がないからである。CP932に表現できる文字種を全部EUCで表現してしまえばこの問題は解決するが、いろいろ議論はつきない。 Unicodeで表現すればいいという人もいるが、UnixやLinuxの場合、昔からEUCで運用していたりすると、簡単にUnicodeに諸般の事情で移行できないので、
Perler な Blog を列挙祭り - Kentaro Kuribayashi's blog
唐突ですが、いろいろありまして（謎）、Bloglines やアンテナ経由で拝見している Perler な方の Blog を抽出して列挙してみたり（順不同）。とりあえず、日本語 Blog 限定で。「俺は Perler じゃない！」とかいわれても、困ります（謎） なんか勘違いしてるひとが多いようなので追記。以下に列挙するのは、単に僕がフィードリーダで読んでいる Blog あるいは日記の中で、このひとは Perler だなぁと思われたところを挙げているだけであって、このリストが、日本語で Blog を書いている Perler の一覧だとか、ましてや、ここに挙げられていない Perler は駄目な Perler などということでは全くありません。お間違いのなきよう。 Perler な Blog blog.bulknews.net bulknews.typepad.com Bulknews::Sub
CPANの漁りかた
Perlの学習コスト高いよね、て感じのエントリが目立つのでふと思い返してみると、ぼくは1年前は 救命病棟でいうところのレベル4くらいでした。変数に our をつけると何がどう違うのかわかなかったりしたのを覚えてます。 その後1年、今はレベル8弱ってとこでしょうか。バグレポートはなるべく出すようにしていますが、車輪になりそうで、モジュールはまだ上げてません。 この1年どうやってレベルを上げてきたかなといえば、CPANあさり、これに尽きます。で、これから Perlやるぞって人にもしかして参考になるかもしれないので、ぼくがやってきた自己流の漁りかたを書いておきます。 1. まずはPerlStyleを読み直す miyagawa さんが以前 WEB+DB PRESS で連載していた Perl Style というのを、総集編マガジンで今も入手可能です。これはロギングとか OR マッピングなどの基本的題
Plaggerで はてなブックマーク件数付きでGmailへ送る : しげふみメモ
2006年04月20日23:59 カテゴリPlagger Plaggerで はてなブックマーク件数付きでGmailへ送る Plaggerで、 Bloglinesの未読をGmailで読む ところまでできました。 今回は、はてなブックマーク でのブックマーク数を付けてメールを送るようにしてみました。 その他いろいろメモ。 ちなみに、Bloglinesで読んでいる時は、 StylishでBloglinesを見やすく で書きましたが、Greasemonekyと m4i::diary - E4X と はてなブックマーク件数取得API のスクリプトでブックマーク数を表示していました。 Plaggerではプラグインで簡単に追加や削除ができます。Plaggerのいいところですね。 Filter::HatenaBookmarkUsersCount でブクマ数を取得し Widget::HatenaBookma
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
@nifty：デイリーポータルZ：まにあいませんでしたメールジェネレータ
http://www.kumikomi.net/article/diy/2006/01led/01.html
30日でできる! OS自作入門 - 川合 秀実
http://d.hatena.ne.jp/courant/20060505/1146769986
http://d.hatena.ne.jp/freedomcat/20060505
IDEA * IDEA
http://kazuaki.homelinux.com/diary/20060505.html
Amazon.co.jp：Web DB press (特別総集編)
Amazon.co.jp： Perlプログラミング救命病棟:
