カテゴリー: 活動日誌

フリーのエディタ、サイト多言語化

直近の活動:1.新しいノートパソコンを購入したので、開発環境を整えている。2.ワードプレスで細かなウェブアプリの公表の場となるサイトをいくつか作っていこうと考えている。

数学の証明の記述法について

数学の証明の記述法について、その難しさの理由と解決方法を考察する。そして、数学の証明の記述方法のあるべき姿と、作業フローを提示する。