初期化 v = {} または v = dict() ループ キーで for key in dict.keys(): print(key) 値で for value in dict.values(): print(value) キーと値で for key, value in dict.items(): print(key, value)

exit バッチファイルを終了し、コマンドプロンプトを閉じる。 exit /b バッチファイルは終了するが、コマンドプロンプトは閉じない。

rustのanyhowを使って、エラーの型に応じた処理を書く方法が分からなかったのでメモ。 以下の★のところで処理を記述している。 use anyhow::{Context, Result}; fn get_int() -> Result<i32> { let path = "test.txt"; let num_s = std::fs::read_to_string(path)</i32>…

Growiの「設定」→「カスタマイズ」を開く。 「カスタム HTML Header」に以下を追記して更新する。 <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.0.1/highlight.min.js" defer></script> URLは、以下のページからコピペしている。 highlight.js - Libraries - cdnjs - The #1 free and open source CDN built to make life easier for developer…