● プロフィール
趣味とか略歴とか
● Chromium
今のおしごとです
● 研究業績
大学時代の発表文献とか
● 料理
作ってみた料理
● DMI
大学の研究で作ってた並列分散プログラミング処理系を置いてあります
● TeX
昔作ったTeXスタイルファイルを置いてあります
● いろいろ
● Twitter