渡辺 美里 長野. Red Baldy cow. Deterministic Turing machine. What is a young adult novel called.