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

千葉大学

学部：理学部数学・情報数理学科

大学院：融合理工学府数学情報科学専攻数学・情報数理学コース

情報数理（中村誠希）

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

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

矢印でつないだ関係のグラフ図 — ※イメージ画像です。研究室で撮影したものではありません。

About研究室について

論理と計算を、数学の言葉で。

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

用語の説明

数理論理学: 証明や推論そのものを数学の対象として扱い、論理の性質を調べる分野
関係計算: もの同士の「関係」を組み合わせる演算の体系。論理やプログラムの性質を代数の形で表すのに使う
クリーネ代数: 繰り返し・選択・連結といった操作の法則をまとめた代数。正規表現やプログラムの振る舞いを扱う

View More ↗

Research研究テーマ

専門は数理論理学、理論計算機科学です。

View More ↗

Members教員

准教授中村誠希

View More ↗

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。

先輩の評価（0人）

研究実績

学内の研究にじっくり学会・論文でどんどん発表

テーマの自由度

先生がテーマを用意自分でテーマを決める

指導の手厚さ

自由にやらせるじっくり指導

研究資金

工夫してやりくり設備・資金が潤沢

メンバーの仲

それぞれ黙々とわいわい仲良し

研究全体の忙しさ

研究にどっぷり時間にゆとり

コアタイム-

研究室のミーティング-

まだ先輩の声はありません

先輩の声では、こんなことを聞いています

この研究室の推しポイントは？
入ってみて分かったことは？
雰囲気や先生の人柄は？
どんな学生におすすめ？
卒業後の進路は？

研究室に所属しているあなたへ

あなたの研究室での経験が、後輩の研究室選びの手がかりになります。名前は出ません。

研究室の口コミを書く匿名・途中でやめても残ります

Related情報数理（中村誠希）に近い研究室

情報数理（山本光晴）理学部数学・情報数理学科計算機による検証とそのための枠組

幾何（三田史彦）理学部数学・情報数理学科数理物理学と微分幾何学

確率・統計（奥戸道子）理学部数学・情報数理学科数理統計学

幾何（梶浦宏成）理学部数学・情報数理学科代数的位相幾何学と数理物理学

掲載内容について

このページの情報は、研究室の公開情報とインタビューをもとに、ラボログ運営がまとめています。誤りや削除のご希望は、研究室ではなくラボログにお知らせください。

掲載内容の誤りを報告する

画像について

トップと研究テーマの画像は内容のイメージで、研究室で撮影したものではありません。ウィキメディア・コモンズの画像をトリミングして使っています。CC BY-SA の画像は、トリミング後の画像も元の画像と同じ CC BY-SA（各行の版）で提供します。

トップの画像：「Signal flow graph for a digital IIR Biquad」 Constant314／CC0（トリミング）
関連する研究室（情報数理（山本光晴））：「Atari 800 XL home computer with TV monitor and tape program recorder XC12 (cropped)」 winkelnkemper／CC BY-SA 2.0（トリミング）
関連する研究室（幾何（三田史彦））：「3D-Cylinder with handle and torus with hole」作者不詳／パブリックドメイン（トリミング）
関連する研究室（確率・統計（奥戸道子））：「Saddle Tower Minimal Surfaces」 Anders Sandberg／CC BY-SA 3.0（トリミング）
関連する研究室（幾何（梶浦宏成））：「Kleineigenspace」 Joroco246／CC BY-SA 4.0（トリミング）

LabLog について

LabLog（ラボログ）は、学生限定の研究室口コミアプリです。各大学の学生メンバーが研究室の先輩に話を聞き、その声を載せています。先輩の声は、大学のメールアドレスで登録した学生だけが読めます。運営：株式会社bestiee

LabLog について詳しく ↗

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

大学のメールで無料登録ログイン

About研究室について

Research研究テーマ

Members教員

Voices先輩の声

Related情報数理（中村 誠希）に近い研究室

画像について

LabLog について

Related情報数理（中村誠希）に近い研究室