Skip to main content

Reading your sign-in state

←Back to Professor matching

APPLICATION

Professor matching

Keiichi MIYAJIMA · Ibaraki University · Professor Matching · Ryugaku Jinja

Professor profile deep page

Keiichi MIYAJIMA

← Direction map

A · Basic informationPublic professor archive1/3

Ryugaku JinjaProfessor Archive

Ryugaku Jinja · Professor Archive

Public Professor Archive

Keiichi MIYAJIMA宮島啓一

Ibaraki University · Faculty of Engineering · 准教授

Publications: 4
Keywords: 8

留学神社

A

Basic information

Ibaraki University · Faculty of Engineering · 准教授

Research keywords2022年12月21日,・2024年08月01日,・Algebra・Formalized・Mathematics,・field・over・形式化数学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

B

Recent publications

Formalized Mathematics, 2024年08月01日,2024 · 論文
Formalized Mathematics, 2022年12月21日,2022 · 論文
Formalized Mathematics, 2021年07月01日,2021 · 論文
Formalized Mathematics, 2021年04月01日,2021 · 論文

C

Public links to verify

Official profile

Next step

Sign in for fit and contact guidance

Personalized fit, contact angles, and saved workflows require sign-in.

Ryugaku Jinja

終

Public professor archiveKeiichi MIYAJIMA

© 2026 留学神社 Ryugaku JinjaThe tool structures and improves what you provide. Please check the facts behind experiences, awards, and outcomes, as well as the final submission.

Sign in for fit and contact guidance