はじめに(2024-01-22追記)読者から、この手順でもバージョン切り替えができないとの質問があり、試したところその通りでした。記事執筆時点からColab側の環境が変わり、今は動かない状態に…