我總覺得台灣的公家機關不太可能知道什麼是挖礦