Daichi Hayashi

According to our database, Daichi Hayashi authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Tarskian theories of Krivine's classical realizability.

Daichi Hayashi, Graham E. Leigh

J. Log. Comput., 2026

Estimating Person Positions Using a Camera and Wireless Devices in a Space with Temporary Shielding.

Yuji Makimura, Daichi Hayashi, Teppei Kobiki, Shouki Sakemoto, Masashi Nishiyama

Proceedings of the 21st International Conference on Computer Vision Theory and Applications, 2026

2025

Theories of Frege structure equivalent to Feferman's system T0.

Daichi Hayashi

Ann. Pure Appl. Log., 2025

2024

A Compositional Theory of Krivine's Classical Realisability.

Daichi Hayashi, Graham E. Leigh

Proceedings of the Logic, Language, Information, and Computation, 2024

20.3 A 23.9TOPS/W @ 0.8V, 130TOPS AI Accelerator with 16× Performance-Accelerable Pruning in 14nm Heterogeneous Embedded MPU for Real-Time Robot Applications.

Koichi Nose, Taro Fujii, Katsumi Togawa, Shunsuke Okumura, Kentaro Mikami, Daichi Hayashi, Teruhito Tanaka, Takao Toi

Proceedings of the IEEE International Solid-State Circuits Conference, 2024

2023

Open Video Game Library: Developing a Video Game Database for Use in Research and Experimentation.

Kazuya Iida, Yuma Ina, Daichi Hayashi, Yohei Yanase, Keita Watanabe

Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology, 2023

2022

On Cut-Elimination Arguments for Axiomatic Theories of Truth.

Daichi Hayashi

Stud Logica, 2022