Ext と Tor 函子の対偶性