Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Tetsuo Ida"'
Publikováno v:
Annals of Mathematics and Artificial Intelligence.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::defb24d79275df014e0016dbfb25f787
https://doi.org/10.1007/s10472-023-09870-1
https://doi.org/10.1007/s10472-023-09870-1
Publikováno v:
Annals of Mathematics and Artificial Intelligence.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f72d6d063311a229b27be0ffd6df2fef
https://doi.org/10.1007/s10472-023-09846-1
https://doi.org/10.1007/s10472-023-09846-1
Autor:
Stephen M. Watt, Tetsuo Ida
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and sele
Autor:
Tetsuo Ida
Publikováno v:
An Introduction to Computational Origami ISBN: 9783319591889
Origami is the art of paper folding, providing the methodology of constructing a two-dimensional (2D) or three-dimensional (3D) object out of a sheet of paper solely by folding by hand.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe10600bc8e1b7628adc2c196ee4ae89
https://doi.org/10.1007/978-3-319-59189-6_1
https://doi.org/10.1007/978-3-319-59189-6_1
Autor:
Tetsuo Ida
Publikováno v:
An Introduction to Computational Origami ISBN: 9783319591889
We discuss computer-assisted construction and automated verification of regular polygonal knots by origami. Given a rectangular origami or a tape of an adequate length, we can construct the simplest knot by three folds. We can make the shape of the k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b4545f184633866f55cc695e35db6d6
https://doi.org/10.1007/978-3-319-59189-6_6
https://doi.org/10.1007/978-3-319-59189-6_6
Autor:
Tetsuo Ida
Publikováno v:
Texts & Monographs in Symbolic Computation ISBN: 9783319591889
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a1e631e09a2543225f3dfb5d0be70f9
https://doi.org/10.1007/978-3-319-59189-6
https://doi.org/10.1007/978-3-319-59189-6
Autor:
Tetsuo Ida
Publikováno v:
An Introduction to Computational Origami ISBN: 9783319591889
We discuss the verification in the origami geometry. In the preceding chapters, we discussed the origami construction using origami language ORIKOTO. During the construction, the logical formulas that describe the geometric configuration are formed a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77e57085882da4cff3f1c284c37032da
https://doi.org/10.1007/978-3-319-59189-6_5
https://doi.org/10.1007/978-3-319-59189-6_5
Autor:
Tetsuo Ida
Publikováno v:
An Introduction to Computational Origami ISBN: 9783319591889
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80bd18a224e7d6cbd1a47644b28a452d
https://doi.org/10.1007/978-3-319-59189-6_7
https://doi.org/10.1007/978-3-319-59189-6_7
Autor:
Tetsuo Ida
Publikováno v:
An Introduction to Computational Origami ISBN: 9783319591889
We discuss the basic fold rules of origami. With a small number of fold rules, we can construct geometric shapes that we see at geometry classes of schools. We construct those shapes usually by a straightedge and a compass, so-called a Euclidian tool
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bc9280bc93d56fa03bf8500ed8eb556
https://doi.org/10.1007/978-3-319-59189-6_2
https://doi.org/10.1007/978-3-319-59189-6_2
Autor:
Tetsuo Ida
Publikováno v:
An Introduction to Computational Origami ISBN: 9783319591889
We discuss an origami geometry based on Huzita-Justin’s basic folds. In the 2D Euclidean geometry, we use a straightedge and a compass to construct geometric objects. We show that Huzita-Justin’s basic folds can construct them without such tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4081f9ba27132a9201c0ff8e7da8c99c
https://doi.org/10.1007/978-3-319-59189-6_3
https://doi.org/10.1007/978-3-319-59189-6_3