不変式造句
- 専門はCR幾何学、多変数関数論、不変式論。
- 不変式ともいう。
- フェファーマンのベルグマン核の不変式に関するプログラムにおいて業績がある。
- 永田雅宜の研究をつぎ、不変式環の研究によりヒルベルト第14問題の新しい反例の構成。
- ループ内での呼び出しだった場合、その関数内にループ不変な文があれば、ループ内不変式移動が可能となる。
- 複素モンジュ?アンペール方程式、超局所解析、放物型不変式論、計算機代数などを幅広い道具を用いて研究している。
- 根と係数の関係(こんとけいすうのかんけい)は、多項式の根と係数との間に成立する関係式を表した不変式論の定理である。
- 1960年代、1970年代に可換環論と代数幾何学の基礎付けにおいて大きな業績を残し、 不変式論を用いてヒルベルトの第14問題の反例を構成した。
- このツールキットには、要求仕様を作成するためのエディタ、変数の依存関係を表示するブラウザ、仕様内の整論理式での不備をチェックする機構、仕様とアプリケーションを比較検証するモデル検査や自動定理証明機構、仕様から自動的に不変式(invariants)を構築する機構などが含まれる。
- さらに、彼自身の代数学への主要な貢献であり、不変式論を研究していた頃からの関心の的であった可換環論(そのころはイデアル理論とよばれていた)にそれほどの重要性を与えなかったし、少なくとも表面上は、レオポルト?クロネッカーに立ち向かっていたゲオルグ?カントールを助けるような教えを広めることもなかった(コンスタンス?リードの伝記に伝えられるように、ヒルベルトはクロネッカーから多くを学んだが、彼の姿勢を嫌悪していた)。
- 用不変式造句挺难的,這是一个万能造句的方法