Gemma https://blog.hatena.ne.jp/Gemma/ Gemmaの日記 https://gemma.hatenadiary.org/ この名言の出典はどこだったっけ? ゼミで大堀 淳 著 "プログラミング言語の基礎理論"を読んでいます 領域論的モデルを解説する担当にあたった。ぎゃー。 de Bruijnインデックスって、cutオペレータの話につながってそうな気がする。 参考 lambdaと引数リストを省略する 参考Lingr Gauche部屋 2007/03/12 「やっぱりDCPOだね。」 ~ DCPO について、叶姉妹・藤崎奈々子・山川恵里佳 DHMOネタから持ってきたけどDしかあってないじゃん。 半順序集合(Partially ordered set)に、ポセットなんて愛称つけやがって。かわいいじゃないか。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20080601%2F1212321688" title=" シンタックスの木を見てセマンティクスの森を見ず - Gemmaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-06-01 21:01:28 rich https://gemma.hatenadiary.org/entry/20080601/1212321688 1.0 100%