■

あー『プログラミング言語の基礎理論』わからん。あきらめて他の本を読もう…。というわけで龍田真著『型理論』を読み始める。

マルチポストのメールには基本的に返信をしないという制限を課しているので、たまに他人に迷惑をかけてしまうことがあります。今日はきものの人に迷惑を…かけたんだろうか？