線形論理の創始者は Jean-Yves Girard氏ですが、この名前はなんて読むのだろう？と話題にしたことがあります。sumiiさんのエントリーを参考に、カタカナ書きするなら「ジャン・イヴ・ジラール」、あるいは「ル」を抜かした「ジラー」あたりではないか、ということで一段落。
さて、1月11日の圏論勉強会で少し話題にした、次の論文（バエズの2008年セミナーから参照されている）：
- Yves Guiraud, The three dimensions of proofs, Ann. Pure Appl. Logic 141 (2006), 266-295. (http://arxiv.org/abs/math/0612089)
著者が線形論理のジラーに見える。が、綴りがなんか違うような? GirardとGuiraud。でも、名前のところはどっちもYvesだし。綴り方の流儀が違うだけで同一人物では？
たぶん、どうやら別人のようです。Guiraudを強いてカタカナ書きすると「ギロー」のようで「ジラー」とは別な氏名らしい。紛らわしいけど。
