This is the first post in this blog.
This blog will be for the research progress on theoretical computer science.
