Masaomi Yamaguchi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Meng Wang
217 publications
Cristina David
5 publications
Nobukazu Yoshioka
4 publications
Kazutaka Matsuda
3 publications

research

∙ 03/31/2023

Design by Contract Framework for Quantum Software

To realize reliable quantum software, techniques to automatically ensure...

0 Masaomi Yamaguchi, et al. ∙

research

∙ 08/31/2021

Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches

We propose a technique for synthesizing bidirectional programs from the ...

0 Masaomi Yamaguchi, et al. ∙