Bonotake
Used to be a SE researcher, Now an AI engineer.
Home
About
Publications
Lisence
© 2023 Takeo Imai.
Powered by
Hydeout
.
Tags
DL and CS
3
Software design
1
DL and CS
Where did "differentiable programming" come from?
02 Aug 2019
Imai triple, Hagiya triple, and witnessed Hoare triple
31 Jul 2019
Deep Learning from a Perspective of Computer Science
29 Jul 2019
Software design
"The Essence of Software" proposes a whole new way of software design
22 Jun 2022
