Filmification of methods and an example of its applications

摘要

A user-oriented programming paradigm based on the "filmification" of methods is developed by the Active Knowledge Studio team at the University of Aizu. Within this paradigm, an algorithmic "cyberFilm" is a set of multimedia frames where different groups of frames represent different algorithmic features from multiple views. Because of the multiple views and multimedia, users can understand the algorithm correctly and easily. In this paper, an example of the filmification of methods is presented, related to cyberFilm frames of the thermal conduction problem solved with the Gauss-Jordan method. Through these frames, features of the algorithm are presented, and an essential compactness of an integrated view, considered as a visual program, is explained. Examples of program templates supporting the cyberFilm frames are also presented. Two types of program synthesis schemes supporting program synthesis are also described.