微分可能な点の集合が孤立点を含むような実変数の実数値関数ってありますか?