シンタックスの木を見てセマンティクスの森を見ず

• この名言の出典はどこだったっけ?

• ゼミで大堀 淳 著 "プログラミング言語の基礎理論"を読んでいます
• 領域論的モデルを解説する担当にあたった。ぎゃー。
• de Bruijnインデックスって、cutオペレータの話につながってそうな気がする。
  • 参考 lambdaと引数リストを省略する
  • 参考Lingr Gauche部屋 2007/03/12

• 「やっぱりDCPOだね。」

~ DCPO について、叶姉妹・藤崎奈々子・山川恵里佳

• • DHMOネタから持ってきたけどDしかあってないじゃん。

• 半順序集合(Partially ordered set)に、ポセットなんて愛称つけやがって。かわいいじゃないか。