m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 線形論理の創始者は 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/ab… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20090114%2F1231914951" title="ジラーとギロー - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-01-14 15:35:51 rich https://m-hiyama.hatenablog.com/entry/20090114/1231914951 1.0 100%