なんか前に某所で講演したときのスライド, いいPrikry型入門じゃないですか？と思ったので公開します. いや知らんけど...ファイル名もクッソ適当ですね. ええと講演タイトルは特異基数問題と強制法というタイトルだったと思います. なんかコンパイル通らなく…