2018年もあと2日。 個人的には、今年は仕事で少しだけ手ごたえを得られた一年だった。今年は、企画・編集で下記7冊の本に関わった： 『QBism』、H. C. フォン・バイヤー（著） 、 木村元 （解説）、松浦俊輔 （訳） 『Coq/SSReflect/MathCompによる定理証明…