[jfriends-ml 1451] Re: 読書会 (Java スレ

[坂井 康記 <EZK00150@xxxxxxxxxxx>]

最近JAVAは全くやってないのでずっとROMしていた坂井と申します。
なんか、うちの研究室よりな話がでたのでちょっと首を突っ込んでみます。

>   ◇Ｐ３５
>       「チューリングマシン」とはなんなのか? 理想のコンピュータ?

Turing Machine（略してよくTMと呼ばれる）は、計算機の数理的な古典的モデルです。
TMは、アルゴリズムの計算可能性、時間計算量、領域計算量を求める際に、実際の計算
機の抽象モデルとして使われます。ただし、実際の現場では全く使われないといってい
いと思います。

># らむだ計算とか…うきー(ぉぃ

λ計算もこれまた計算可能性や、計算の停止性を議論するために用いられますね。λ計
算から関数型言語が生まれ、Schemeなどが生まれました。

＃読書会、一度参加してみたいです・・・

/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/

東京大学大学院工学系研究科情報工学専攻
情報処理工学講座（武市・岩崎研）修士２年
　坂井　康記
E-mail:EZK00150@xxxxxxxxxxx（自宅）
       yasunori@xxxxxxxxxxxxxxxxxxx（研究室）
homepage http://www.ipl.t.u-tokyo.ac.jp/~yasunori/（研究室）

/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/