Update prosym_summer2014_kiwamuokabe.tex

ソフトウェア科学/工学　の文脈を前節からこちらに移動。
８ｋｂマイコンで検証する意義の補強。