SLCをWebブラウザ上で実行できるTry SLC(Symmetric Lambda Calculus)を公開しました。 SLCって？ SLCとはSymmetric Lambda Calculusの略で、日本語だと対称ラムダ計算と呼ばれる、ラムダ計算の一種です。 その名の通り対称性が特徴なラムダ計算です。 ここで…