2024年9月30日
・DBについて名前を変更したい。→ Thm -> Prop (名前を変える） →優先３ →済み表示名と逆？表示名はいらない？ →済み詳細ボタンはいらない。一行つづ背景色を変える →優先デフォルトで100行表示に →優先 […]
2024年9月29日
・単独表記を持たないwordの紹介・外部変数を扱えるように。補題も・php functionの整備。順番替える。ary1_map,tex0,decent0を改良？・word関数の#を\に・数学の教科書を先に進めるきれいな […]
2024年6月20日
WordPress へようこそ。こちらは最初の投稿です。編集または削除し、コンテンツ作成を始めてください。
