3 存在型の自己準拠、共変性と反変性.pdf