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

京都大学

学部：総合人間学部総合人間学科

大学院：人間・環境学研究科人間・環境学専攻

数理論理学（DEBRECHT Matthew）

論理と位相空間から、計算できることのしくみを研究する研究室。

数理論理学位相空間論計算理論

中心から放射状に分かれていく数学の図形 — ※イメージ画像です。研究室で撮影したものではありません。

About研究室について

空間の形と計算の理論をつなぐ。

ディブレクト研究室は、数理論理学、位相空間論、計算理論、機械学習を研究分野にしています。
主な論文は、計算できる位相空間（計算可能トポロジー）や quasi-Polish 空間についてのものです。
学部生は数理・情報科学講座に分属して卒業研究に取り組みます（大学院は人間・環境学研究科人間・環境学専攻の数理・情報科学講座）。

用語の説明

位相空間: 点どうしの「近さ」の考え方だけを取り出した空間
計算可能トポロジー: 位相空間の性質や構成を、コンピュータで計算できる形で扱う分野

View More ↗

Research研究テーマ

数理論理学と位相空間論の手法で、計算の理論を研究しています。

※イメージ画像

計算できる空間の理論

quasi-Polish 空間とよばれる位相空間のクラスや、イデアルによる空間の表し方、計算できるエタール空間など、計算可能トポロジーの研究を論文にしています。

View More ↗

Members教員

教授DEBRECHT Matthew

View More ↗

Voices先輩の声

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

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

先輩の評価（0人）

研究実績

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

テーマの自由度

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

指導の手厚さ

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

研究資金

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

メンバーの仲

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

研究全体の忙しさ

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

コアタイム-

研究室のミーティング-

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

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

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

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

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

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

Related数理論理学（DEBRECHT Matthew）に近い研究室

計算理論（THIES Holger）総合人間学部総合人間学科計算理論、計算量理論、数理論理学の応用

森成物性理論研究室総合人間学部総合人間学科物性理論 運動制御・学習研究室（萩生翔大）総合人間学部総合人間学科運動制御学、計算論的神経科学、運動学習、シナジー、神経回路モデル 行動制御学研究室（久代恵介）総合人間学部総合人間学科行動制御学、スポーツ心理学、神経生理学、認知心理学、空間識・身体運動

掲載内容について

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

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

画像について

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

トップの画像：「Cantor set radial phoenix」 Cmglee／CC BY-SA 4.0（トリミング）
計算できる空間の理論：「Cantor set binary tree」 Sam Derbyshire／CC BY-SA 4.0（トリミング）
関連する研究室（計算理論（THIES Holger））：「Coq plus comm screenshot」 Hugo Herbelin／CC BY-SA 3.0（トリミング）
関連する研究室（森成物性理論研究室）：「Tile levitates by Meissner effect」 Garrett Pennell／CC BY-SA 3.0（トリミング）

LabLog について

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

LabLog について詳しく ↗

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

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

About研究室について

Research研究テーマ

計算できる空間の理論↗

Members教員

Voices先輩の声

Related数理論理学（DEBRECHT Matthew）に近い研究室

画像について

LabLog について

計算できる空間の理論