略称は「鯉山」「鯉山小」。