なんで requirement に関する推論が欲しくなったかというと，以下のようなのを見てたらうにゅーんっていう． たとえば， // とりあえず細かいことはおいといて，「型 T はデフォルトコンストラクタを持ってる」という制約の記述だと思って！ concept Default…