LHR標準になんて為るか?
4000系が出るころにはマイニングなんて一般には忘れ去られてるだろう