0822132人目の素数さん垢版 | 大砲2017/12/23(土) 20:32:04.10ID:a/e7MMcn >>820 超準解析の一つのモデルとして、N→Nへの写像と超実数を同一視するというものがあるんですよ これを使うとこういう風に表せますね