wxmxフォーマットと数学ノートブック

SageMath notebook, Jupyter Notebook などノートブック形式が主流（？）らしい。Isabelle（イザベル）もproof documentを指向していた。

Maximaもノートブック形式指向らしいが、wxMaximaドキュメント形式は、まだセッション記録でしかなくて、とてもドキュメントとは呼べない。ほんとに先が長い（絶望に近い）感じがする。

基本的に、縦一列のスプレッドシート・アプリケーションを作る方針だろう。すべての行に番号が付くのも、セルに座標が必要だからだろう。しかし、UIがホントに稚拙だ。

志と現実のギャップがすごすぎて、ちょっと何も言えない。