抽象解析

今まで(使いどころが特になかったので)スルーしてきた
“抽象”的な関数解析も必要になるようだ