Bonotake

"The Essence of Software" proposes a whole new way of software design

In this post, I would like to introduce the book “The Essence of Software”, which is about a whole new way of thinking about software design.

Where did "differentiable programming" come from?

One of the factors that deep Learning is so popular today is that frameworks such as TensorFlow and PyTorch are very useful. A neural net design, training, and inference such as classification are very easy to do using the frameworks.

Imai triple, Hagiya triple, and witnessed Hoare triple

As mentioned, the last post “Deep learning from a computer science perspective” was a translation of my Japanese article “計算機科学から見たディープラーニング.”

Deep Learning from a Perspective of Computer Science

Note: This is a translation of my Japanese article “計算機科学から見たディープラーニング” in a Japanese technical magazine “n-monthly LambdaNote Vol.1 No.2”.