When hot, fry the onion, garlic and carrot for five minutes, stirring occasionally, until soft and golden. Add the tomatoes, shimeji, and two and a half teaspoons each of salt and pepper, and fry for five minutes, stirring occasionally, until the mushrooms are cooked.