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