λ抽象(無名関数) を SKI コンビネータに展開するトランスレータを Haskell で書きました。コード一式を GitHub に置いています。https://github.com/today…