12/01/27 23:48:39.49
>>383
それは分かるのだが、たとえば、ブラウワの不動点定理とラムダ計算における不動点定理に
共通する成立条件は何なのだろうか？あるいはこうした不動点定理を最も抽象化した定理って
どんな形をしているんだろうか？という疑問なのだが。おかしいか？
12/01/27 23:48:39.49
>>383
それは分かるのだが、たとえば、ブラウワの不動点定理とラムダ計算における不動点定理に
共通する成立条件は何なのだろうか？あるいはこうした不動点定理を最も抽象化した定理って
どんな形をしているんだろうか？という疑問なのだが。おかしいか？