Hidekazu Takahashi

Learn More
KRAS mutations are a major cause of drug resistance to molecular-targeted therapies. Aberrant epidermal growth factor receptor (EGFR) signaling may cause dysregulation of microRNA (miRNA) and gene regulatory networks, which leads to cancer initiation and progression. To address the functional relevance of miRNAs in mutant KRAS cancers, we transfected(More)
Germinability under low temperature is one of the most important traits in seedling establishment in direct-sowing culture of rice. The objective of this study was the identification of genes responsible for higher and faster germination under low temperature, with the aim of breeding new rice varieties for direct-sowing culture. We identified four(More)
We describe Huzita's origami axioms from the logical and algebraic points of view. Observing that Huzita's axioms are statements about the existence of certain origami constructions, we can generate basic origami constructions from those axioms. Origami construction is performed by repeated application of Huzita's axioms. We give the logical specification(More)
We present an origami construction of a maximum equilat-eral triangle inscribed in an origami, and an automated proof of the cor-rectness of the construction. The construction and the correctness proof are achieved by a computational origami system called Eos (E-origami system). In the construction we apply the techniques of geometrical constraint solving,(More)
Sensor fusion of millimeter-wave radar and a camera is beneficial for advanced driver assistance functions such as obstacle avoidance and Stop&Go. However, millimeter-wave radar has low directional resolution which engenders low measurement accuracy of object position and difficulty of calibration between radar and camera. In this paper, we first propose a(More)
Computational origami is the computer assisted study of origami geometry. An origami is constructed by a finite sequence of fold steps, each consisting in folding along a fold line or unfolding. We base the fold methods on a formal system called Huzita's axiom system, and show how folding an origami can be formulated by a conditional rewrite system. A(More)