2008-06-01から1日間の記事一覧
この名言の出典はどこだったっけ? ゼミで大堀 淳 著 "プログラミング言語の基礎理論"を読んでいます 領域論的モデルを解説する担当にあたった。ぎゃー。 de Bruijnインデックスって、cutオペレータの話につながってそうな気がする。 参考 lambdaと引数リスト…
この名言の出典はどこだったっけ? ゼミで大堀 淳 著 "プログラミング言語の基礎理論"を読んでいます 領域論的モデルを解説する担当にあたった。ぎゃー。 de Bruijnインデックスって、cutオペレータの話につながってそうな気がする。 参考 lambdaと引数リスト…