口コミサイト LabLog の
計算代数・数式処理(深作 亮也)
計算機で数式を扱う計算代数を研究する研究室。

About研究室について
数式を計算機で扱う、計算代数の研究。
深作亮也准教授の
主な
限量子消去法は、
最近は、
用語の説明
- 限量子消去法
- 一階述語論理式と
実数体上で 等価な、 限量子の ない 論理式を 求める 計算手法 - 一階述語論理式
- 「すべての」
「ある」を 表す記号を 使って 数学の 主張を 書く 論理式。 多くの 数学の 問題を 表せる - Maple
- 計算機代数システムの
一つ。 この 研究では 限量子消去法の 実装先と して 使う
Research研究テーマ
多くの
Members教員
- 准教授深作 亮也
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related計算代数・数式処理(深作 亮也)に近い研究室
〈計算代数・数式処理〉マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門計算代数・数式処理・実代数幾何。
〈マグニチュード理論・代数トポロジー〉マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門広義の
マグニチュード理論・代数トポロジー(浅尾 泰彦)マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門広義の
〈科学機械学習・AI for Science〉マス・フォア・インダストリ研究所 数学テクノロジー先端研究部門物理法則をこの
画像について
トップと
- トップの
画像:「Polynomial expansion」 Min666645/CC BY-SA 3.0(トリミング) - 関連する
研究室 (〈計算代数・数式処理〉) :「Roots of polynomial and its derivative」 Illustr/CC BY-SA 4.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
この