>>1077511
栗原さんはああいう言い方をしているけど、ACL2の一件でスキッベとの関係が壊れて、継続する微妙なところだったはずだから、水面下ではリストアップは進めていたはずよ。