この投稿は、vExperts Advent Calendar 2025 の 1日目です。初日なので、手軽に試せる HOL の話にしました。 はじめに：vExperts Advent Calendar について 今回の話 今回使用した HOL HOL 環境へのテキスト送信の問題 テキストをいい感じに送信する Tips は…