2010-01-29から1日間の記事一覧

証明:大枠

「MitraとMitrani 1990年のかんばん方式に関する研究(2)」で保留にした証明をここで考えてみます。 ・・・・・(5) ・・・・・(6) ・・・・・(7) ・・・・・(5') ・・・・・(6') ・・・・・(9) 証明したいのは、 (定理1) (5)(6)(7)(5')(6')(9)が成り立…