第474回

今年の開催も残り１週間となりましたけれども。関数型における隔離の推論についてのスライドが幾つか残っているので、引き続きそれを眺めていってみますね。よろしくお願いします。