@misc{weko_203890_1,
   author	 = "岡,大貴 and 高野,祐輝 and 鄭,振牟 and 宮地,充子",
   title	 = "ZoKratesのドメイン固有言語に対するLispベースの拡張とVariant型の提案（2020年02月19日版）",
   month	 = "mar",
   year 	 = "2020"
}