LAB LOGA page on LabLog, a review site (not the lab's official page)
System Information Mathematics II Lab
Machine-translated · View original
The lab explores how to estimate functions from data and how mathematical proofs work.
AboutAbout the lab
Estimating from data, and the logic of proof
The System Information Mathematics II Lab studies statistical science and mathematical logic.
The Naito Lab develops methods for estimating functions from data and evaluates their accuracy.
The Nemoto Lab aims to clarify what can be derived from which axioms and which logic.
Key terms
- function estimation
- The task of estimating, from data, some function that represents that data
- multivariate analysis
- Statistical methods for analyzing data made up of multiple variables
- axiom
- An assumption taken to be true without proof. For example, the group axioms determine what a group is
ResearchResearch themes
Centered on statistical science and mathematical logic, the lab studies the analysis of data and the mechanisms of mathematical proof. The Naito Lab deals with function estimation and multivariate analysis, and the Nemoto Lab with the relationship between axioms and logic.
*Illustrative imageMethods and Accuracy Evaluation for Function Estimation
The lab develops methods for estimating functions from data and evaluates their accuracy. It also studies multivariate analysis, methodology for high-dimensional data, and estimation methods that incorporate machine learning, and plans to advance research that incorporates deep learning.
*Illustrative imageClarifying What Can Be Derived from Axioms and Logic
Mathematical theorems are derived from axioms using logic. Aiming to clarify what follows from which axioms and which logic, the lab classifies theorems of analysis and algebra in terms of the axioms and logic that are necessary and sufficient for their proofs.
MembersFaculty
- ProfessorKanta Naito
- Associate ProfessorTakako Nemoto
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to System Information Mathematics II Lab
System Information Mathematics I LabGraduate School of Information Sciences, Department of System Information SciencesCoding theory / global analysis (B01-1) Harada Laboratory: C…
Software Construction LabGraduate School of Information Sciences, Department of System Information SciencesLogic-driven approaches to reliability and efficiency of nex…
Intelligent Robotics and AI LabGraduate School of Information Sciences, Department of System Information SciencesControlling robots with machine learning | Research keywords…The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “Example absolute value” Manuelzapata04 / CC BY-SA 4.0 (cropped)
- Methods and Accuracy Evaluation for Function Estimation: “IBM Electronic Data Processing Machine - GPN” NASA / Public domain (cropped)
- Clarifying What Can Be Derived from Axioms and Logic: “The problem of distances from a point inside a square to three vertices” 克勞棣 / CC BY 4.0 (cropped)
- Related lab (System Information Mathematics I Lab): “Collection of geometry models-CnAM 3824-IMG 6752” Rama / CC BY-SA 3.0 fr (cropped)
- Related lab (Software Construction Lab): “SoftwareRepresentations” ScriboMollisOpus / CC0 (cropped)
- Related lab (Intelligent Robotics and AI Lab): “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 / Public domain (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.