口コミサイト LabLog の
〈計算代数・数式処理〉
計算機代数の手法を開発し、実数の問題に応用する研究。

About研究室について
限量子消去法を効率化する計算機代数。
深作亮也准教授は、
計算機代数の
限量子消去法は、
最近は、
用語の説明
- 計算機代数
- 計算機を
使って 代数の 計算を 行う 手法を 扱う 分野。 深作准教授の 主な 研究領域 - 限量子消去法
- 与えられた
一階述語論理式と 実数の 範囲で 等価な、 限量子を 含まない 論理式を 計算する 手法 - 一階述語論理式
- 数学の
多くの 問題を 式の 形で 表すことができる 論理式
Research研究テーマ
計算機代数の
Members教員
- 准教授深作 亮也
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related〈計算代数・数式処理〉に近い研究室
計算代数・数式処理
〈マグニチュード理論・代数トポロジー〉マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門広義の
マグニチュード理論・代数トポロジー(浅尾 泰彦)マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門広義の
〈科学機械学習・AI for Science〉マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門物理法則をこの
画像について
トップと
- トップの
画像:「Roots of polynomial and its derivative」 Illustr/CC BY-SA 4.0(トリミング) - 限量子消去法の
効率化と 応用:「Mechanical-calculator-Brunsviga-15-01」 CEphoto, Uwe Aranas/CC BY-SA 3.0(トリミング) - 関連する
研究室 (計算代数・数式処理 (深作 亮也)) :「Polynomial expansion」 Min666645/CC BY-SA 3.0(トリミング) - 関連する
研究室 (〈マグニチュード理論・代数トポロジー〉) :「Wedge sum of spheres」 GeometryGirl/パブリックドメイン (トリミング) - 関連する
研究室 (マグニチュード理論・代数トポロジー(浅尾 泰彦)) :「I heart algebraic topology ( )」 Quinn Dombrowski from Berkeley, USA/CC BY-SA 2.0(トリミング) - 関連する
研究室 (〈科学機械学習・AI for Science〉) :「FEM Simulation Akustik」 Ibsmc/CC BY 4.0(トリミング)
LabLog について
LabLog
この
