> Portalの一周目終わった
> あのラジオなに？

yes

参考：2017/07/09(日)23時08分50秒