LAB LOGA page on LabLog, a review site (not the lab's official page)
計算機科学(プログラミング言語理論, 分散コンピューティング理論)（西村 進）
Showing the original Japanese · View translation
プログラムのふるまいを数学でとらえる研究室。
AboutAbout the lab
プログラムの正しさを、数学で確かめる。
西村研究室は、
プログラムの
近年は
Key terms
- プログラム変換
- プログラムの
意味を 変えずに、 別の 形の プログラムに 書きかえる こと - 分散コンピューティング
- たくさんの
計算機が、 通信しながら 協力して 1つの 計算を する こと - 組合せ幾何
- 点や
辺や面を 組み合わせてできる 図形の 性質を 調べる 幾何学
ResearchResearch themes
コンピュータ・
MembersFaculty
- Associate Professor西村 進
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to 計算機科学(プログラミング言語理論, 分散コンピューティング理論)（西村 進）
数理生命科学
Statistical Physics and Dynamics group理学部 理学科非平衡系に
理論化学研究室理学部 理学科顕著な
代数学1The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “SimplexTree” Vibass / CC BY-SA 4.0 (cropped)
- 分散計算の
組合せトポロジー: “Illustration of Typical Workflow in TDA” Larrysong / CC BY-SA 4.0 (cropped) - Related lab (数理生命科学
（望月 敦史） ): “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 (cropped) - Related lab (Statistical Physics and Dynamics group): “Phase separation in Kupchan partitioning” Ikramul Hasan Imran / CC BY 4.0 (cropped)
- Related lab (理論化学研究室): “Bovine F1-ATPase inhibited by DCCD (dicyclohexylcarbodiimide) PDB 1e79” Emw / CC BY-SA 3.0 (cropped)
- Related lab (代数学1
（整数論） （跡部 発） ): “Bruhat-Tits-tree-for-Q-2” 부고 / CC BY-SA 4.0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.