形式语言与自动机（东京大学计算机专业修士课程全部改成英文授课啦）

同学们，大家好，今天小白江为大家带来一个重大消息。想要报考东京大学计算机专业修士的亲们注意了，2023年起，东京大学计算机专业修士课程将停止招生，所有申请者都必须报考东京大学sgu英文授课项目的English Program on Intelligent Information Processing，参加夏季入学考试，每年十月入学。也就是说东京大学计算机专业修士今后全部改成英文授课啦！想要报考东大计算机修士的话，英语成了必备条件！小伙伴们抓紧时间准备起来吧！此外，博士课程也进行了改革，今后将取消笔试考试，只提交申请文件，然后参加面试就可以哦！不管是修士的不再要求日语成绩，还是好博士的直接取消笔试考试，东大计算机专业“放低姿态”，自降入学难度，都是在给大家提供机会呀！难道你还不心动吗？

接下来，我来为大家介绍一下东京大学计算机专业修士英文课程English Program on Intelligent Information Processing吧，走起！

一、东京大学计算机专业修士英文课程基本情报

东京大学计算机专业修士课程原本是一个日语授课课程，隶属于情报理工学系研究科。改为英文授课后，仍然隶属于Graduate School of Information Science and Technology，但入学和考试时间都发生了很大的改变，募集要项也是独立的。

① 项目名称：

英文：English Program on Intelligent Information Processing

日语：知的情報処理英語プログラム

中文：智能信息处理英文项目

② 入学时间：每年10月

③ 申请时间：入学前一年度的10月

④ 考试时间：夏季考试

二、东京大学计算机专业修士英文课程学习内容

① 培养方向

拥有信息理工学相关的基础能力，具备在国际场合发挥作用所必需的素养，解决未涉足的课题，具有开拓未来的强烈意愿的人。

② 培养目的

目的是培养掌握信息理工工程学的系统知识，追求科学方法，能够主导信息科学技术相关的研究和开发的人才，为信息理工工程学的发展做出贡献。

关键词：逻辑、计算算法、计算机语言、操作系统、计算机体系结构、并行和分布式处理、安全、图形、数值计算、自然语言处理、知识发现、用户界面、基因组信息科学、计算科学等

③ 研究分野：

- Artificial Intelligence (AI), Data Science, Big Data

- Cybersecurity, Internet of Things (IoTs)

- Robotics, Cybernetics, VR

- Theoretical Computer Science, Advanced Algorithms, Supercomputing

④ 课程设置：

课程以计算基础理论、计算系统/编程、视觉信息、计算机体系结构、生物信息和计算系统等科目为中心展开，具体如下。

A (Common)：在信息科学和工程的所有研究领域中都很常见的课程和研究工作。

B (Basic)：关于特定领域的基础和背景理论的课程。

C (Core)：关于特定领域中心部分的课程。

D (Developed)：高级主题课程，扩展核心知识。

国际交流：仅对日本学生才有要求。在国外的活动和参加国际活动被量化为“积分”。

三、东京大学计算机专业修士英文课程部分教授

东京大学计算机专业修士英文课程是必须提前获得教授的内诺才可以申请的，所以大家要尽快决定报考方向和教授，提早进行套词哦。在这里我们简单介绍几位东大教授，供大家参考。有的教授是不收学生的，会在研究室或者在学校的介绍页面上写清楚（如下图），如果遇到这样的情况，请一定不要尝试套词哦！人家会觉得很烦哦。

① 研究室名：須田研究室

教员名：須田礼仁 教授

研究内容：（1）并行和高性能计算；（2）数值算法；（3）数据结构。以大规模科学技术计算的高速化、高精度化、高信赖化为目标进行研究。

② 研究室名：小林研究室

教员名：小林直樹 教授

研究内容：研究软件基础理论及其在程序验证等方面的应用。研究的目的是通过使用数理科学方法机械地验证和转换程序来提高软件的可靠性和性能。要达到这样的目的，需要深入学习和研究理论计算机科学，包括类型理论、形式语言和自动机、定理证明等。乍一看只是理论兴趣对象的数学概念实际上与上述的应用联系在一起，是该研究室所进行研究的妙趣所在。

③ 研究室名：五十嵐研究室

教员名：五十嵐健夫 教授

研究内容：（1）用户界面：从个人电脑和智能手机到机器人和自动驾驶汽车，广泛地对信息机器和人类相关的部分进行研究。除了开发使这些机器易于使用的技术外，还提出新的使用方法，分析使用方法，获得新的见解。

（2）图解：主要以对话性形状处理为对象进行研究。作为传统的图解，除了致力于制作三维形状或使其动画化的技术开发外，最近也在进行利用三维打印机等以现实世界的形状为对象的制造的研究。

④ 研究室名：宮尾研究室

教员名：宮尾祐介 教授

研究内容：自然语言处理和计算语言学。目标是运用数理模型和语言理论来阐明其工作原理。特别是基于计算机科学和语言学理论对自然语言进行公式化和分析的基础研究，以及立足于此的应用研究。

⑤ 研究室名：吉本研究室

教员名：吉本芳英 准教授

研究内容：以计算机科学和计算科学的界限为立足点，以电子状态计算作为大本营，1.从计算机科学的观点重新把握各个领域中各自发展的方法论，并结合在一起。2.从计算机科学的角度理解计算科学的需求，提出更本质的解决方法。

⑥ 研究室名：コンピューティングプラットフォーム研究室（PFLab）/加藤研究室

教员名：加藤真平 准教授

研究内容：该研究室成立于2016年4月。研究颠覆性创新的动力计算平台。主要研究内容有1.GPU型核心技术，2.三维数据处理，3.AI用SoC(System-on-a-Chip)，4.NoC型核心技术等。

⑦ 研究室名：コンピュータ・アーキテクチャ・システム研究室

(CASYS: Laboratory for Computer Architecture and Systems)

教员名：高前田伸也 准教授

研究内容：以计算机架构为中心，研究高效有趣的下一代计算机，包括基于FPGA和专用芯片的定制计算，机器学习处理等计算对象算法与硬件的协调设计，以及支持硬件设计的高级合成编译器。除了硬件研究外，还研究软件，包括编译器，编程模型和使计算机易于使用的框架。

⑧ 研究室名：佐藤一誠研究室

教员名：佐藤一誠 准教授

研究内容：人工智能－机器学习。因为需要利用概率、统计、线性代数、函数分析和优化等工具构建机器学习的基础理论。因此学生必须在具备这些数学知识的前提下进行研究。此外，以Python为主的编程能力也是必需的。

⑨ 研究室名：井元・片山研究室

教员名：井元清哉 教授 片山琴絵 准教授

研究内容：这是一个健康医疗领域的数据科学研究室。利用与基因组相关的大数据，包括全基因组，转录组，表观基因组，肠道菌群元基因组，以及与健康和医疗相关的大规模数据，如医疗信息，特定健康诊断，可穿戴设备等时间轴，开发统计科学数据分析技术，并利用超级计算机和云进行大规模分析。