「群の作用がナントカ（形容詞）」という文言にたまに出会います。毎回意味を調べるのですが、憶えられない。毎回忘れる。https://mathworld.wolfram.com/ で調べてみます。$`\newcommand{\Imp}{ \Rightarrow }\newcommand{\mrm}[1]{\mathrm{#1}}`$ 自由〈fr…

2009年に書いた記事： ジラーとギロー そこで話題にしたのは、 線形論理の創始者である Jean-Yves Girard 高次元の証明論をやっている Yves Guiraud 同一人物かと思ったが別人で、名前の読み（カタカナ表記）は「ジラー」「ギロー」がよいかな、と。そんなこ…