はじめての学会発表（2004/3/15）の続き。 非同期更新の考察。非同期ってよくないのかな・・・ちゃんと収束するかとかも調べる。 収束性の保証。収束保証の数学的証明は読んでもよくわからない。数学的に保証はできなくてもより多くのタスク、大規模かつ実用…