2019年1月14日月曜日

2019年最初の投稿

また年が変わってしまった.
2018年の活動を振り返り今年の目標を立てる.

# 2018年活動履歴

Rust,コンパイラ(インタプリタ),線形代数の3つが大きな成果

1月……Clojureをやってたっぽい.あとRustのボローチェッカーと喧嘩してた.
2月……Rustやってた.あとよりもい見てた.
3月……Verilogやってたらしい.なにも覚えてない.TD4の実装をしてたらしい.たぶんこのあたりでPythonで書くLispインタプリタを読んでLisp実装してた.
4月……ひたすらRustやってたっぽい.あと操車場アルゴリズムとかプログラミング言語に興味が向いた.研究室に配属.ロボット系ではなくあえてトライボロジーの研究室に入ってみた.
5月……院試勉強したり『線形代数の世界』を読んでた.
6月……『線形代数の世界』を読んでた.mal(Lispの方言)の実装を始めた.
7月……『線形代数の世界』を読んでた.malの実装を終えた.『アルゴリズムパズル』とかやってた.
8月……『線形代数の世界』を読んでた(双対空間の章まで読んだ).
9月……Coqを触った.幾原邦彦監督の作品(無印セーラームーン,ウテナ,ピンドラ)を見た.
10月……研究が始まった.BCHで実験ノートのハッシュ値とったりしてた.
11月……研究がうまくいかないと嘆いていた.3Dプリンターを購入した.
12月……研究がうまくいかないと嘆いていた.SSSS.GRIDMAN,電光超人グリッドマンを見てた.

# 去年得たもの

  • Rustの実装力
  • クレカ(+Aliexpressで電子部品購入する術)
  • ちょっとしたプログラミング言語の実装
  • 線形代数
  • 数学の本の読み方
  • 3Dプリンター
  • LabVIEW
  • アセトンだばだば使う根性
Rustはいいぞ.C/C++のコードの8割はRustで置き換えられるという確信がある.

# 去年の目標達成率

・英語の多読をする……未達成
院試は推薦が通ってしまった.まったく勉強するモチベがなかった.

・数学の勉強をする……達成
めっちゃ『線形代数の世界』読んだ.それでもまだ全ては読み終わってないけど.論理学や集合論とかもやりたかったができてないので今年はもっと勉強する.

・Lisp(関数型言語)の勉強……未達成
『Land Of Lisp』読むつもりがRustが良すぎて動的言語やる気力にならなかった(かといってHaskellやる気にもならんが)

・CPUのより詳細な内容(割り込みとか)/コンパイラ/OSについて学ぶ……半分達成
コンパイラの勉強はちょっと始めたけどまだまだなのでもっと勉強したい.オートマトンとか計算理論とかはちょっと触ったけど身につくところまでやってないので今年は勉強したい.CPUやOSにはあまり興味が向かなかった.

・本を読む……未達成
全33冊.2年前は読書の質が悪かったので質のいい本を読もうとしたが,正直2年前のほうが良い読書ができていた気がする.ただ『高崎山のサル』『タイの僧院にて』『文化人類学入門』はめちゃくちゃよかった.宗教・文化人類学の本は割と面白いと感じた.

・ブログを更新する……未達成
してないね.悲しい.

・新しいことに挑戦する……達成
謎の研究室にはいってマイクロピペットとかアセトンとか使うのは面白かった.線形代数の勉強がちゃんとできたのも良かった.プログラミング言語を実装できるようになったのはめちゃくちゃ楽しい.

# 今年の目標

研究上手く行かないし学部が終わって就職が近づいているのを肌で感じているしでセンチメンタル味がある.頑張っていきたい.

・次の事柄の勉強
とりあえず勉強したいことを列挙すれば,Rust,アルゴリズム,コンパイラ,計算理論,CPU,OS,線形代数,集合論,関数型言語,英語

・本を読む
質・量ともに求めるが,困ったときは量を求める方向で.

・ブログの更新などのアウトプット
あまり魂がやりたいと言ってないので程々に.Rustでフリーソフトだしたい気持ちはある.

・オタッキーなことをやる
広く浅くよりも狭く深く.セーラームーンとか最遊記とか,自分が好きな作品を見つけたらとことん掘り下げていきたい.

・新しいことへの挑戦
魂に刻み込むべき目標.