type t (* void *)

ソフトウエアのこととか

git: 独りで使うgit入門

この時期大学四年生は卒論の時期で、今まで論文やサーベイだったのが 自分で手を動かすフェイズになっていることでしょう。 その際にバックアップというのは重要になります。

例えば研究用のソースコードを改造していく途中でプログラムを壊してしまって 元に戻したい、別に実装を試してみたくなる場合というのはあると思います。 また壊しても元に戻せるという安心感があればガンガンプログラムを変えていくことができます。 証明や卒論のtexファイルも同様に管理できます。

その際に使えるgitというバージョン管理ソフトの使い方を紹介します。 gitのことはどこかで聞いたことがあるでしょうが、 特にこの記事では一人で使う場合に特化して、手っ取り早く卒研に使えるように説明を絞ります。
(gitは多くのプログラマが使っている道具なので、他の使い方は調べれば簡単にわかるでしょう)

続きを読む

OCaml: 中間言語をダンプするオプションたち

この記事はML Advent Calendar 20153日目のために書かれました。

短いライトな話を。ocamlにはコンパイラ開発者のデバッグ用にドキュメント化されてあいオプションがいくつかあります。 これは中間言語のダンプを吐かせる機能です。OCamlコンパイラを理解するのに役に立ちます。

続きを読む