・DBについて詳細ボタンはいらない。一行つづ背景色を変える →済デフォルトで100行表示に →済 ・webページの作り方。ファイルがぐちゃぐちゃになりがち…WordPressを使う以外にも？ ・phpファイルの編集エデ […]
変更点・tex1、Thm_texなどいらなくなった気がするので削除・{}形のtexコマンド計算を変更(->を使用しないように) 変更したい所・DBのいらない列を削除・DBでの -> を使用をやめる。word \(\to\ […]
開発補助⓪chatgptを導入①システムを勉強させる②システムについて会話（構文チェックなど）③システムの改訂（コード作成など） 証明探索現状、\(\blacktriangleleft\)の注釈を定理チェックに入れるとp […]
