shaihuludのプロフィール

@shaihulud shaihulud
ありがとう数0
質問数0
回答数1
ベストアンサー数
0
ベストアンサー率
0%
お礼率
0%

  • 登録日2004/12/27
  • 勉強した知識を企業で生かしたい

    現在大学で、形式的仕様やプログラムの検証などを勉強しています。 しかし、残念ながら企業では、この手法は殆ど使われていないようです。(コスト面などに問題があるようです) 企業でこの知識を生かした仕事をしたいと考えているのですが、知識が生かせる職種(?)などありませんか? また、企業で実際に形式的手法を使ったことがあれば、 感想のようなものも教えていただくと嬉しいです。