去年(2016)の振り返り/今年(2017)の目標
明けましておめでとうございます. 今年もよろしくお願いいたいします.
去年の振り返り
昨年もたくさんのことを学ぶことができた.
- 言語: C, Python3, C++ etc...
- 専門: SAT Problem(Satisfiability Problem), 0-1整数計画問題(BIIP) etc...
イベントにおいては, OSの勉強会やPython Conference, C91に参加して, モチベーションをアップさせることができ, さらに新しい知見を獲得することができた.
1年間を振り返ると, 交流する機会を得られたり, 知識を獲得できたりしたのは 周りの方々に支えられているからこそだと感じます. 本当にありがとうございます!
今年の目標
大雑把に考えてやりたいことだけを上げた.
- 研究を進める
- 学生のエンジニアとして働きたい
- 製作したい
チーム開発でゲームを作りたい
sat solverを作りたい
OSを書きたい
llvmを使って, ミニ言語を作りたい - 言語仕様や仕組みを知りたい
IP solver
Python
Coq
C# - 新しい言語に触れたい
Coq
Rust
Elixir
やりたいことはたくさんあるけれど, 今は研究が大事なので, それをこなしつつちょっと手を出していければなあと考えている.
今年に限った目標ではないけれど, 自分の立場はどちらかというと教えてもらっている側なので, 教えられる立場になれるように頑張りたい.