{"id":835,"date":"2015-06-05T09:44:23","date_gmt":"2015-06-05T07:44:23","guid":{"rendered":"http:\/\/synasc.ro\/2017\/?page_id=835"},"modified":"2017-05-17T14:38:46","modified_gmt":"2017-05-17T12:38:46","slug":"tetsuo-ida","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2017\/invited-speakers-2\/tetsuo-ida\/","title":{"rendered":"Tetsuo Ida"},"content":{"rendered":"<h2 style=\"text-align: center;\"><a href=\"http:\/\/synasc.ro\/2017\/wp-content\/uploads\/sites\/7\/2017\/05\/Picture_Ida.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-1494\" src=\"http:\/\/synasc.ro\/2017\/wp-content\/uploads\/sites\/7\/2017\/05\/Picture_Ida-300x200.jpg\" alt=\"\" width=\"142\" height=\"144\" \/><\/a><\/h2>\n<h2 style=\"text-align: center;\"><strong>Tetsuo Ida<br \/>\n<\/strong>University of Tsukuba, Japan<\/h2>\n<p style=\"text-align: center;\"><em>Title:<\/em>\u00a0<strong>Models of Computation for Origami Science and Engineering<\/strong><\/p>\n<p style=\"text-align: center;\"><em><strong><a href=\"http:\/\/synasc.ro\/2017\/wp-content\/uploads\/sites\/7\/2017\/05\/SYNASC2017-Ida_Abstract.pdf\">ABSTRACT<\/a><\/strong><\/em><\/p>\n<p style=\"text-align: center;\"><a href=\"http:\/\/synasc.ro\/2017\/wp-content\/uploads\/sites\/7\/2017\/05\/SYNASC2017-Ida_CV.pdf\"><strong><em>SHORT BIO<\/em><\/strong><\/a><\/p>\n<p>Tetsuo Ida studied at Department of Physics, the University of Tokyo. He studied under the supervision of Prof. E. Goto, one of the pioneers in computing. In 1975, he joined the computer science group of Institute of Physical and Chemical Research(RIKEN). There he worked with Prof. Goto in symbolic computation. One of the achievements of the research group was the construction of a computer called FLATS, a dedicated machine for symbolic computation.\u00a0 He worked on parallel hashing algorithms for symbolic computation and designed hashing hardware that was integrated to FLATS machine.\u00a0 Since then he has been active in many areas of symbolic computation research; semantics of programming languages, rewriting theories, and systems and algorithms for symbolic computation.<\/p>\n<p>He moved to the faculty of the University of Tsukuba in 1988.\u00a0 Since then, he focused on research in theoretical aspects of symbolic computation. He led a research group called SCORE (Symbolic Computation Research Group).\u00a0 He was one of the researchers who observed the importance of equational reasoning and solving in the design of programming languages for symbolic computation. He designed and implemented narrowing calculi for symbolic computation. The narrowing calculi are the engines of constraint functional logic programming language called CFLP, which his group developed in the 1990s.<\/p>\n<p>His research interest includes networked symbolic computation, declarative programming and rewriting until around the beginning of the year of 2005.\u00a0 In 2002 he started research on computational origami (paper fold), as an application of constraint programming and geometrical theorem proving.\u00a0 In particular, he studied origami from a constructive and proving point of view.\u00a0 His previous experiences with modeling programs by rewriting and developing symbolic computation algorithms led him to a successful integration of the knowledge about origami \u2013 folklore, that of non-standard geometry and traditional practice, into a consolidated system of origami fold\/proving environment called <em>Eos<\/em> (e-origami system). The developments of Eos are continually supported by the grants by JSPS.<\/p>\n<p>He is also active internationally in organizing forums for symbolic computation and more broadly in software science and technology.\u00a0 He is one of the international founders of SYNASC, Romanian initiative to promote research in symbolic and numeric computing from its beginning. He has been working with Romanian researchers and Ph.D. students and published many papers with them. Together with Asian researchers in the field of programming languages and systems, he established Asian Association for Software Foundation (AAFS). He also contributed to the promotion of scientific exchanges between Japan and Tunisia.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tetsuo Ida University of Tsukuba, Japan Title:\u00a0Models of Computation for Origami Science and Engineering ABSTRACT SHORT BIO Tetsuo Ida studied at Department of Physics, the University of Tokyo. He studied under the supervision of Prof. E. Goto, one of the pioneers in computing. In 1975, he joined the computer science group of Institute of Physical [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":613,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-835","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/835","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/comments?post=835"}],"version-history":[{"count":10,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/835\/revisions"}],"predecessor-version":[{"id":1496,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/835\/revisions\/1496"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/pages\/613"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2017\/wp-json\/wp\/v2\/media?parent=835"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}