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

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

証明書けよ

ダメ出し

Valdis Laanって人は目ぼしい結果を並べるだけで証明を書かない。イライラする。

http://www.kirj.ee/public/proceedings_pdf/2011/issue_4/proc-2011-4-221-237.pdf で自分の論文 http://kodu.ut.ee/~vlaan/preprints/generatorssli.pdf を参照しているが、参照先もまともな証明はない。結果だけ並べているだけ。

似たトピックを扱っているM. V. LAWSONのhttp://www.macs.hw.ac.uk/~markl/preprints/mvlmorita.pdfはキチンと書かれている。