Google Colaboratoryはどこでも同じ環境で作業ができるので便利ですが，jupyter labにあるようなHTMLダウンロードの機能がないようです． そこで下記を参考にしました． qiita.comただ，ファイルの場所を聞かれたりとそのまま使うことが出来なかったので，す…