21/07/19 22:40:05.15 QGPCTmFt.net
>>297
まぁなるやろな
結局論文の評価はどれだけの論文から引用されてるかの引用数で決まる
現状ではコレからどれくらいの引用がなされていくかなど夢のまた夢でそもそもiutの論文の結果を引用した論文が海外の有力雑誌に一本でも認められるかどうかというライン、しかもそれすらクリアできんやろ
ホントに望月先生が逆転を狙うなら論文を全部coqとかの証明支援システムにかけるくらいせんとダメやろな
そんな動きひとつもないけどな
21/07/19 22:40:05.15 QGPCTmFt.net
>>297
まぁなるやろな
結局論文の評価はどれだけの論文から引用されてるかの引用数で決まる
現状ではコレからどれくらいの引用がなされていくかなど夢のまた夢でそもそもiutの論文の結果を引用した論文が海外の有力雑誌に一本でも認められるかどうかというライン、しかもそれすらクリアできんやろ
ホントに望月先生が逆転を狙うなら論文を全部coqとかの証明支援システムにかけるくらいせんとダメやろな
そんな動きひとつもないけどな