オンライン公開版
プログラミング言語Egison入門
パターンマッチ指向プログラミング、数式処理、テンソル計算、微分幾何を解説する、プログラミング言語Egisonのオンライン入門書です。
Egison Book
本書について
Egisonは、パターンマッチと数学的な記法を第一級の道具として扱うために設計されたプログラミング言語です。本書では言語の基礎から始め、記号計算やテンソル計算の実践的な手法までを解説します。
本書で学べること
- 01
パターンマッチ
集合・多重集合・グラフなどの非自由データ型に対するパターンを直接記述します。
- 02
数式処理
数式データ、簡約規則、拡張可能な数学関数の仕組みを学びます。
- 03
テンソル記法
添字記法によるテンソル計算と微分幾何のプログラムを解説します。
全目次