>>380
私の研究はあからさまに正しいので、leanを使うことはしない。