登録フォーム

入学希望の方 修了生の方 企業・研究者の方 教職員・学生 //--> Sitemap Access Japanese About GSISMessage from the DeanIntroduction to GSISGSIS guide bookOrganizationSNSJournal: Interdisciplinary Information SciencesContactsFacultyLaboratories by DepartmentComputer and Mathematical SciencesSystem Information SciencesHuman-Social Information SciencesApplied Information SciencesLaboratories by Specialized Subject GroupColaborative LaboratoriesPromotion OfficeAdmissionEntrance ExaminationCurriculum and Qualifications for ApplicationResearch StudentDormitoryFor StudentsSyllabus / Time table / Student HandbookNoticeInternational StudentsScholarshipDormitoryAdmission fee / Tuition fee waiverHandbook for International StudentsJapanese Language ProgramCounseling servicesEmergency InformationInternal Access Only Home Faculty Laboratories by Department Mathematical System Analysis II System Information Sciences Mathematical System Analysis II B02 Prof. Kanta Naito Assoc. Prof. Takako Nemoto   Lab's Web page Keywordsfunction estimation/multivariate analysis/machine learning/mathematical logic/constructive mathematics/reverse mathematics statistical science and mathematical logic (B02-1)　Naito Laboratory Function Estimation (Smoothing): Many statistical issues can be summarized into a certain estimation problem of function. Important problems include estimation of density function, distribution function, regression function and decision boundary for pattern recognition. Multivariate Analysis: There have been many researches on “multivariate analysis” in the laboratory, since developing methods for analyzing multivariate data naturally relates to the problems of function estimation. High-dimensional data analysis is also an interesting and important topic. Machine Learning: The methods of function estimation with algorithm-based “machine learning” approach have been developed in the laboratory as well. From now on, a new research of function estimation with approaches of deep learning will be advanced. (B02-2)　Nemoto Laboratory Proofs of mathematical theorems derive from "axioms" using "logic." Axioms are assumptions accepted as true without proof; for instance, the axioms of a group define what a group is. "Logic" determines what conclusions can be drawn from what. For example, the modus ponens rule, "If A then B," and additionally "A," can infer "B," is one of the rules of logic. My research broadly aims to elucidate "what conclusions can be drawn from what axioms and what logic." Furthermore, I classify theorems of ordinary mathematics, such as those of analysis and algebra, from the perspective of necessary and sufficient axioms and logic for proof. simultaneous confidence region for an embedded one-dimensional curve in three-dimensional space poster on the research of mathematical induction FacultyLaboratories by DepartmentComputer and Mathematical SciencesSystem Information SciencesHuman-Social Information SciencesApplied Information SciencesLaboratories by Specialized Subject GroupColaborative LaboratoriesPromotion Office GSIS: Graduate School of Information Sciences, Tohoku University 6-3-09 Aoba, Aramaki-aza Aoba-ku, Sendai, 980-8579, Japan Phone.+81-22-795-5813 Fax. +81-22-795-5815 Contacts is-www-admin,is.tohoku.ac.jp --> About GSIS Message from the DeanIntroduction to GSISGSIS guide bookOrganizationSNSJournal: Interdisciplinary Information SciencesContacts Faculty Laboratories by DepartmentComputer and Mathematical SciencesSystem Information SciencesHuman-Social Information SciencesApplied Information SciencesLaboratories by Specialized Subject GroupColaborative LaboratoriesPromotion Office Admission Entrance ExaminationCurriculum and Qualifications for ApplicationResearch StudentDormitory For Students Syllabus / Time table / Student HandbookNoticeInternational StudentsScholarshipDormitoryAdmission fee / Tuition fee waiverHandbook for International StudentsJapanese Language ProgramCounseling servicesEmergency InformationInternal Access Only About this Website Link © 2016 Graduate School of Information Sciences, Tohoku University About GSIS Message from the DeanIntroduction to GSISGSIS guide bookOrganizationSNSJournal: Interdisciplinary Information SciencesContacts Faculty Laboratories by DepartmentComputer and Mathematical SciencesSystem Information SciencesHuman-Social Information SciencesApplied Information SciencesLaboratories by Specialized Subject GroupColaborative LaboratoriesPromotion Office Admission Entrance ExaminationCurriculum and Qualifications for ApplicationResearch StudentDormitory For Students Syllabus / Time table / Student HandbookNoticeInternational StudentsScholarshipDormitoryAdmission fee / Tuition fee waiverHandbook for International StudentsJapanese Language ProgramCounseling servicesEmergency InformationInternal Access Only Sitemap Access Japanese no cache