@techreport{oai:tsukuba.repo.nii.ac.jp:00048862,
 author = {坪井, 明人 and TSUBOI, Akito},
 month = {},
 note = {科学研究費助成事業 研究成果報告書：基盤研究(C)2013-2016課題番号 : 25400190},
 title = {タイプ排除定理と無限組み合わせ論の研究},
 year = {2017},
 yomi = {ツボイ, アキト}
}