Dictionary: “無限回微分可能”