上原正三 Advent Calendar 2020 - Adventar
今年亡くなった上原正三先生の業績を振り返りましょう。