エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2022-03-15から1日間の記事一覧

ラムダ計算と無限ラムダ多項式(7)

Calc クラスの RepeatGenerator と、それに必要な関数の文字列版です。 private static Func<Exp, Exp> GetNextDecimalDigitAndNumbers = (Exp numbers) => Exp.From("{" + "let (number, square_difference, scale) = numbers;" + "def maxdd (dd) =" + "if dd >= 0 t</exp,>…

ラムダ計算と無限ラムダ多項式(6)

Calc クラスの RepeatGenerator と、それに必要な関数を書き直しました。 private static Func<Exp, Exp> GetNextDecimalDigitAndNumbers = (Exp numbers) => { Exp n0 = Exp.Number(0); Exp n1 = Exp.Number(1); Exp n2 = Exp.Number(2); Exp n9 = Exp.Number(9); Exp</exp,>…