跳到主要内容

東京大学 情報理工学系研究科 創造情報学専攻 2026年2月実施 筆記試験 第3問

标签：

Author​

itsuitsuki

Description​

Memorized version (English)​

Select four items out of the following eight items concerning information systems, and explain each item in approximately from four to eight lines. If necessary, use examples, figures or equations.

  1. MST and an algorithm for finding it
  2. Type checking and type inference
  3. Out-of-order execution (0708, 1802)
  4. Simulated Annealing and its applications / formulations (I forgot which)
  5. Stochastic Gradient Descent
  6. Affine transformation (2202)
  7. PID control, and the roles of its components: "P", "I", and "D" (0508)
  8. Inter-process Communication

题目描述​

本页原文明确标为“英文回忆版”，且第 4 项原文注明未能确定确切措辞。按现有内容：从下列八个信息系统主题中任选四个，每个用约 4～8 行说明；必要时可使用示例、图或公式。

  1. 最小生成树及一种求解算法。
  2. 类型检查与类型推断。
  3. 乱序执行。
  4. 模拟退火及其应用或形式化描述（原回忆文本未确定具体要求）。
  5. 随机梯度下降。
  6. 仿射变换。
  7. PID 控制及 (P,I,D) 三个环节的作用。
  8. 进程间通信。

考点​

  • 最小生成树：说明连通带权图中覆盖全部顶点的最小权树及 Kruskal 或 Prim 算法。
  • 类型检查与推断：比较验证程序类型一致性与从表达式约束自动推导类型。
  • 乱序执行：说明在保持体系结构语义的前提下按就绪情况调度指令并处理依赖。
  • 模拟退火：说明随温度下降以一定概率接受劣解，从而跳出局部最优的元启发式。
  • 随机梯度下降：说明用单样本或小批量梯度近似整体梯度迭代更新参数。
  • 仿射变换：说明线性变换加平移，以及其保持直线和平行性的性质。
  • PID 控制：分别说明比例响应当前误差、积分消除稳态误差、微分提供阻尼与趋势预测。
  • 进程间通信：说明管道、共享内存、消息队列或套接字等跨进程交换数据与同步机制。

Kai​

本页目录