An international conference connecting people
in CAD research, education and business
Copyright (C) CAD Solutions, LLC. All rights reserved.
Proceedings of CAD'15, 2015, 327-330
IFOG: Inductive Functional Programming for Geometric Processing
Abstract. Since decades, especially in CAD and CG, to solve various kinds of problems and/or to develop automatic systems, not only geometric modeling techniques but also combinatorial searches of geometric elements such as line segments have been applied extensively. For example, to develop the automatic system that converts 2D drawings into 3D models, a great many automatic recognitions of complex geometric elements such as primitives and features are required for their programming. Generally it is troublesome and time consuming to program the combinatorial searches for programmers because of the following reason. Firstly, they are basically algorithmic. Also, their formalization would be difficult because there are few mathematical bases in them. If a programmer wants to detect each parallelogram from a 2D drawing drawn in a 2D CAD, firstly he/she might search four straight lines, and then calculate their relationships. As the result, his/her programs for the detection would consist of too many procedures by using conventional programming techniques. On the other hand, in object-oriented programming (OOP), various kinds of classes can be defined, and programs almost consist of passing messages among objects as instances of the classes. So the class of straight lines can be made in the programming. However, though this class can be defined in detail, too many passing messages among straight lines would be required for the programming of this problem.
Keywords. IFOG, Inductive programming, Functional programming, Geometric processing, Combinatorial search