『Elements in Mathematics for Information Science 2020』2025/3/3 12:50:00 http://web.sfc.keio.ac.jp/~hagino/mi20/
