LAB LOG评价网站 LabLog 的页面
附属計算機構研究施設（照井 一成）
正在显示日语原文 · 查看译文
証明そのものを、数学と計算の両面から研究する研究室。
About关于研究室
証明を、数学と計算の両面から。
照井研究室は、
証明は
カリー・ハワード対応のもとでは、
計算複雑性、
术语说明
- カリー・ハワード対応
- 論理の
証明と コンピュータの プログラムが、 互いに 対応していると いう 関係 - 計算複雑性
- 問題を
解くのに 必要な 計算の 時間や 記憶の 量で、 問題の 難しさを 測る 考え方 - ラムダ計算
- 関数を
つくる ことと 関数に 値を 入れる ことだけで 計算を 表す、 プログラムの 理論の 基本となる 体系
Research研究课题
「証明の
※示意图非古典論理の代数的証明論
非古典論理の
※示意图単純型ラムダ計算の計算複雑性
単純型ラムダ計算
※示意图Ω規則の代数化
伝統的証明論
Members教师
- 副教授照井 一成
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与附属計算機構研究施設（照井 一成）相似的研究室
応用数理研究部門
応用数理研究部門
応用数理研究部門
数理解析研究所本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《Hasse4Conn》 R. J. Mathar／CC BY-SA 4.0（裁剪）
- 非古典論理の
代数的証明論：《Hasse Diagram of Subgroup Lattice of D4》 Spamakin／CC0（裁剪） - 単純型ラムダ計算の
計算複雑性：《A lambda-term with links》 PIerre.Lescanne／CC BY-SA 4.0（裁剪） - Ω規則の
代数化：《Gerhard Gentzen》 Eckart Menzler-Trott／CC BY-SA 2.0 de（裁剪） - 相关研究室
（応用数理研究部門 （長谷川 真人）） ：《Kleisli Category - morphism composition》 AugPi／CC BY-SA 4.0（裁剪） - 相关研究室
（応用数理研究部門 （河村 彰星）） ：《Turing Machine》 Porao／公有领域 （裁剪） - 相关研究室
（応用数理研究部門 （牧野 和久）） ：《B functies 2var versie02》 Bob.v.R／CC BY-SA 4.0（裁剪） - 相关研究室
（数理解析研究所 （桑垣 樹）） ：《Whitney umbrella》 Jlrodri／CC BY-SA 3.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。