国内だと人材が少ない（しかも学術寄りの人の方が多い）
ってのは実感としてある

形式手法は静的解析のツールとして利用される道の方が明るい気がする
人間が読み書きする形式言語が使い物になる日は来ないと思う