研究室の先輩にまたまた教えていただいた。なんかちょっとH研っぽいですよ。 λ計算には大きくわけて2つの流派がある。ひとつはどこでも好きなところを簡約できるという流派で、もうひとつはいろいろ条件を付けることで簡約できるところを少なくしようとする…

まずは普通にインストールする。インストール自体はできるはず。この時点では1400x1050の画面解像度が使えない可能性がある。（手元の環境では使えなかった。）また、カーネルがSMPをサポートしていないので、CPUは一つしか使えない。 linux-image-2.6.15-23…