2022-03-06 musesで実験 メモ STEM 半形式証明スクリプト xgerby muses 次のタグに関する実験をする。 STEM 半形式証明スクリプト xgerby stringer 実験の情報は、muses〈ミューゼス〉というタグにまとめる。今日のメモ: node.js のアップデートは、バイナリパッケージの再インストールだった。 npm のアップデートは nmp update -g npm