@article{oai:tsukuba.repo.nii.ac.jp:00024564,
 author = {井田, 哲雄 and IDA, Tetsuo and Kasem, Asem and Ghourabi, Fadoua and Takahashi, Hidekazu},
 issue = {5},
 journal = {Journal of symbolic computation},
 month = {May},
 pages = {571--583},
 title = {Morley’s theorem revisited: Origami construction and automated proof},
 volume = {46},
 year = {2011},
 yomi = {イダ, テツオ}
}