口コミサイト LabLog の
システム情報数理学 II
データからの関数推定と、数学の証明の仕組みを探る研究室。

About研究室について
データの推定と、証明の論理を探る。
システム情報数理学 II 研究室は、
内藤研究室では、
根元研究室では、
用語の説明
- 関数
推定 - データを
もとに、 その データを 表す 何らかの 関数を 見積もる作業 - 多変量解析
- 複数の
項目から なる データを 分析する 統計の 方法 - 公理
- 証明抜きに
真と される 仮定。 例えば群の 公理は、 群とは 何であるかを 決める
Research研究テーマ
この
※イメージ画像関数推定の方法と精度評価
データから
※イメージ画像公理と論理から導けることの解明
数学の
Members教員
- 教授内藤 貫太
- 准教授根元 多佳子
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Relatedシステム情報数理学 IIに近い研究室
システム情報数理学 I情報科学研究科 システム情報科学専攻符号理論/大域解析学 (B01-1)原田研究室 符号理論は、
ソフトウェア構成論情報科学研究科 システム情報科学専攻論理で
知能ロボティクス・AI情報科学研究科 システム情報科学専攻機械学習でこの
画像について
トップと
- トップの
画像:「Example absolute value」 Manuelzapata04/CC BY-SA 4.0(トリミング) - 関数
推定の 方法と 精度 評価:「IBM Electronic Data Processing Machine - GPN」 NASA/パブリックドメイン (トリミング) - 公理と
論理から 導ける ことの 解明:「正方形內一點到三頂點距離的問題」 克勞棣/CC BY 4.0(トリミング) - 関連する
研究室 (システム情報数理学 I) :「Collection of geometry models-CnAM 3824-IMG 6752」 Rama/CC BY-SA 3.0 fr(トリミング) - 関連する
研究室 (ソフトウェア構成論) :「SoftwareRepresentations」 ScriboMollisOpus/CC0(トリミング) - 関連する
研究室 (知能ロボティクス・AI) :「US Navy 100531-N-7676W-075 Visitors interact with the , dexterous, social (MDS) robot Octavia at the Office of Naval Research (ONR) exhibit during Fleet Week New York 2010」 U.S. Navy photo by John F. Williams/パブリックドメイン (トリミング)
LabLog について
LabLog
この