不可圧縮ナビエ–ストークス方程式に対する有限要素投影/ラグランジュ–ガレルキン法の収束解析 | Synapse