Tor関手 - 他の言語