I construct mathematical algorithms with diagrammatic reasoning processes.