phc -- the open source PHP compiler

コメント追加

投稿者 kw : 2009年5月14日 16:53:00 JST #

型付けに失敗した時にその原因箇所をスライスする手法の論文。 型推論は制約解消なので初めに解くべき制約集合を求める。この時、各制約とプログラム断片を対応付けておく。これにより、制約集合が充足不能だった場合に充足不能な極小部分集合を求め、極小部分集合に含まれる制約に対応づけられたプログラム断片をスライスとして得ることができる。この論文が対象としているのは let 付きの型付きλ。得られたスライスがやはり型付けできないことと、最小のスライスになっていることがちゃんと証明されている。

author="Christian Haack and J.B. Wells",
title="{Type Error Slicing in Implicitly Typed Higher-Order Languages}",
journal="Science of Computer Programming",
volumn="50",
number="1-3",
pages="189--224",
year="2004"

コメント追加

投稿者 kw : 2009年5月14日 13:18:00 JST #

TeXclip

TeX で数式を書いて画像を生成するサービス。一応 Mac + Firefox で生成して、VMware Fusion + Windows XP + PowerPoint 2007 のスライドに貼付けられるところまで確認。¥ と \ を区別するみたいで少しはまりました。\ を使いましょう。

コメント追加

投稿者 kw : 2009年5月10日 23:16:00 JST #

宇宙をプログラムする宇宙、Seth Lloyd 著、水谷淳 訳、早川書房

読了。

コメント追加

投稿者 kw : 2009年5月10日 20:14:00 JST #

今まで POP でローカルに取り込んでいた ML 系のメールを全部 Gmail に放り込むことに。とりあえず転送設定をして、ローカルのメールを全部 Gmail にコピー。なんかコピーできないメールが 2 つあったけど適当に回避。4 万くらいあったから結構時間がかかりました。

コメント追加

投稿者 kw : 2009年5月10日 12:25:00 JST #

利己的な遺伝子、Richard Dawkins 著、日高敏隆、岸由二、羽田節子、垂水雄二 訳、紀伊國屋書店

読了。

コメント追加

投稿者 kw : 2009年5月9日 19:22:00 JST #

資本主義と自由、Milton Friedman 著、村井章子 訳、日経BP

読了。

コメント追加

投稿者 kw : 2009年5月8日 21:42:00 JST #