この資料をSMS送信: Lower bounds for unambiguous automata via communication complexity