線形論理の創始者は Jean-Yves Girard氏ですが、この名前はなんて読むのだろう？と話題にしたことがあります。sumiiさんのエントリーを参考に、カタカナ書きするなら「ジャン・イヴ・ジラール」、あるいは「ル」を抜かした「ジラー」あたりではないか、とい…