ここは人間情報学研究科数理系ホームページです.