@misc{oai:kanazawa-u.repo.nii.ac.jp:00053713,
 author = {Tajima, Atsushi and 田嶋, 敦},
 month = {Jul},
 title = {消去法},
 year = {2020}
}