@article{oai:ipsj.ixsq.nii.ac.jp:00183780,
 author = {長尾, 真},
 issue = {11},
 journal = {情報処理},
 month = {Oct},
 pages = {1043--1044},
 title = {名誉会員　坂井利之先生を偲ぶ},
 volume = {58},
 year = {2017}
}