BenchmarkToolsって便利ですよね．例のように(10×10)のランダム行列の固有値を計算するのに要した時間を計測したとします． ここから，最小時間37.748とか，中央値47.454とかを取り出すにはどうしたらよいでしょうか，というのがいつも分からなくなるのでメ…