トップ «前の日記(2008-02-17) 最新 次の日記(2008-02-19)» 月表示 編集

日々の流転


2008-02-18 [長年日記]

λ. PPL2008で発表します

すでに暫定版プログラムが公開されていますが、第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) で「非正格関数の融合変換における始代数の存在について」という題で発表します。 内容は基本的には修士のときにやっていたことをまとめ直したものです。 初参加なのでちょっと不安なのですが、よろしくお願いします。