Takayuki Kihara 研究室

主宰者：Takayuki Kihara
名古屋大学

AI 要約（直近 5 年の研究成果）

木原研究室は、計算可能性理論と数理論理学の交差領域を中心に研究を展開しています。具体的には、自然数や関数に対する計算の困難さを階層化する「計算度」という概念を様々な設定で研究しており、古典的なチューリング度からワイハラウチ度などのより細かい区別まで、複数の計算可能性の尺度を扱っています。 手法としては、記号論理学やトポロジー（位相幾何学）の抽象的枠組みを用いながら、計算可能な構造がどのような性質を持つかを理論的に解析しています。例えば、有効トポスという計算可能性を組み込んだ数学的構造の内部で、異なる縮約概念のもとで問題を分類したり、ポーランド空間（無限次元の位相空間）を計算可能に表現することの困難さを測定したりしています。 これらの研究を通じて、古典的な数学的対象がコンピュータで扱える形にするためには、本質的にどの程度の計算資源が必要か、あるいは異なる計算パラダイムの間にどのような関係があるかといった根本的な問題に取り組んでいます。計算不可能性の構造を深く理解することで、理論計算機科学や数学基礎論に貢献する研究室です。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（14 件）

続きを表示（残り 4 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。