数理情報基礎論講座 吉信 康夫|名古屋大学 情報学部 自然情報学科|研究室口コミアプリ「ラボログ」