数理論理学(ガイナ ダニエル) 研究室|九州大学 共創学部|研究室口コミアプリ「ラボログ」