夏のプログラミング・シンポジウム2014「Web版Lindaによる実世界コンピューティング」