2012-10-23から1日間の記事一覧
ベースの弦は上から下に巻く。2つ先のペグ程度の長さを持たせて、90˚*曲げてから*切断する。
(λx.xx)(λx.xx)はβ簡約できないので無限ループする。らしい。 詳しいことはよくわからんのだが、とにかく無限ループする。Scheme的な記述をすると( (lambda (x) (x x))(lambda (x) (x x)) )である。おそらく実用に供する機会は無いものと思われる。
ベースの弦は上から下に巻く。2つ先のペグ程度の長さを持たせて、90˚*曲げてから*切断する。
(λx.xx)(λx.xx)はβ簡約できないので無限ループする。らしい。 詳しいことはよくわからんのだが、とにかく無限ループする。Scheme的な記述をすると( (lambda (x) (x x))(lambda (x) (x x)) )である。おそらく実用に供する機会は無いものと思われる。