このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

夜に、なにする

珍しく、夜まで人と会っていた。

「図式をにらみながら非形式的な運算」という部分をもう少しなんとかできないものか?



僕はどこにも何も書いてない。まずい。これはまずい。非常にまずい。

子供は寝ちゃったろうから、

  1. 非形式的な運算を形式化する
  2. 荷電境界付き有向グラフについて書く

のどちらかをしてもいいのだが、先日しこたまマトメ買いした本を堕読(造語by檜山)しそうだ。