LAB LOG评价网站 LabLog 的页面
森畑研究室
机器翻译 · 查看原文
探索如何改写程序并自动生成程序的程序设计研究室。
About关于研究室
让编程更加自动化。
森畑研究室研究程序设计的基础理论及其应用。
即使在大语言模型
该研究室的强项是“程序变换”，
研究以“
术语说明
- 程序变换
- 在保持语义不变的前提下改写程序，
使其更快或转换为其他形式的技术 - 并行化
- 把原本逐个依次执行的处理，
改写成可由多个核心或CPU同时分担执行的形式 - 动态规划
- 把大问题分解为小问题，
记录中间结果并反复利用， 从而高效求解的方法 - 程序自动合成
- 根据输入输出示例等比程序本身更少的信息，
自动生成满足条件的程序
Research研究课题
研究程序设计的基础理论及其应用。
※示意图程序的自动并行化
研究“并行化”，
※示意图自动导出算法模式
基于程序变换，
※示意图自动合成・验证与语言设计
为了充分发挥程序变换的作用，
※示意图程序运算
就像通过式子变形来求解方程一样，
Members教师
- 副教授森畑 明昌研究成果 ↗
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
--
--
--
--
--
--
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与森畑研究室相似的研究室
本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《CSS code on a screen (Unsplash)》 Sai Kiran Anagani _imkiran／CC0（裁剪）
- 程序的自动并行化：《AMD Phenom II X4 840 (HDX840WFK42GM) CPU-top oblique PNr°0373》 D-Kuru／CC BY-SA 3.0 at（裁剪）
- 自动导出算法模式：《Coder screen shot》 Wikideas1／CC0（裁剪）
- 自动合成・验证与语言设计：《Haskell code written on a sticky note》 deavmi／CC BY-SA 4.0（裁剪）
- 程序运算：《Formulas on an old blackboard (Unsplash)》 Roman Mager／CC0（裁剪）
- 相关研究室
（植田研究室） ：《Japan Foundation student trying Bunraku puppet》 Leonardo Boiko／CC BY 2.0（裁剪） - 相关研究室
（福永研究室） ：《Schachfiguren》 Dietmar Rabich／CC BY-SA 4.0（裁剪） - 相关研究室
（金子研究室） ：《Go (13×》 Dietmar Rabich／CC BY-SA 4.0（裁剪） - 相关研究室
（開一夫研究室） ：《Babies with soft books》 https://pixabay.com/en/users/ /／CC0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。