京大推進研に「$1」という名前空間はありません。