View
503
Download
1
Category
Preview:
Citation preview
まとまらないのだけど• ひとつのプログラミング言語で文書を含めたすべてを記述する試みに無理がある.Jupyter (Code + Markdown + LaTeX)的な文芸的プログラミングはひとつの突破口かもしれない.
• 今回は,数学というドメインを扱ったから,数式処理システムが輝いた.数式のドメイン:数式の構成,Symbolicな計算,コードとドキュメントの生成
• 二つの意味でのコードの再利用性
• 記号処理[数式] → 数式’ による「記号処理」の再利用性 (c.f. NewtonRaphson)
• 数式 → Python, 数式 → LaTeX による「数式」の再利用性
• 数式だけでなく,世の中のありとあらゆるドメインがドメイン固有の「言語」を要している.ドメインに特化した知識の表現,ドメイン上での計算,ドメイン固有の知識 → コード,ドキュメントの変換が求められている.
• 要するに DSL は重要だというあたりまえの落ちなの?
Recommended