第43回情報処理学会DCC研究会にて発表しました「プログラミング演習におけるタイピングされたことを保証するテキストエディタの提案」（2026-05-28）