13/01/18 03:26:26.90 .net
国内だと人材が少ない（しかも学術寄りの人の方が多い）
ってのは実感としてある
形式手法は静的解析のツールとして利用される道の方が明るい気がする
人間が読み書きする形式言語が使い物になる日は来ないと思う
13/01/18 03:26:26.90 .net
国内だと人材が少ない（しかも学術寄りの人の方が多い）
ってのは実感としてある
形式手法は静的解析のツールとして利用される道の方が明るい気がする
人間が読み書きする形式言語が使い物になる日は来ないと思う