慶應義塾大学の糟谷大河さんによると、日本国内だけでもキノコは4000～5000種類あるという。糟谷さんは大学構内で新種の可能性があるキノコを3種類発見している。