"中村 知己,鹿島 亮","項内に束縛関係を持つ一階述語論理の構成","RIMS 共同研究","京都大学数理解析研究所 講究録",,"Vol. 2083",,,2018,Aug. "鹿島亮,中村知己","二階の関数記号を持つ一階述語論理について","日本数学会2017年度秋季総合分科会","数学基礎論および歴史分科会アブストラクト集",,,,,2017,Sept. "中村一樹,林良嗣,中村文彦,福田敦,中道久美子","アジア開発途上国大都市における低炭素交通の診断とQOL評価を用いた治療",,"土木計画学研究・講演集",,"Vol. 50",,,2014,Nov. "Ryosuke NAKAMURA,Bo CHEN,Masashi MATSUOKA,Hirokazu YAMAMOTO,Akihide KAMEI,Kazuki NAKAMURA,Hajime YANO","Experimental Search for the HAYABUSA Re-Entry Module on the Ground by Using a Remote-Sensing Instrument onboard Formosat-2 Satellite",,"PASJ Publications of the Astronomical Society of Japan",,,"No. 63","pp. 995-1001",2011,Oct.