A numerical verification method for solutions of one dimensional free boundary problems (ポスター発表)
第17回日本OR学会常設研究部会数理計画シンポジウム (RAMP2005), シティ弘前ホテル, 2005年10月