ラムダ計算機 ラムダ式を入力し、それを通常の形に減らす
今すぐダウンロード

ラムダ計算機 ランキングとまとめ

ラムダ計算機 タグ

式電卓 表現 減らす ラムダ 式を減らす ラムダの発現

ラムダ計算機 説明

Lambda表現を入力し、それを通常の形に減らす Lambda Calculatorは、教会によって発明されたラムダ微積分のための無料で使いやすいエンジンです。 Lambdaの電卓は、ユーザーがラムダ表現に入り、エンジンによって採取された範囲のシーケンスを見ることができ、式を通常の形に減らすために。 Lambda Calculatorは、純粋な計算と簡単な適用された計算との間の選択と遅い評価の間の選択肢を含む、さまざまなカスタマイズオプションを使用できます。 Lambda Calculatorは、ラムダ計算を学習して実験するための便利なツールです。要件： ・Java 1.4以降 このリリースの新機能： ・機能：最大長オプションを介して、プログラムは、ユーザが印刷された各式に表示される最大文字数をバインドさせることができます。これにより、計算プロセスがより迅速に進み、テキスト領域はより効率的に機能します。 ・機能：プログラムはバックスラッシュの代わりにLambda文字を表示します。プリントLambda文字オプションは、機能を無効にする機能を与えます。 ・インターフェースの調整：入力フィールドがシンボルの値を表示しているとき、ユーザーはそのフィールド内の値を変更します。プログラムはブラウザ内のシンボルを選択解除します。 ・バグ修正：識別子の平等検査におけるエラーは、いくつかのJavaインストールを表現の一致シンボルを認識できないようにしました。

ラムダ計算機 関連ソフトウェア