日々の流転

λ. 成績表が送られてきた。これで、ここ数日の不安がようやく解消。

λ. OSASK/NEC98 ver.2.8

起動してみた。

λ. 読書

『ドラゴンセンターを破壊せよ』下

クライブ・カッスラー(Clive Cussler)[著] 中山善之[訳]

λ. binary tree in the CPL

left object tree(a) with pr-tree is
  leaf: a -> tree
  branch: prod(tree, tree) -> tree
end object
 
let count-leaves = pr-tree(s.zero.!, add)
let leaves = pr-tree(ev.pair(curry(cons), nil.!), append)
let reflect = pr-tree(leaf, branch.pair(pi2, pi1))

λ. 『聖・高校生 1』, 小池田 マヤ

どっかで見たことある絵と思ったら、『バツイチ30ans』の人か。

λ. 「東方戰騎譚」の攻略みたいなもの

雪さんすきすき日記(2004-09-02) より。

λ. Comonadic Functional Attribute Evaluation. Tarmo Uustalu and Varmo Vene.

<URL:http://lambda-the-ultimate.org/node/1666> より。あー、そっか。属性文法も一種の contextual effect で、comonadで扱えるのか。気づかなかった。面白い。

λ. [ ruby-Bugs-5711 ] REXML fails to parse UTF-16 XML.

UTF-16なXMLをパース出来ないことがある。 多分、二回デコードしようとしてるんだろう。

λ. [ruby-list:42792] KconvはBMP外の文字を扱えない?

標準ライブラリに、きちんと動作する UTF-8 ⇔ UTF-16 の変換が存在しないのは問題ではないかと思った。

λ. Amazonポイント最大3%(3倍)還元キャンペーン

というのをAmazon.co.jpがやっているそうな。気になっている和書はこの機会に買ってしまおうかな。ちなみに、コミックは対象外と書いてあるけど、Horror & SF - coco's bloblog の漫画を書籍化した『今日の早川さん』は対象内だった(ので早速注文)。

しかし、Amazonカードのポイント2%と合わせても、たったの5%にしかならないんだよなぁ。学生時代は12.7%引きで買えた*1のに……学生時代が少し懐かしいよ。

λ. 帰りに泳いできた

帰りに近くのプールで泳いできた。例によって1kmを30分くらいで。 泳いでいたら、すごく肩がこっていたことに気づく。 それがほぐれて(?)気持ちいい。 いい運動したし、今日はよく眠れそうだ。

λ. ソフトウェア仕様の差分について by 石井忠夫

ソフトウェアの発展問題というのを型理論で扱おうという話。 ソフトウェア発展問題というのは以下のような問題。

今、考えている発展問題に現れうる全ての仕様の集合をS、全てのプログラムの集合をPとし、ある仕様 S∈S からプログラム P∈P が導かれることを S⊢P と表す。 また、仕様とプログラムの集合にある順序関係 ⊑ を導入し、仕様 S が S' に発展することを S⊑S' と表す。 この時、ソフトウェア発展問題は仮定 S⊢P 及び S⊑S' の下で、条件 P⊑P' 及び S'⊢P' を満すプログラム P' を見出すことと定式化される。 ここで、仕様の発展 S⊑S' が任意であれば、両者に共通部分が無くプログラム P' は新規に実現する必要がある。 他方、両者に共通部分が多く含まれ、両仕様の差分を活用して P から P' が効果的に実現される時には発展問題を考えることができる。

でもって、型理論での型=仕様, 項=プログラムという枠組みで、型と項にそれぞれ順序 ⊑ と、合併⊕、差分⊖、共通部分⊗を定義して、このソフトウェア発展問題を形式化しようとしている。 ただ、導入した順序がソフトウェアの発展をどの程度表現できているのかはちょっと疑問。

• <URL:http://ci.nii.ac.jp/naid/110006390496/>
• <URL:http://www.citeulike.org/user/msakai/article/3188477>