この人が導入した
導来圏 はミラー対称性で
重要な役割を果たす