支援者の皆様、関係者の皆様、

当初より大変お世話になっております。

池上 です。

コンピュータと一緒に数学をソフトウェアの開発につきまして、最初の目標期限よりも遅れておりますが、開発を継続しております。

開発を進めてゆく中で、従来の実装で用いていた記号処理的な項の書き換え手法で実装を進めるよりは、

数学的に少し厳密な、数理論理学の形式体系を規準とした設計への変更が必要だと直感し、勉強をしな直して、実装と設計とを見直しています。

この為に、α版のweb公開が3月中旬よりも暫し遅れます。

ご容赦を頂けますと嬉しいです。

プロジェクトの目標としては、変わらずに、

1. 相互に、対話的に、数学を学習できるソフトウェアを実装すること。

2. web上からも1. を試用できること。

3. コンピュータと数学を学ぶことについての書籍を執筆し配布すること。

4. コンピュータで数学ソフトウェアを創ることについての書籍を執筆し配布すること。

を目標とし、

プロジェクトの着地期限の目標も2029年の3月とします。

経過報告としての PDF スライド、

- https://drive.google.com/file/d/1xk99igA-EVv5eMe8xPQmJN5qPyTXHg7o/view?usp=drive_link

および、設計・実装中で不安定なものでありますが、ソフトウェアのGitLabリポジトリを共有いたします。

- https://gitlab.com/rndiis/lennma-math

コメント、質問、声援、クレームなど、お気軽にご連絡下さい。

皆様の精神的、物理的、そして、金銭的なご支援が無ければ、このプロジェクトは空中分解しておりました。

その中でも、結果として皆様のご支援が、開発根拠を与えて下さったことには、特段の御礼を申し上げます。

是非、楽しみにお待ち頂けますと幸いです。

今後とも、よろしくお願いします。

-------

池上 蒔典 (いけがみ まきのり)

<maau3p@gmail.com>

-------