06/10/26 20:41:53
>>14
定義レベルの議論もあるし、証明レベルの議論もあるよ。
しかし、少なくともテンプレで証明をいくつか書くんなら
定義のいくつかも厳密でなくてもいいから書く必要はあるんじゃないの？
って思うんだよ。
06/10/26 20:41:53
>>14
定義レベルの議論もあるし、証明レベルの議論もあるよ。
しかし、少なくともテンプレで証明をいくつか書くんなら
定義のいくつかも厳密でなくてもいいから書く必要はあるんじゃないの？
って思うんだよ。
06/10/26 20:41:53
>>14
定義レベルの議論もあるし、証明レベルの議論もあるよ。
しかし、少なくともテンプレで証明をいくつか書くんなら
定義のいくつかも厳密でなくてもいいから書く必要はあるんじゃないの？
って思うんだよ。