静的型付け言語の潜在開発生産性はJavaの100倍