トップ «前の日記(2005-04-14) 最新 次の日記(2005-04-16)» 月表示 編集

日々の流転


2005-04-15 [長年日記]

λ. Announce: 圏論勉強会(第六回) は延期

会場が使用できなくなり、参加者も少数なので、今週末の勉強会は延期になったそうです。延期先はゴールデンウィークらしいのだけど、どうなることやら……

Tags: 圏論

λ. Randomly Generated Paper Accepted to Conference

addieに教えてもらった。ウヒヒ

λ. Programming with Static Invariants in Ωmega - Nathan Linger and Tim Sheard

Ωmega の話。

Obligations と Assumptions による型チェックは "Wobbly types: type inference for generalised algebraic data types" のものよりも随分単純に見える……

不変量(invariant)を表現する方法としての、GADT と Nested types (non-regular types) の関係はどう考えるべきだろうか。

Tags: 論文