kenta7777’s diary

日々の出来事を書いていく.

2019年

2019年が始まったので,去年立てた目標と実際に達成したこと,そして2019年の目標について書く.

去年立てた目標

Rustへのコントリビュート

これは達成できた.Rustのコードリーディングはあまりできていない.Rustのコードは毎日書いていたとは言えない.RustのissueやPRはできるだけ見るようにしていた.

Haskellの勉強

これは全然できていなかった.

研究

これは達成した.卒論ネタで論文を書いて投稿し,賞をもらえた. ただ,内容は修士とは別のテーマであり,修士のテーマで論文を書けなかったのは残念であった. TaPLはたびたび読んでいるので知識は着々と身についている気がしなくもない. 圏論に関しては研究と関係がないため,研究を優先していたらいつの間にか勉強しなくなっていた.

今年の目標

Rustへのコントリビュート

去年はコントリビュートしたとはいえ,PRがマージされたのはたった一つであった. 今後はRustのコントリビュートを地道に続ける.

研究成果を国際学会で発表

これは去年の目標でも掲げたテーマである.大学院も残り1年であるので,ペースを上げて研究に打ち込みたいと思う.

12月11日

M1なので来週に控える修論のテーマ発表に備えて資料とスライドを作成する日々を送っている. そして,RustへのPull Requestをマージしてもらうべく対応しているところ.

テーマ発表が終わったら時間に余裕ができるので,冬休みにRustで何か作ろうかな〜と思っている. 考えているのはコンパイラとかインタプリタで,シェルとかパケットアナライザとか色々放置しているのがあるのでそれも進めたい.

作りたいものは無限にあるので,学生の時間のあるうちにガシガシ作っていきたい.

9月19日

久しぶりのブログ. 最近は学会に投稿した論文の修正を行い,Rust関連の論文を読んでウンウン悩み(Rustの型システム難しい),プログラミングRustを読んでRustの知識を補填している.

あと,最近Rustのコントリビュータになった. 関数名をリネームしただけだけど,割とすんなりマージされたのでよかった. 今後はE-Easyラベルのついたものを中心にPRを送り,ゆくゆくは自身でコードをがっつり書いたものがコミットされるように頑張っていきたい.

そして,最近寝る前に「はじめて読む486」という本を読んでいる. とてもとてもわかりやすいのでおすすめです.学部のオペレーティングシステムの講義で学んだことを復習してます.