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