・DBについて詳細ボタンはいらない。一行つづ背景色を変える →済デフォルトで100行表示に →済 ・webページの作り方。ファイルがぐちゃぐちゃになりがち…WordPressを使う以外にも？ ・phpファイルの編集エデ […]
変更済み・アロー関数・var・setn.x 変更したい所・Thmを作るのに使用される記号の変更 ＜ → <<・やたらと _ を使いすきている気がするのでaliasでは ' にする？・文字@pxとか？ word […]
開発補助⓪chatgptを導入①システムを勉強させる②システムについて会話（構文チェックなど）③システムの改訂（コード作成など） 証明補助証明の一つのやり方…何らかの言語で書かれた証明(の方針)をProver語に翻訳して […]
