ポインターに関するプログラムで、同じ意味だろうと思って下手に書き換えると、実は文脈によって違った挙動を示してしまうことがあります。では、安全(safe)な書き換えとは何か？西村氏はそれをプログラムをseparation logicの論理式の predicate transforme…

今日も寒い。起床は9時、出勤して論文書き、午後に会議と談話会。その後は論文の続きを書く。22時に帰宅、夕食は昨日の残りのカレー。