@misc{weko_212244_1,
   author	 = "大渡,勝己",
   title	 = "定理証明支援系Coqによる二人単貧民の定理の証明",
   month	 = "aug",
   year 	 = "2021"
}