Abstraction–Realization Cycle

ARC Method

From abstraction to working systems — and back again.

Technical understanding becomes powerful when ideas can move freely between equations, models, simulations, experiments, and real systems. The Abstraction–Realization Cycle structures learning around this movement.

Explore the cycle

Abstract → Realize → Observe → Reflect → Refine

0102030405

01 · The cycle

Five stages, and the fifth returns to the first

Each stage produces something the next one can act on: a structure, an executable artefact, a measurement, a judgement, a revision.

02 · Why ARC

Three things the loop changes

01

Understanding instead of memorization

Students repeatedly connect formal concepts to observable behaviour.

02

Theory meets engineering

Equations, algorithms, simulation, hardware, and experiments become different representations of the same problem.

03

Failure becomes useful

Unexpected behaviour becomes evidence that helps refine the abstraction rather than merely producing a wrong answer.

03 · One tiny example

Example: controlling a water tank

  1. AbstractModel the tank using state, inflow, outflow, and target level.
  2. RealizeImplement the model and a simple controller in simulation.
  3. ObserveThe water level oscillates around the target.
  4. ReflectThe controller reacts too aggressively and ignores system dynamics.
  5. RefineImprove the controller or the model and run the cycle again.

The point is not merely to obtain the correct controller. The point is to understand why it works.

04 · In a course

What the familiar parts of a course become

Lecture
Abstraction
Exercise
Formal realization
Simulation
Executable realization
Laboratory
Physical realization
Measurement
Observation
Discussion
Reflection
Project iteration
Refinement

Learn by moving between ideas and reality.

ARC treats theory and practice as parts of the same loop. Each realization tests an abstraction. Each observation improves the next one.

See ARC-based courses

Unigaku · Abstraction–Realization Cycle