2023年は、久々に書籍執筆をしていない年で、心に余裕をもって日々を過ごすことが出来た。雑誌の執筆はいくつか行ったが、書籍に比べればマシだった。というわけで、2023年も暮れになったので、本年を振り返ってみる。 2023年の成果 2023年の成果は以下となる。民間企業に転職して、はじめての国際会議論文を投稿できた。発表もいくつか行っており、2月に一回は対外的になにかしら発表している計算になる。頑張りすぎている。 国際会議(査読あり) Yuuki Takano, “Deadlock- and Starvation-free Formally Verified Client Library for…