静的解析

2018

1. 静的解析の限界、現実世界との境界