LAB LOG研究室選びの口コミアプリ無料で登録

口コミサイト LabLog のページ（研究室の公式ページではありません）

千葉大学 理学部 数学・情報数理学科の研究室

23研究室・先輩の声 3件

理学部のほかの学科 ›千葉大学の学部 ›

情報数理（中村 誠希）

中村 誠希

先輩の声 0件

数理論理学と理論計算機科学を専門とする、情報数理学の先生。

中村誠希先生の専門は、数理論理学と理論計算機科学です。近年は、関係計算やクリーネ代数をテーマにした論文を発表しています。数学・情報数理学科では、情報数理学の領域に所属しています。

#数理論理学 #理論計算機科学 #関係計算

保存

---

情報数理（山本 光晴）

山本 光晴

先輩の声 0件

計算機による検証と、そのための枠組を研究する、情報数理学の先生。

山本光晴先生の専門は、証明検証系を用いた形式化です。計算機による検証と、そのための枠組を研究テーマにしています。数学・情報数理学科では、情報数理学の領域に所属しています。

#形式化 #証明検証系 #情報数理学

保存

---

代数（小寺 諒介）

小寺 諒介

先輩の声 0件

量子ループ代数や無限次元のリー代数の表現を調べる。

小寺諒介先生は、表現論を研究しています。表現論は、代数のはたらきを行列などの具体的な形に置きかえて調べる分野です。量子ループ代数やヤンギアン、それらに関係する無限次元リー代数の表現が対象です。結晶基底や箙多様体も、研究分野に挙げています。

#表現論 #ヤンギアン #箙多様体

保存

---

このページの研究室の一覧・基本情報と LabLog の紹介は、検索エンジンや AI が参照して構いません。先輩の声の本文は学生の会員限定で、プログラムによる自動取得（スクレイピング・AI への入力や学習）は利用規約第8条で禁止しています。研究や分析のためにデータが必要な方は、お問い合わせください。