2013-01-10 2013年にやりたいこと 雑記 2013年にやりたいこと 3点に絞って考えてみた。 プログラミング どれかしよう。 Vim Script Ruby Haskell Python BluespecSystemVerilog 設計&検証手法へのトライアル 高位合成 UVM フォーマル 環境を改善する