集合論に基づいた言語を作りたい

集合論に基づいた言語を作りたいat TECH

集合論に基づいた言語を作りたい - 暇つぶし2ch593:デフォルトの名無しさん
14/10/23 09:00:17.01 xLBbOXbP.net
>>588
別に海岸線上の点を連続的に動かす必要ないでしょ
一般に距離空間において点Pから集合A,Bまでの距離をそれぞれd(P,A),d(P,B)とおくと
これらは連続関数になるからd(P,A)=d(P,B)を満たす点Pの集合を求めりゃいいだけ

次ページ

続きを表示

1を表示