S57 3/19 理研シンポジウム「リスプ・マシン」 理化学研究所