In the previous seminar, we have agreed with an opinion that a sort of ideas and theoretical approaches in computer science are used in other fields (including CG and not limited to). For example, recent complicated use case and specification, a robustness guarantee for long-term proper operation, and for those requirements, meeting the global standards, giving academical proofs and developing verification methods from the academical viewpoint, and so on.
In CG, easiness of management/maintenance tasks in several stages of production, and artistic flexibility/freedom (i.e. freedom of non-systematic operations) are trade-off. This trade-off will be an important factor for designing production pipeline and system. Moreover, we have realized that this issue is heavily depending on understandings and awareness between designers (of pipeline, system and so on) and users.
In this seminar, we would like to focus on their theoretical backgrounds, and will have a discussion from the academic viewpoint of related subjects only. However, to make the discussion better, we will give some fundamental sessions in such related subjects (e.g. system verification and so on).
This seminar expects mathematicians, computer scientists, CG-practitioners (involved in research from the academic point of view), R&D personnel of companies and students studying these subjects. The participants may read the information on this page (which will be available) in advance. If you are not any specialist as noted above and you'd like to attend our seminar, please contact to the corresponding organizer: Kosaku Nagasaka in advance. We will give you more detailed information on our seminar.
Please see also the references below.
In our current film making, rule-based html-generator gave us several ways of education pipeline for self-leaning, brain-storming, in many stages of production pipeline. In this talk, we discuss an experimental approach for programmable education pipeline to reduce our internal communication costs from the view point of our current failure and success knowledge.
There are interesting discussions in the world, whether we have a pipeline that is practical in the production and also theoretically extensible for research. Unfortunately, USD has not yet been released, however, we would like to discuss this possibility and the talks in the morning.
The aim of program verification is to prove correctness of programs relative to expected requirements (specifications). Hoare logic is a deductive system for proving program correctness and consists of a set of axioms and inference rules about asserted programs. In this talk, we shall give a brief outline of Hoare Logic and talk about some verification tools.
One aim of learning theory is to give a good estimate of the whole set from a given small fragment. VC-dimension, a measure of a complexity of a class of sets, was first introduced by Vapnik and Chervonenkis in their study of learning theory around 1970, and it was found that the finiteness of VC-dimension is equivalent to PAC-learnability. Several years later, Shelah found the same concept with a lemma known as Sauer-Shelah lemma now. It gives a characterization of an important class, called NIP, of structures in model theory. Recently I found a generalization of VC-dimension in the study of the class n-NIP introduced by Shelah in 2009. In this talk I'll give a brief introduction to the theory of VC-dimension and discuss the meaning of the generalization.
We would like to have a discussion on any existence of advanced challenge on Production Pipeline in CG from the practical and theoretical points of view. For example, we may be interested in any common problem in several use cases with production pipeline softwares and newly developed functionalities, any research topic to solve such a common problem, any approach to solve or resolve the costs brought by some production pipeline constructed inappropriately, any future direction to get permanent or universal production pipeline in CG, and so on.
For the participants, we would like to cite the following documents for your preparations in advance. These documents may be helpful for considering the pipeline standard, constructing technical services for artists, or thinking of pipeline development.
In addition to the above documents, the following sites may be useful.
The following references are useful for studying fundamentals for this workshop.
References for Program Verification and Hoare Logic. Please note that we omit refenreces in Japanese, which are noted only in Japanese page.