トップ «前の日記(2002-05-17) 最新 次の日記(2002-05-20)» 月表示 編集

日々の流転


2002-05-19 [長年日記]

λ. ネットカルチャーの代表が2チャンネルというのはどうかと。

λ. カリー化

以前に、どこかのサイトでSchemeの関数を自動的にカリー化しようという話題を見掛けたのだけど、どこだったかな。多分Gauche方面だったような気がするけど、今探したら見つからなかった。

Tags: scheme

λ. プリンタ

PCに繋がっているのに「プリンタが接続されていません」と言われるようになった。他のPCに繋いでも同じ症状なので、プリンタが壊れたのだろう。あー、面倒だ。

λ. 借りた本

『日本経済起死回生トータルプラン』
石原伸晃, 塩崎恭久, 根本匠, 渡辺喜美 [著]
『英国庭園の謎』
有栖川有栖[著]
『星方遊撃隊 エンジェルリンクス 銀河爆闘編』
伊吹秀明[著] 幡池裕行[イラスト]
R.O.D
倉田英之[著] 羽音たらく[イラスト]
Tags:

λ. 今そこにある危機

を見た。

今そこにある危機 [DVD]

Tags: 映画

λ. IsaViz: A Visual Authoring Tool for RDF

RDFを視覚的に記述できるツールらしい。

λ. 米田の補題

ようやく米田の補題について理解した……ような気がする。そういえば、目標は米田の補題!とか書いていたのが2月だった。もう3ヶ月も経ってしまったのか……

Tags: 圏論
本日のツッコミ(全2件) [ツッコミを入れる]
ψ nobsun (2002-05-21 06:35)

Scheme:手続きのcurry化 <br>http://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi?Scheme%3a%bc%ea%c2%b3%a4%ad%a4%cecurry%b2%bd&l=jp

ψ さかい (2002-05-21 22:33)

おぉ。これですよ、これ。<br>情報ありがとうございます。<br><br>ちなみに、こないだのRubyでのカリー化の話は、<br>これを思い出して書いてみたくなったのでした。