本発表では散逸/保存則を持つ偏微分方程式に対して，それらの性質を再現する Galerkin（有限要素）スキームを考える． そのための枠組みとして既に離散偏導関数法[1]が知られており， 同手法では，まず散逸/保存則を持つH^1弱 形式を発見し，その後それを適切に離 散化する．しかし，特別な場合を除き，散逸/保存H^1弱 形式の発見は困難であった． 本研究では，L^2射 影と呼ばれる技法を用いて，散逸/保存H^1弱 形式を発見するパートの自動化に成功した． そこで本発表では，スキーム導出までの一連の流れを新しい枠組みとして整理 し，報告する．

[1] T. Matsuo: Dissipative/conservative Galerkin method using discrete partial derivatives for nonlinear evolution equations, J. Comput. Appl. Math. 218 (2008) 506--521.