予備審査が12月14日に決まったから、草稿はその2W前、28日が閉めきりか。 すこし、伸びたが、焼け石に水か。。 最近は、シナリオ形式化部分を強化中。プロセス代数における充足性をGameと interface automataを混ぜて説明しているところを、整理する…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。