大会名称 |
---|
2018年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2018 |
発行日 |
2018-09-12 |
セッション番号 |
202 |
セッション名 |
【AI TECH TALK】〜ビジネス最前線〜 企業の技術部門が語る人工知能関連テクノロジー |
講演日 |
2018/09/19 |
講演場所(会議室等) |
第3イベント会場 |
講演番号 |
B-2-4 |
タイトル |
プログラミング言語Egisonによる直感的な表現の追求 |
著者名 |
江木 聡志, |
キーワード |
抄録 |
Egisonは、アルゴリズムのより直感的な表現を求めて開発されているプログラミング言語である。正規表現のように効率的で高い表現力をもつパターンマッチを、ユーザーが定義した任意のデータ型に適用できることがEgisonの第一の特徴である。このパターンマッチ機能の応用として、数式に対するパターンマッチの方法から、ユーザーがカスタマイズできる数式処理システムが実装された。この数式処理システムには、数理物理学の計算に頻出するテンソルの添字記法を扱うための機構や、微分方程式を簡潔に表現するための関数シンボルという機構など、Egison独自のアイデアが導入されている。本講演では、これらのアイデアを紹介する。 |