型付けされていないラムダ計算を調べ、コンピューティングの最も基本的なシステムの 1 つです。非常に単純なルールのセットから始めて、すべての計算が可能です。しかし、ルールが単純だからといって、ラムダの微積分が簡単であるとは限りません: 何かを計算できるポイントに到達するには、巧妙さと創造性が必要です。 このアプリでは、ラムダ計算式 (ラムダ、変数、関数呼び出し) を視覚的に作成し、それらを評価することができます。ブール値、教会の数字、または Y コンビネーターを試してみてください。 タブレットで素晴らしい作品!電話では、風景モードで最高の作品。
プログラムの詳細
- カテゴリ: 教育 > 教育とトレーニングツール
- パブリッシャー: Alan Pierce
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.1.0
- プラットフォーム: android