>>504
>みんな、厳密な定式化を望んでいると思いますよ。

厳密な定式化はないよ。