LAB LOG评价网站 LabLog 的页面
京都大学
本科：理学部 理学科 数理科学系
研究生院：理学研究生院 数学・数理解析专业 数学系
計算機科学(プログラミング言語理論, 分散コンピューティング理論)（西村 進）
正在显示日语原文 · 查看译文
プログラムのふるまいを数学でとらえる研究室。
About关于研究室
プログラムの正しさを、数学で確かめる。
西村研究室は、
プログラムの
近年は
术语说明
- プログラム変換
- プログラムの
意味を 変えずに、 別の 形の プログラムに 書きかえる こと - 分散コンピューティング
- たくさんの
計算機が、 通信しながら 協力して 1つの 計算を する こと - 組合せ幾何
- 点や
辺や面を 組み合わせてできる 図形の 性質を 調べる 幾何学
Research研究课题
コンピュータ・
Members教师
- 副教授西村 進
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
研究成果
专注于实验室内研究积极在学会・论文中发表
--
课题自由度
导师提供课题自己决定课题
--
指导力度
放手让学生自主 细致指导
--
研究经费
巧妙调配设备・资金充裕
--
成员氛围
各自默默工作热闹融洽
--
整体繁忙程度
全力投入研究时间充裕
--
核心时间-
研究室会议-
暂无学长学姐评价
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与計算機科学(プログラミング言語理論, 分散コンピューティング理論)（西村 進）相似的研究室
数理生命科学
Statistical Physics and Dynamics group理学部 理学科非平衡系に
理論化学研究室理学部 理学科顕著な
代数学1本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《SimplexTree》 Vibass／CC BY-SA 4.0（裁剪）
- 分散計算の
組合せトポロジー：《Illustration of Typical Workflow in TDA》 Larrysong／CC BY-SA 4.0（裁剪） - 相关研究室
（数理生命科学 （望月 敦史）） ：《Gene-gene-interaction-network-of-84-genes-upregulated-in-both-PT-and-LM》 Zhenyuan Qian, Guobing Zhang, Guangyuan Song, Ji Shi, Lijie Gong, Yiping Mou, Yong Han／CC BY 3.0（裁剪） - 相关研究室
（Statistical Physics and Dynamics group） ：《Phase separation in Kupchan partitioning》 Ikramul Hasan Imran／CC BY 4.0（裁剪） - 相关研究室
（理論化学研究室） ：《Bovine F1-ATPase inhibited by DCCD (dicyclohexylcarbodiimide) PDB 1e79》 Emw／CC BY-SA 3.0（裁剪） - 相关研究室
（代数学1 （整数論） （跡部 発）） ：《Bruhat-Tits-tree-for-Q-2》 부고／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。