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