2016年の目標2015年の振り返りを踏まえて、2016年の目標を幾つか。2015年振り返り2015年を振り返ると、色々と翻弄された年だったな、というのが正直なところ。して振り返ってみると、それでも割と色々とやっていて、捨てたものでもないかもという気にもなってくる。お仕事お仕事的には、某プロジェクトの打ち切りから始まり、その後色々なプロジェクトに参加したりしたけれど、色々となかなか思うように進められず、また色々と思い悩むことも多かった1年だった。論文紹介をしたりとか。あと、海外の顧客に対して技術のプレゼンテーションしたりとか、ちょっと面白い経験もできた。久しぶりに受けたTOEIC(IP)では905点をとれ、前回2008年の885点からは上がってたので、多少なりとも進んでいるのが実感できたのは良かった。それから、フランスに行ってメドックへのワインを飲んできたり、サルラを観光したりと、遊んできた。鉄道のストとか、おみやげのフォアグラを空港で急遽消費したりと色々あったが、いい経験と思い出になった。海外にはずっと苦手意識があったけれど、ようやく慣れてきたかも。MOOC今年も前半幾つかコースを取れたけれど、後半はそれどころではなかった感じ。Gamificationのコース。受けたことのないタイプのものだったので、面白かったが、得られた知識はまだあまり活用できてはおらず。再受講して、最後はギリギリだったけれど、なんとか修了証をゲットするまでできた。Price)とか気になっていたのが理解できたのは良かった。実際には非線形の連続凸最適化とか、カバーできていない領域はまだ色々とあるけれど。受講したかったけれど、忙しくなってしまってこっちは結局断念してしまった。受講で、こっちはペトリネットやワークフローといった比較的馴染み深い話と、データ分析、エンドトゥエンドでのプロセス改善みたいな話がつながってきて、なかなか面白い領域だった。参加はしてみたけれど、結局ちょっと翻訳してみただけで、その後の活動が続かなかった。ラウンド1を突破できず残念。結局上位位にはいけなかったけど、色々新しいことを試せたのは良かった。最近機械学習とか勉強しているのにDQNを試せなかったのは心残りではあるけれど。出したけれど、アルゴリズム的な改良も特には出来ていたわけでもなく、これも結果は振るわず。一方で、新しいチャレンジとして、MINLPLIB2を変換したものでしかないけれど、問題を投稿するということができたのは良かったと思う。「SAT/SMTソルバの仕組み」というトークをして、それをキッカケに放置気味だった*1実装を再開して、簡単なSMTソルバの実装ができたのは進捗っぽい。SMT-LIB2の仕様を満たせていないのでリリースしていないけれど、満たせたらリリースしたい*2。来年はSMTソルバのコンペであるSMT-COMPに参加してみたいねぇ。現段階では本当に最小限の動作をするだけで、性能を云々するところまでいけていないし、これから頑張っても、第一線のソルバと性能を競うところまでは行けそうにないけれど。Flags)に参加してみれたのは良かった。チームで参加し、それぞれ881チーム中46位と、1251位中43位という成績に。セキュリティ方面の問題には専門家が多かったので、餅は餅屋ということでお任せして、自分は割とプログラミング系の問題を解いていただけだけれど、後からセキュリティ系の問題も復習したりして結構勉強になった。参加して他の人と交流したりと、少しはリハビリできたかな。新しい言語としては、Goを触ってみたけれど、結局ちょっと試しただけで、それ以上使っていけなかったのは残念な感じ。ランニング3/8の「かつしかふれあいRUNフェスタ」でハーフマラソンの2回目を走った。その後、今度は今年中にはフルマラソンを一回と思っていたけれど、以前に靭帯を痛めた方の膝の調子が一時期イマイチだったこともあって、結局割とマイペースに走っていた。年末の恒例の皇居ランではちゃんと2周10km走れて良かった。合計回数と距離は、Nike+によると今年は104回のランで338.89kmほど走っていたようだ。来年こそはフルマラソンに挑戦したいねぇ。した以外は、特にイベントにも参加せず、まったりやっていた感じ。一応レベル15にはなった。