サイトについて

管理人が適当に書いた技術系の記事やプログラムを適当に置いておくだけのサイトです．

管理人について

仕事で Java の開発をしています．学生のときは項書換え系とか自動定理証明とかやってました．