@article{CTT100695070, author = {Ryosuke NAKAMURA and Bo CHEN and Masashi MATSUOKA and Hirokazu YAMAMOTO and Akihide KAMEI and Kazuki NAKAMURA and Hajime YANO}, title = {Experimental Search for the HAYABUSA Re-Entry Module on the Ground by Using a Remote-Sensing Instrument onboard Formosat-2 Satellite}, journal = {PASJ Publications of the Astronomical Society of Japan}, year = 2011, } @inproceedings{CTT100783323, author = {中村 知己 and 鹿島 亮}, title = {項内に束縛関係を持つ一階述語論理の構成}, booktitle = {京都大学数理解析研究所 講究録}, year = 2018, } @inproceedings{CTT100783322, author = {鹿島亮 and 中村知己}, title = {二階の関数記号を持つ一階述語論理について}, booktitle = {数学基礎論および歴史分科会アブストラクト集}, year = 2017, } @inproceedings{CTT100693822, author = {中村一樹 and 林良嗣 and 中村文彦 and 福田敦 and 中道久美子}, title = {アジア開発途上国大都市における低炭素交通の診断とQOL評価を用いた治療}, booktitle = {土木計画学研究・講演集}, year = 2014, }