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

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

Globular探り 12：ギローの論文

お絵描き globular

次の論文がけっこう参考になりそう。絵が豊富だし、説明も丁寧。

Yves Guiraudってどこかで見た記憶がある。

Yves Guiraud, "The three dimensions of proofs", Ann. Pure Appl. Logic 141 (2006), 266-295. (http://arxiv.org/abs/math/0612089) という論文を引用していた。ジラーとギロー - 檜山正幸のキマイラ飼育記 で名前の発音を話題にしている。

次もギローだ。