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

日々の流転


2002-05-31 [長年日記]

λ. シグマ計算

「シグマ計算って〜」というような会話を耳にして、「おっ、例のσ-calculusか」と思ったら、合計を表わす∑の話だった……

Tags: tom

λ. あろ〜むで夕食

これが話に聞く、あろ〜むか。

Tags:

λ. 今日の向井研

一部のPrologの処理系はfreezeという述語を持っていて、これは lazy evaluation のために使われる。

発表資料