開発補助⓪chatgptを導入①システムを勉強させる②システムについて会話（構文チェックなど）③システムの改訂（コード作成など） 証明探索現状、\(\blacktriangleleft\)の注釈を定理チェックに入れるとp […]