教育用電子計算機システム2024
https://www.edu.gsic.titech.ac.jp/index.php?cmd=s&k=443169883d
plugin=diff is not implemented.