[Date]:2025/11/13～2025/11/14

Speeding up of symbolic computation and its application to solving industrial problems 3｜2025a012

Overview

• How to hold: Hybrid Meeting (In-person/Zoom)
• Venue:  JR Hakata City
• Main language: Japanese
• Type/Category: Grant for Young Researchers and Students-Short-term Joint Research
• Title of Research Project: Speeding up of symbolic computation and its application to solving industrial problems 3
• Principal Investigator: Yuki Ishihara（Nihon University / Assistant Professor）
• Research Period: November 10, 2025.- November 14, 2025.
• Open to the Public: November 13, 2025.- November 14, 2025.
• Details of the Research Plan: https://joint1.imi.kyushu-u.ac.jp/en_research_chooses/view/2025a012

Program

November 13, 2025.　

9:30-9:35

Opening

9:35-10:35

Speaker: Yuta Kambe (Mitsubishi Electric Corporation)
Title: Tutorial on Symbolic Computation

10:45-11:45

Speaker: Yuki Ishihara (Nihon University)
Title: Groebner Bases and Machine Learning

13:10-14:10

Speaker: Bruno F. Lourenço (The Institute of Statistical Mathematics)
Title: On error bounds for conic linear programs

14:20-15:20

Speaker: Hiroyuki Ichihara (Meiji University)
Title: Sum of squares polynomials and their Applications to Control Problems

15:30-16:30

Speaker: Tomoyuki Iori (Japan Aerospace Exploration Agency(JAXA))
Title: Nonlinear Bayesian filtering using symbolic computation of rings of
differential operators

November 14, 2025.　

9:30-10:30

Speaker: Takuma Ito (NICT)
Title: Security analysis of multivariate public-key cryptosystems with a UOV
structure

10:40-11:40

Speaker: Akifumi Okuno (The Institute of Statistical Mathematics)
Title: Algebraic Approach to Ridge-Regularized Mean Squared Error
Minimization in Minimal ReLU Neural Network

11:40-11:45

Closing

Registration

Advance registration is required. 
Free participation fee.
(Registration also requires Organizing Committee members and speakers.)
Registration may be closed when the number of participants reaches the maximum.

＼Please go to the following link for registration.／

Participants via Zoom (online)

For online or hybrid (online+face to face) meeting via Zoom

After registration, you will receive ZOOM access information in an automatic email from the address imikyoten@gmail.com.
If not, please try to register again or send an email to our address below.
(Please check your spam folder, too.)

Joint Research Center for Advanced and Fundamental Mathematics-for-Industry, Institute of Mathematics for Industry, Kyushu University
imikyoten(at)jimu.kyushu-u.ac.jp
Change (at) to @.

About Zoom

If you have not downloaded the Zoom application yet, please download it (https://zoom.us) in advance.
https://zoom.us/download#client_4meeting

How to install it on your computer or smartphone.
https://zoom.nissho-ele.co.jp/blog/manual/zoom-install.html