Formalizing industrial-materials R&D
Two companion references behind the ARiSE / MEXT proposal on AI for paint & coatings development: the mathematics that can formalize the problem, and the materials science it formalizes — each rebuilt as a set of self-contained, cross-linked modules with diagrams and rendered math.
Mathematics
The categorical / algebraic toolkit — from sets and orders to effectful process categories.
Open the math reference →Materials science
The domain knowledge for engineers — dispersions, microstructure, properties, physics and R&D as a control system.
Open the materials reference →Where to start
Pick a route by what you already know.
I’m an engineer, new to materials
Build the domain picture first, then see the math.
I want the formal core
The throughline from orders to process categories.
How the documents fit. These two references sit beside the ARiSE draft (the problem and the proposed AI solution) and the synthesis (which argues the problem is a category error and proposes research directions). The synthesis’ thirteen problem characteristics (P1–P13) and eight research directions (RD1–RD8) are threaded through both references as chips.
Generated from modular Markdown with a custom static-site builder. Math via MathJax (CDN, with Subresource Integrity); diagrams are theme-aware inline SVG. Keyboard: / to search.