今年の抱負とか

このブログ、気づいたら3ヶ月とか放置してましたが、そろそろ更新のペースを上げていきたいところ。
というか技術系ブログのつもりでやってるのに技術の話が全然無いのもアレ。

今年の目標

• Railsある程度出来るようになる
• Lisp書けるようにする
• OSSとかにコミットしたい
• バイトしてるのでバイトを6割くらいの力で頑張る
• PC環境整える
• TOEIC 700800点超え
• 院試に向けて勉強する

去年の反省

去年は大学にも慣れてきてそろそろ情報系に本気だそうとは思っていたけど、結局具体的な目標も無くだらだらと過ごしてしまった。
本をわざわざ買ったのに読まないということが多すぎた。
そもそも時間の使い方が悪い。
今はとりあえずプログラマのバイトをしているので、技術力を上げつつ機械学習とか計算機科学の理解を深めていきたい。あと数学とかちゃんと勉強する。

rbenvを捨てろ

と言われたのでalternativesの設定などをした。

Windowsを捨てよう

プログラミングを始めるとき、HSPとかVisualStudioとかある事を考えれば、確かにWindowsでは簡単にプログラミングを始める環境はあるとは思うけれども、今後プログラミングで仕事をしていく事を考えるなら、プロプライエタリなOSであるWindowsに頼りっきりになるわけにもいかない。(OS Xも同じですよ)
Windowsだと言語の処理系を入れるのにも四苦八苦するし。

そこで、ここではプロプライエタリではないフリーなOSとして、Linuxをインストールしてみる事を勧めたい。WindowsやOS Xがいつまでも存在するとは思っていないのと同じように、Linuxだって時の流れに消えていくかも知れないし、Unix系のOS自体が無くなってしまうことだって考えられるけれど、それでもフリーなOSを利用する経験を積んでおけば、WindowsやOS Xしか触ったことが無いよりは新しいOSに順応出来ると思う。

クイックソートを書く

Haskellのクイックソートが5行で書ける問題、結局あのコードってIn Placeで無かったり、Pivotingをしてなかったりするわけで、その部分が他の言語と比べて効率悪いとか言われたりするわけだけども、中には「Haskellでメモリとか効率気にしなくてもいいやろ」っていう人も居るわけで。
そんなんだったらD言語でもクイックソート短く書けるわっ。と思ったので、



実装はこんな感じで、Haskellで5行で書いたクイックソートと同じやり方で書いた。
Dは一行にいくつも文を書ける言語なので、どんな長いコードでも1行と主張することはできるけど、このコードは1文だし明らかに3行で書けてる。
まぁHaskellはこういうリスト周りの表現とか言語に揃ってるので、簡潔さで言えば負けてる部分はあるけども。

グラフ関係のコードいくつか

ようやく大学が夏季休業に入ったので、学校で使った離散数学の本読んでグラフ理論とオートマトンの勉強をしている。
グラフ理論の部分で出てきたアルゴリズムとかでコード書いたのでいくつか。

定理証明系、はじめました

とりあえずCoqをインストールしていくつか証明を書いたのでそのメモ。
分かりやすい参考文献集

PDP-11の逆アセンブラ、インタプリタを実装したい

池袋バイナリ勉強会の資料が中々分かりやすい感じなので、実装してみようと思った。