Login
From:
Bonotake
(Uncensored)
subscribe
Imai triple, Hagiya triple, and witnessed Hoare triple
https://bonotake.github.io/deep%20learning%20and%20cs/2019/07/31/imai-triple-hagiya-triple.html
links
backlinks
Tagged with:
dl and cs
Roast topics
Find topics
Find it!
As mentioned, the last post “Deep learning from a computer science perspective” was a translation of my Japanese article “計算機科学から見たディープラーニング.”
