As an academic discipline, logic is the study of reasoning. Logic puzzles, therefore, involve making a series of inferences ...

Professor Uehara from JAIST works at the intersection of theoretical computer science, discrete mathematics, and the art of solving puzzles. His research strives to understand the computational ...

We are hardly ever consciously aware that we use logic to solve everyday problems. But what is logic? Is the logic used to prove theorems in mathematics the same kind that we use for our practical ...

In the 25th century, humanity has been forced to expand beyond its solar system. Among the stars, the planet VESTA is discovered, a world that may hold the promise of a new home. To study it, the ...