コンピュータ実験数学講座|大阪大学 情報科学研究科 情報基礎数学専攻|研究室口コミアプリ「ラボログ」