2008-03-31 id:intruderさん更新終了 こちら。intruderさんとは、若手フォーラムのワークショップで共同発表をしたりしました。曖昧性や集合論に関する、日本でも数少ない同業者だっただけに、とても残念です。