多段階計算の型システムの基礎

スライド 型システム 多段階計算

※制作に使用した当時のKeynoteまたはLaTeXiTの不具合なのか,直接PDFとして出力したファイルが壊れていたため,Keynoteに各ページを画像として出力させたものを結合してPDFにしています.

初出: