Document Actions
Projects
- Theories of computational origami with application to discovery of new fold methods
- Modelling and Verifying Web Based Programs using theories of symbolic computation
- Applications of rule-based programming to verification and transformation of XML
ひらめき☆ときめきサイエンス〜ようこそ大学の研究室へ〜
Workshop on Symbolic Computation and Software Verification