種別[hbm] セクションJRF の公開ブックマーク 日時2011年01月21日 17:00:01 元URLhttp://d.hatena.ne.jp/sumii/20060507/1147006438 タグ[型理論] [論理学] [メタファ] sumiiの日記 - callccによる排中律の証明