4 citations
6 papers
Decidability of Quantum Modal Logic
Kenji Tokuo
The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma…
Quantum modal logic
Kenji Tokuo
A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and th…
Facial Expression Recognition System Using DNN Accelerator with Multi-threading on FPGA
Takuto Ando, Yusuke Inoue
In this paper, we implement a stand-alone facial expression recognition system on an SoC FPGA with multi-threading using a Deep learning Processor Unit (DPU). The system consists o…
Correspondence between phase oscillator network and classical XY model with the same infinite-range interaction in statics
T. Uezu, T. Kimoto, S. Kiyokawa +1
We study the phase oscillator networks with distributed natural frequencies and classical XY models both of which have a class of infinite-range interactions in common. We find tha…
Duality on geodesics of Cartan distributions and sub-Riemannian pseudo-product structures
G. Ishikawa, Y. Kitagawa, W. Yukuno
Given a five dimensional space endowed with a Cartan distribution, the abnormal geodesics form another five dimensional space with a cone structure. Then it is shown, if the cone s…
Logic of Simultaneity
Kenji Tokuo
A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time p…