LEANの前にリファレンスになるIUTは実在すんの？
なんか昔は何年もかけて誤字脱字数式ミスの改訂繰り返してたけど
もう飽きてんだろ？

あんな状態でLEANの持ち込めるリファレンスがあるわけねーじゃんw
そもそもw