在食堂吃了一种蘑菇，外形细长，直径跟筷子差不多，平均长度8-10厘米，呈灰褐色，就像放大版的褐色金针菇，吃起来很脆，希望能知道学名。