公式で絡んだ覚えのある型いらっしゃいますか?