突如、「キム・ノバック」って人名が思い浮かんだ。が、誰だかわからん。「めまい」に出ていた女優さんか、キム・ノヴァク。「めまい」は見たと思うが、なーんも覚えてない。あ、キム・ノバックは「ピクニック」にも出てた、ウイリアム・ホールデンと一緒に…

カリー／ハワード対応は、「論理⇔プログラム」の対応。典型例は、「連言と含意のNK」と「型付きタプル付きラムダ計算」の対応。型の計算（型推論）がNKの証明に対応している。ジラールとその周辺による対応はもうちょっと範囲が広いし、少し観点が違うように…