堀の次に理屈を言語化するのがうまいのって誰だろ