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 ...

Tempopo is a contemplative puzzle game of planning and execution. Guide your Tempopo to rescue musical flowers across imaginative sky islands and arrange them in your own melodic garden. Take your ...

Causal Loop is a narrative puzzler that blends mind-bending mechanics with a rich science-fiction story about time, consequence, and survival. Solve intricate puzzles by using the unique “echo” ...

A computer made from DNA that can solve basic chess and sudoku puzzles could one day, if scaled up, save vast amounts of energy over traditional computers when it comes to tasks like training ...