2009年に書いた記事：
そこで話題にしたのは、
- 線形論理の創始者である Jean-Yves Girard
- 高次元の証明論をやっている Yves Guiraud
同一人物かと思ったが別人で、名前の読み（カタカナ表記）は「ジラー」「ギロー」がよいかな、と。そんなことでした。
実はもうひとり似た名前の人がいて、
- グロタンディークの弟子の Jean Giraud
線形論理の創始者とは別人です。姓の綴りもちょっと違います。
最近は、人名の発音が調べやすくなりました。調べてカタカナ表記してみます。
Girard
- ジラード（米）https://www.youtube.com/watch?v=b71PXQtjOQ0
- ジーハ（仏）https://www.youtube.com/watch?v=Ai02EjXectU
Guiraud
- ギーホ（仏） https://www.youtube.com/watch?v=rSnzb4dnzuQ
- ギロー（仏） https://www.youtube.com/watch?v=uKx14W5r-5k
Giraud
うーん、発音者によりけっこう違う音だな。結局、ほんとのところはよく分からない。今までの行きがかりから、ジラール、ギロー、ジロー かな。
