2013-12-31 [長年日記]
λ. 2013年振り返り
2014年を迎えるにあたって、2013年を簡単に振り返ってみる。
月毎の主なイベント
- 1月
- Coursera での学習を開始。昨年末に買ったNexus7で初めてのAndroid経験＆初代iPadから乗り換え。
- 2月
- スキーで転けて靭帯損傷。
- 3月
- 『型システム入門 プログラミング言語と型の理論』出版と出版記念トークイベント。Max-SAT Evaluation 2013 に参加。
- 4月
- 特になし
- 5月
- Haskellで計算機代数勉強会を開催。Google Code Jam 2013 は去年に引き続いて今年も体調的に微妙で微妙。
- 6月
- 某自社の株主総会見てきた。
- 7月
- スカイツリー昇った。ICSE'13勉強会でT芝チームとして発表。 奥歯抜歯。Coursera MeetUp Tokyo に参加。
- 8月
- ICFP Contest 2013 に例によって Team Sampou で参加。引越しと一人暮らし開始。SPLC2013の併設ワークショップFMSPLE 2013で発表。
- 9月
- ウサギと同居開始。
- 10月
- 結婚(といっても婚姻届を出しただけで、結婚式はまだ)
- 11月
- 電機連合第34回技術者フォーラムに参加。2013川崎国際多摩川マラソンに参加。
- 12月
- 川崎グランシティモール実証実験開始
Coursera
前から少し気になっていたCourseraを1月に試してみて、最終的に以下の9コースを履修。
- Computing for Data Analysis by Roger D. Peng @ Johns Hopkins University
- Data Analysis by Jeff Leek @ Johns Hopkins University
- Linear and Discrete Optimization by Friedrich Eisenbrand @ École Polytechnique Fédérale de Lausanne
- Machine Learning by Andrew Ng @ Stanford University
- Developing Innovative Ideas for New Companies: The First Step in Entrepreneurship by James V. Green @ University of Maryland, College Park
- Model Thinking by Scott E. Page @ University of Michigan
- Maps and the Geospatial Revolution by Anthony C. Robinson @ The Pennsylvania State University
- Introduction to Computational Finance and Financial Econometrics by Eric Zivot @ University of Washington
- Introduction to Recommender Systems by Joseph A Konstan and Michael D Ekstrand @ University of Minnesota
自分のスキルのポートフォリオに追加したいと考えたものを中心に、それなりに戦略的に学習してみたつもり。上手くいった部分もあればそうでない部分もあるけれど。自分はデータ分析や統計に関しては大学1年のときに、ほぼ必修の位置づけだった「データ分析」の授業を途中で飽きて切ってしまってから、ほとんど学習しないままになってしまっていたので、その辺りを補完できたのは良かった。
そして、7月にCoursera MeetUp Tokyoに参加したところ、その縁で、メディアで取り上げらることになったのは、なかなか貴重な体験だった。
- 朝日新聞8月22日朝刊教育欄「東大、ネット講義で世界へ発信 秋から無料講座に参入」
- クローズアップ現代「あなたもハーバード大へ ～広がる無料オンライン講座～」(2013年9月17日（火）放送)
- 金成隆一: 広がるMOOC（ムーク）の活用と試行錯誤, 大学教育と情報, 2013年度 No.2 (通巻143号), pp. 2-11.
- 『ルポ MOOC革命――無料オンライン授業の衝撃』(金成 隆一)
新しいプログラミング言語、環境
「毎年少なくとも一つの言語を学習する」という話があるけれど、今年は Coursera のコースで割と色々な言語を学べた。 Computing for Data Analysis、Data Analysis、Introduction to Recommender Systems では R を、Linear and Discrete Optimization ではPython (とSymPy)を、Machine Learningでは MATLAB/Octave に触れることができた。その後、そのうちのRとPythonは仕事でもそれなりに使うようになったので、結構役立っている。
それから、言語というほどではないけれど、Model Thinking では NetLogo に、Maps and the Geospatial Revolution では ArcGIS Online に触った。 あと、Introduction to Recommender Systems で使った LensKit は、アノテーションなどを活用したJavaの今風なDIを使ってて、ちょっとおぉと思ったりなんかもした。
『型システム入門 プログラミング言語と型の理論』出版
Benjamin C. Pierce の Types and Programming Languages (TAPL) の訳書『型システム入門 プログラミング言語と型の理論』を出版。前回のAlloy本こと『抽象によるソフトウェア設計−Alloyではじめる形式手法』が終わり、2011年9月からTAPL翻訳が本格始動したのだけれど、それから1年半ほどかかって、ついに出版にこぎ着いたのがこの3月で、非常に感慨深かった。また、共訳者、監訳者、編集者、レビュワー、皆素晴らしい人達ばかりで一緒に仕事をできて光栄だった。出版記念トークイベントという珍しい体験もしてしまったし。
靭帯損傷
2月にスキーで転けて靭帯損傷。内側側副靭帯損傷の2度で、MRIを初体験したり、しばらくギプス(正確にはギプスシーネ)と松葉杖で不便な生活をしたり、さらに結構な間リハビリをしたりとか。 ギブスしてると、立ってても座っててもバランスが悪くて、体中凝って仕方なかったのが辛かった。 後、しばらくギプスとサポーターをしてるだけで、関節って本当に曲がらなくなるんだなぁ。リハビリしてだんだん動くようになって、人間の関節や筋肉って本当によくできてるなぁと思った。 大変な体験だったけれど、周囲からは非常によくしてくれたし、結構学ぶことのあった体験だったと思う。
ランニング
ランニングは500kmの目標を立てていたけど、途中怪我で数ヶ月走れなかったこともあって、320kmほどに留まった。でも、我ながらよく続いたなぁと思うし、自分を誉めてあげたい。 また、大会に参加するという目標は2013川崎国際多摩川マラソンに参加するという形で達成。 目標がハーフマラソンだったのに対して8kmになってしまったので、ハーフマラソンを走るのは2014年の目標に持ち越し。
あと、昨年末にちゃんとしたランニングシューズを買ったけれど、今年は心拍計 Wahoo Blue HR とか、活動量計 Misfit Shine とか、ランニング用のスポーツタイツのCW-Xとか色々と買ってしまった。
お仕事
Courseraで学んだデータ分析・機械学習系の知識を活かして、これまでとちょっと違った方面の仕事に挑戦してみた1年で、川崎グランシティモール実証実験 なんかにも関われて、まだまだこれからだけれど、面白い仕事ができた。
- <URL:https://plus.google.com/+MasahiroSakai/posts/hdEteHHBGxr>
- <URL:https://plus.google.com/+MasahiroSakai/posts/V9atG4FFHTX>
その他にはFMSPLEで発表したりとか。
- Masahiro Sakai, Takeo Imai, Mikito Iwamasa, Takeshi Nagaoka and Mari Inoki, A Decision Table Analyzer for Detecting Variability in Source Code, Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013), August 27, 2013. (presentation only)
計算機代数
代数的実数や量化子除去に関して勉強したり簡単な実装をしたりしていたので、思いきって Haskellで計算機代数勉強会という勉強会をゴールデンウィークに開催。結構マニアックなトピックにも関わらず参加者20人以上も集まり、なかなか楽しかった。 その後も、Berlekamp-Zassenhaus アルゴリズムを理解して実装したりとちょっとは進めた。あと、これまでなんとなくしか理解できていなかった sugar flavor とか syzygy とかについて、計算機代数勉強会での@mr_konnさんの発表で理解できて、自分でも実装してみようと思っていたけれど、これは実装しないままになってしまったなぁ……
Max-SAT Evaluation 2013
昨年は Pseudo Boolean Competition 2012 に参加したが、今年は開催されなかったので、代わりに Max-SAT Evaluation 2013 に参加。 今回は自分のtoysatに加えて、GLPK と SCIP に簡単なフロントエンドを付けたもので参加。
自作のtoysatの方は、昨年の Pseudo-Boolean Competition 2012 ではそれなりに健闘した(と思ってる)けれど、今回はあまり振るわなかったねぇ。 まあ、色々とやりたいことはあったけれど、結局、目的関数値の線形探索ベースの単純なアルゴリズムのやつで投稿してしまったからなぁ……
SCIPの方は、SCIP本体のバグが見つかって、SCIP開発者に報告・修正してもらったものを再投稿させてもらったりと、意外と大変だったけれど、その甲斐もあって Partial Max-SAT 部門の Crafted ベンチマークで2位に入賞して嬉しかった。(別にフロントエンドを書いただけの自分がすごい訳ではないのだけれど)
英語
英語は今年はあんまり頑張れなかった。 Courseraでは英語を使って学習してはいたし、日本開催の国際会議SPLC2013の併設ワークショップFMSPLE 2013で発表はしたものの、海外には一回も行かなかったし。それに、レアジョブも後半は殆どやらなくなってしまったしなぁ。2014年はその辺りもっと頑張りたいところ。
