- 512 名前：デフォルトの名無しさん mailto:sage [04/04/03 17:23]
- >>511
> > Mc上で仮想Mpを定義できれば どっちが本物とは言えなくなる罠。
>
> これが出来ないんじゃないのかな、
> というのが上のレスと思われ。
クラスベース環境上にプロトタイプベース環境を構築した例など腐るほどあるが。
> 現代のプログラミング言語はチューリング機械の表現のどのようなモノも、
> （言語機能と同レベルで）表現できるとは限らない。
現代風のプログラミング言語で実現できない例を挙げてみなよ。
つーか、とりあえず構造化プログラミングの論文でも読んでみれば？
