2016年2月27日（土） 第一回SIGPXでのお話し

1. x
2
→ Code: x*x，Doc: $x^2$
OpenGL計算ライブラリ実装の
経験から
脇田建 ‒ 東京工業大学
Ken Wakita ‒ Tokyo Tech

2. Motivation

3. Let’s make a program that computes
p
2

4. Wikipedia says:
A square root of a is y such that y2
= a.

5. Wikipedia says:
A square root of a is y such that y2
= a.

6. Ok, fine! Newton-Raphson method over y2
= a.
Let’s see, how this idea is put into a working code.

8. So far so good
but …

9. but 1: my x2
a = 0 gone?

10. but 2 (redundancy): the same math
formula appears in the doc and the code.

11. but 3 (complexity): I hate
to write this math formula.

15. まとめ
• Python万歳，SymPy万歳，Jupyter万歳
• 数式処理便利，もっと活用しましょう
• なんてことで，まとめたいわけじゃなくって，

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