数理情報第1研究室のホームページへようこそ!!