ちょっと前ですが、TCC論文がこっそりJCPに載ってます。 QUEMTAくん世界デビューです。(ref.47) SVDでは、ひの氏のプログラムが先行していたので、入れれませんでした。 （いまは、QUEMTAくんで実行できるよ） 2回のunreasonable なリジェクとを経て、ようや…