stanford-oval/wikipedia huggingface dataset:
ML语言
示例代码 > 排序算法

排序算法关注计算复杂度，特别是时间复杂度，基本库函数的实现细节也要考虑在内，比如串接函数@，它被实现为fun l1 @ l2 = revAppend(rev l1, l2)，除非必需的情况避免使用遍历整个列表的rev和length函数。
通过比较于这些排序算法的周知过程式编程语言比如C语言的实现，可以体察到ML在控制流程和列表数据结构上的相关限制，和与之相适应的采用尾递归的特色函数式编程风格。
示例代码 > 排序算法 > 插入排序

下面是简单的插入排序算法的尾递归和等价的普通递归实现：
| 尾递归 | 普通递归 |
| --- | --- |
 fun insertSort l = let     fun insert pred (ins, l) = let         fun loop (acc, []) =               List.revAppend (acc, [ins])           | loop (acc, l as x :: xs) =               if pred (ins, x)               then List.revAppend (acc, ins :: l)               else loop (x :: acc, xs)         in  loop ([], l) end     val rec ge = fn (x, y) => (x >= y)          in         rev (foldl (insert ge) [] l)     end :  fun insertSort l = let     fun insert pred (ins, []) =           [ins]        | insert pred (ins, l as x :: xs) =           if pred (ins, x) 	      then ins :: l 	      else x :: (insert pred (ins, xs))      val rec ge = fn (x, y) => (x >= y)          in         rev (foldl (insert ge) [] l)     end 
x保存在形式参数acc对应的分配堆中: x保存在调用栈栈帧中
插入排序算法是稳定的自适应排序（英语：），它在输入列表趋于正序的时候性能最佳，在输入列表趋于反序的时候性能最差，因此在算法实现中，需要insert函数所插入列表保持为反序，在插入都完成后经rev函数再反转回正序。在预期输入数据趋于随机化或者预知它经过了反转的情况下，可以采用保持要插入列表为正序的变体插入排序算法实现，它在输入列表趋于反序的时候性能最佳，在输入列表趋于正序的时候性能最差，它比自适应实现少作一次全列表反转。
采用foldr函数可以相应的保持要插入列表为正序，由于fun foldr f b l = foldl f b (rev l)，它等同于对反转过的列表应用变体插入排序。
示例代码 > 排序算法 > 希尔排序

希尔排序算法是对插入排序的改进，保持了自适应性（英语：），放弃了稳定性。
下面是希尔排序的实现：
fun shellSort l = let
    fun insert pred (ins, l) = let
        fun loop (acc, []) =
              List.revAppend (acc, [ins])
          | loop (acc, l as x :: xs) =
              if pred (ins, x)
              then List.revAppend (acc, ins :: l)
              else loop (x :: acc, xs)
        in 
            loop ([], l)
        end
    val rec lt = fn (x, y) => (x < y)
    fun insertSort [] = []
      | insertSort [x] = [x]
      | insertSort [x, y] =
          if (y < x) then [y, x] else [x, y] 
      | insertSort (x :: y :: z :: xs) = let
        val (x, y, z) = 
              if (y < x) then
                  if z < y then (z, y, x) 
                  else if z < x then (y, z, x)
                  else (y, x, z)
              else
                  if z < x then (z, x, y)
                  else if z < y then (x, z, y) 
                  else (x, y, z)
        in
           foldl (insert lt) [x, y, z] xs
        end 
    fun group (lol, n) = let
        fun dup n = let
            fun loop (acc, i) =
                  if i <= 0 then acc
                  else loop ([] :: acc, i - 1)
            in
                loop ([], n)
            end    
        fun loop ([], [], accj, lol') = 
              List.revAppend (accj, lol')
          | loop (acci, [], accj, []) =
              loop ([], rev acci, [], rev accj)              
          | loop (acci, [], accj, lol') =
              loop ([], rev acci, accj, lol')
          | loop (acci, lol, accj, []) =
              loop (acci, lol, [], rev accj)    
          | loop (acci, [] :: ls, accj, lol') =
              loop (acci, ls, accj, lol')  
          | loop (acci, (x :: xs) :: ls, accj, l' :: ls') =                
              loop (xs :: acci, ls, (x :: l') :: accj, ls')
        in
            loop ([], lol, [], dup n)
        end 
    val (lol, len) = foldl
          (fn (x, (l, n)) => ([x] :: l, n + 1)) ([], 0) (rev l)
    val incs = [1, 4, 9, 20, 46, 103, 233, 525, 1182, 2660, 
                5985, 13467, 30301, 68178, 153401, 345152,
                776591, 1747331, 3931496, 8845866, 19903198,
                44782196, 100759940, 226709866, 510097200]
    val gap = let
        val v = len * 3 div 4
        val thold = if (v = 0) then 1 else v
        fun loop (acc, h) = 
              if (hd h) > thold then acc
              else loop ((hd h) :: acc, tl h)
        in 
            loop ([], incs)
        end
    fun sort (h, lol) = map insertSort (group (lol, h))
    in
        hd (foldl sort lol gap) 
    end
这里采用的间隔序列是OEIS A108870，即 \ {\begin{smallmatrix}\left\lceil {\frac {1}{5}}\left(9\cdot \left({\frac {9}{4}}\right)^{k-1}-4\right)\right\rceil \end{smallmatrix}}\ ，它是徳田尚之在1992年提出的。这个序列用递推公式表示为：hk = ⌈h'k⌉，这里的h'k = 2.25·h'k-1 + 1而h'1 = 1。假定一个列表的长度s位于序列两个元素之间，即hk-1 < hk ≤ s < hk+1，如果hk ≤  {\tfrac {n}{m}}·s，这里的n ≤ m，则选择初始间隔为hk，否则为hk-1。在这个阈值下，对于不同长度s的列表和对应的初始间隔h，每个列表的这些初始子列表的平均长度 {\tfrac {s}{h}}，约在 {\tfrac {m}{n}} ≤  {\tfrac {s}{h}} <  {\tfrac {9}{4}}· {\tfrac {m}{n}}范围之内。间隔序列还可以采用OEIS A102549，它是Marcin Ciura在2001年通过实验得到的。
示例代码 > 排序算法 > 快速排序

下面是快速排序算法的自顶向下实现：
fun quickSort [] = []
  | quickSort [x] = [x]
  | quickSort [x, y] =
      if x <= y then [x, y] else [y, x]
  | quickSort [x, y, z] = let
    val (x, y) = if x <= y then (x, y) else (y, x)
    val (y, z) = if y <= z then (y, z) else (z, y)
    val (x, y) = if x <= y then (x, y) else (y, x)
    in
        [x, y, z]
    end
  | quickSort (pivot :: xs) = let
    fun partition pred l = let
        fun loop ([], p, q) = (p, q)
          | loop (h :: t, p, q) =
              if (pred h) 
              then loop (t, h :: p, q)
              else loop (t, p, h :: q)
        in
            loop (l, [], [])
        end
    val (le, gt) = partition (fn x => (x <= pivot)) xs
    in  
        (quickSort le) @ (pivot :: (quickSort gt))
    end
基本库partition函数实现对快速排序而言有不必要的反转，
这里采用了它的简化改写。在ML中快速排序应采用自底向上实现：
fun quickSort l = let 
    fun partition pred l = let
        fun loop ([], p, q) = (p, q)
          | loop (h :: t, p, q) =
              if (pred h) 
              then loop (t, h :: p, q)
              else loop (t, p, h :: q)
        in
            loop (l, [], [])
        end
    fun iterate (acc, []) = acc
      | iterate (acc, [] :: xs) = iterate (acc, xs)
      | iterate (acc, [x] :: xs) = iterate (x :: acc, xs)
      | iterate (acc, [x, y] :: xs) = let
        val (x, y) = if x <= y then (x, y) else (y, x) 
        in
            iterate (x :: y :: acc, xs)
        end
      | iterate (acc, [x, y, z] :: xs) = let
        val (x, y) = if x <= y then (x, y) else (y, x)
        val (x, y, z) =
              if y <= z then (x, y, z)
              else if x <= z then (x, z, y)
              else (z, x, y)
        in
            iterate (x :: y :: z :: acc, xs)
        end
      | iterate (acc, (pivot :: d) :: xs) = let
        val (le, gt) = partition (fn x => (x <= pivot)) d
        in
            iterate (acc, gt :: [pivot] :: le :: xs) 
        end       
    in
        iterate ([], [l])
    end
示例代码 > 排序算法 > 归并排序

下面是归并排序算法的自底向上法实现：
fun mergeSort l = let
    fun init (acc, []) = acc
      | init (acc, [x]) = [x] :: acc
      | init (acc, [x, y]) =
          if x <= y then [x, y] :: acc else [y, x] :: acc
      | init (acc, x :: y :: z :: xs) = let
        val (x, y, z) =
              if x <= y then
                  if y <= z then (x, y, z)
                  else if x <= z then (x, z, y)
                  else (z, x, y)
              else 
                  if x <= z then (y, x, z)
                  else if y <= z then (y, z, x)
                  else (z, y, x)
        in
            init ([x, y, z] :: acc, xs)
        end
    fun mergeWith _ (acc, [], []) = acc
      | mergeWith _ (acc, p, []) = List.revAppend (p, acc)  
      | mergeWith _ (acc, [], q) = List.revAppend (q, acc)
      | mergeWith cmp (acc, p :: ps, q :: qs) =
          if cmp (p, q)
          then mergeWith cmp (p :: acc, ps, q :: qs)
          else mergeWith cmp (q :: acc, p :: ps, qs)
    val mergeRev = mergeWith (fn (x, y) => (x > y))
    val revMerge = mergeWith (fn (x, y) => (x < y))
    fun iterate ([], _) = []
      | iterate ([x], isRev) =
          if isRev then rev x else x
      | iterate (acc, isRev) = let      
        val merge = if isRev then mergeRev else revMerge
        fun loop (acci, []) = acci
          | loop (acci, [x]) = (rev x) :: acci 
          | loop (acci, x :: y :: xs) = 
              loop (merge ([], x, y) :: acci, xs)
        in
            iterate (loop ([], acc), not isRev)
        end
    in
        iterate (init ([], l), false)
    end
考虑输入列表[x1, ..., xi, a0, ..., a9, xj, ..., xn]，这里在xi和xj之间的10个a，具有相同的值并且需要保持其下标表示的次序，这里的xi > a并且xj < a，并且在这个区段前后的元素总数都能被3整除，则它被分解成子列表的列表[Xm, ..., [xj, a8, a9], [a5, a6, a7], [a2, a3, a4], [a0, a1, xi], ..., X1]，这里有m = n div 3；假定这4个含有a的子列表两两归并，在归并正序子列表的归并条件x < y下，能得到[X1, ..., [xi, a4, ..., a0], [a9, ..., a5, xj], ..., Xk]；继续推演下去，在归并反序子列表的归并条件x > y下，能得到[Xh, ..., [xj, a0, ..., a9, xi], ..., X1]。可以看出这种归并操作能够保证排序算法的稳定性，即具有相同值的元素之间的相对次序保持不变。
分解初始的子列表采用了插入排序，还可进一步增加其大小。归并排序也有自顶向下实现。
示例代码 > 排序算法 > 基数排序

下面是针对非负整数的基数排序算法的实现：
fun radixSort l = let
    fun distribute (l, d) = let
        val t0 = ([], [], [], [], [], [], [], [])
        fun loop (t, []) = let
            fun join (acc, i) = let
                val f = case i 
                      of 1 => (#1 t) | 2 => (#2 t) | 3 => (#3 t)
                       | 4 => (#4 t) | 5 => (#5 t) | 6 => (#6 t) 
                       | 7 => (#7 t) | 8 => (#8 t) | _ => []
                in
                    if i <= 0 then acc      
                    else join (List.revAppend (f, acc), i - 1)         
                end
            in
                join ([], 8)
            end      
          | loop (t, x :: xs) = let
            val (f0, f1, f2, f3, f4, f5, f6, f7) = t
            val t = case ((x div d) mod 8)
                  of 0 => (x :: f0, f1, f2, f3, f4, f5, f6, f7)
                   | 1 => (f0, x :: f1, f2, f3, f4, f5, f6, f7)
                   | 2 => (f0, f1, x :: f2, f3, f4, f5, f6, f7)
                   | 3 => (f0, f1, f2, x :: f3, f4, f5, f6, f7)
                   | 4 => (f0, f1, f2, f3, x :: f4, f5, f6, f7)
                   | 5 => (f0, f1, f2, f3, f4, x :: f5, f6, f7)
                   | 6 => (f0, f1, f2, f3, f4, f5, x :: f6, f7)
                   | 7 => (f0, f1, f2, f3, f4, f5, f6, x :: f7)
                   | _ => t0
            in
                loop (t, xs)
            end       
        in
            loop (t0, l)
        end
    val SOME maxInt = Int.maxInt
    val max = foldl (fn (x, y) => if x > y then x else y) 0 l
    fun iterate (l, d) = let
        val l' = distribute (l, d)
        in
            if d >= (maxInt div 8 + 1) orelse
               ((max div d) div 8) = 0 then l'  
            else iterate (l', d * 8)
        end
    in
        iterate (l, 1) 
    end
这里采用的基数是2的3次幂8，代码所使用的列表元组大小与基数大小成正比，运算量与列表中元素的总数与最大数的位数的乘积成正比。
示例代码 > 随机数生成

编写排序算法进行测试除了使用简单的数列，
测试用列表还可以使用线性同余伪随机数函数来生成：
fun randList (n, seed) = let
    val randx = ref seed
    fun lcg () = (randx := (!randx * 421 + 1663) mod 7875; !randx) 
    (* fun lcg () = (randx := (!randx * 1366 + 150889) mod 714025; !randx) *)
    fun iterate (acc, i) =
          if i <= 0 then acc
          else iterate (lcg () :: acc, i - 1)
    in
        iterate ([], n)
    end
示例代码 > 语言解释器

定义和处理一个小型表达式语言是相对容易的：
exception Err;
 
datatype ty
  = IntTy
  | BoolTy
 
datatype exp
  = True
  | False
  | Int of int
  | Not of exp
  | Add of exp * exp
  | If of exp * exp * exp
 
fun typeOf (True) = BoolTy
  | typeOf (False) = BoolTy
  | typeOf (Int _) = IntTy
  | typeOf (Not e) = 
      if typeOf e = BoolTy
      then BoolTy
      else raise Err
  | typeOf (Add (e1, e2)) = 
      if (typeOf e1 = IntTy) andalso (typeOf e2 = IntTy)
      then IntTy
      else raise Err
  | typeOf (If (e1, e2, e3)) = 
      if typeOf e1 <> BoolTy
      then raise Err
      else if typeOf e2 <> typeOf e3 then raise Err
      else typeOf e2

fun eval (True) = True
  | eval (False) = False
  | eval (Int n) = Int n
  | eval (Not e) = (case eval e
      of True => False
       | False => True
       | _ => raise Fail "type-checking is broken")
  | eval (Add (e1, e2)) = let
    val (Int n1) = eval e1
    val (Int n2) = eval e2
    in
        Int (n1 + n2)
    end
  | eval (If (e1, e2, e3)) = 
      if eval e1 = True
      then eval e2
      else eval e3
 
fun exp_repr e = let
    val msg = case e
         of True  => "True"
          | False => "False"
          | Int n => Int.toString n
          | _ => ""     
    in
        msg ^ "\n"
    end
    
(* 忽略TypeOf的返回值，它在类型错误时发起Err *) 
fun evalPrint e = (ignore (typeOf e); print (exp_repr (eval e)));
将这段代码录入文件比如expr-lang.sml，并在命令行下执行sml expr-lang.sml，可以用如下在正确类型的和不正确类型上运行的例子，测试这个新语言：
- val e1 = Add (Int 1, Int 2);  (* 正确的类型 *)
val e1 = Add (Int 1,Int 2) : exp
- val _ = evalPrint e1;
3
- val e2 = Add (Int 1, True);   (* 不正确的类型 *)
val e2 = Add (Int 1,True) : exp
- val _ = evalPrint e2;

uncaught exception Err
  raised at: expr-lang.sml:25.20-25.23
北海道 (令制)

北海道是日本於1869年9月20日（明治2年8月15日）設立的律令制下廣域的行政區域劃分，範圍即北海道本島（在之前原被稱作蝦夷地、北州、十州島）及其周邊附屬的島嶼。
其名稱沿用自當時原有的律令制下五畿七道的東海道、西海道、南海道，且在北海道設立後合稱為「五畿八道」。
行政區劃

渡島國
後志國
膽振國
日高國
石狩國
天鹽國
北見國
十勝國
釧路國
根室國
千島國
相關條目

蝦夷地
北海道
道南十二館
蝦夷管領
和人地
松前藩
場所承包（日语：）
北前船（日语：）
箱館奉行
天领
箱館裁判所（日语：）
箱館府（日语：）
開拓使
三縣一局時代
|  论 编日本令制國（列表） |
| --- | --- | --- |
| 畿內 |  山城  大和 芳野監  河內  和泉  攝津  |  |
| 東海道 |  伊賀  伊勢  志摩  尾張  三河  遠江  駿河  伊豆  甲斐  相模  武藏  安房  上總  下總  常陸  |  |
| 東山道 |  近江  美濃  飛驒  信濃 諏方  上野  下野  陸奧 石城  石背／陸中  陸前  磐城  岩代  出羽 羽前  羽後  |  |
| 北陸道 |  若狹  越前  加賀  能登  越中  越後  佐渡  |  |
| 山陰道 |  丹波  丹後  但馬  因幡  伯耆  出雲  石見  隱岐  |  |
| 山陽道 |  播磨  美作  備前  備中  備後  安藝  周防  長門  |  |
| 南海道 |  紀伊  淡路  阿波  讚岐  伊予  土佐  |  |
| 西海道 |  筑前  筑後  豐前  豐後  肥前  肥後  日向  大隅 多禰  薩摩  壹岐  對馬  |  |
| 北海道 |  渡島  後志  膽振  石狩  天鹽  北見  日高  十勝  釧路  根室  千島  |  |
国务院办公厅人事司

国务院办公厅人事司是中华人民共和国国务院办公厅内设的一个职能司。
工作职能

国务院办公厅人事司主要按照国务院办公厅确定的工作范围，负责办理以下各项工作：
负责国务院办公厅的人事管理。
负责国务院办公厅工作人员的教育培训工作。
办理工作人员的出国手续。
负责国务院领导办公室的人事工作。
负责挂靠单位的人事管理工作。
其他相关工作。
太洪长江大桥

太洪长江大桥
太洪長江大橋，原名“太洪岗长江大桥”，位於重慶市渝北區太洪崗，南端位於巴南區。即御臨河匯入長江處，是南川至兩江新區高速公路的跨江橋樑。大桥全长1436米，为主跨808米、设计时速80公里，双向6车道的钢箱梁悬索桥。
技术参数

橋長1069m，寬32m，設計行車速度80km/h。主橋為雙塔單跨鋼箱梁懸索橋，南岸引橋、北岸引橋為先簡支後連續T梁結構。太洪崗長江大橋所處橋位屬丘陵山河谷地貌，橋橫跨長江，長江在該段順直平緩，水流從南西向北東流，河床平坦開闊。全橋位地面高程在270-160-225m，最大高差約110m。
參考資料

↑  刘艳 黎浪. . 华龙网. 2020-08-26  [2021-02-23].
↑  「重慶南川至兩江新區高速公路是《重慶市高速公路網規劃（2013—2030年）》中的重要項目，起於南川區的大鋪子與G65包茂高速公路（渝湘高速公路）相接，經南川區北固、福壽、石溪，涪陵區龍潭、增福，並於新妙與沿江高速相接，穿越東溫泉山，與沿江高速公路長壽支線相接，於太洪跨越長江，止於渝北區洛磧鎮的劉家灣與重慶三環高速公路合川至長壽段終點相接。本建設項目工程可行性研究報告（以下簡稱「工可報告」）已編製完成。工可報告推薦線上的擬建太洪崗長江大橋（暫定名）起止樁號K71+109～K72+178，橋長1069m，寬32m，設計行車速度80km/h。工可報告推薦方案主橋為雙塔單跨鋼箱梁懸索橋，南岸引橋、北岸引橋為先簡支後連續T梁結構。太洪崗長江大橋所處橋位屬丘陵山河谷地貌，橋橫跨長江，長江在該段順直平緩，水流從南西向北東流，河床平坦開闊。全橋位地面高程在270-160-225m，最大高差約110m。」《重慶南川至兩江新區高速公路太洪崗長江大橋通航安全與行洪論證招標公告 （第二次招標）》
威廉·米勒

威廉·米勒可以指：
乔治·威廉·米勒，第11任美联储主席。
威廉·米勒 (英格兰足球运动员)
威廉·米勒 (苏格兰足球运动员)
威廉·米勒 (德国诗人)
威廉·米勒 (传教士)
威廉·米勒 (手球运动员)（德語：）
威廉·米勒 (赛艇运动员)（英語：）
蛋白酶K

在分子生物学中蛋白酶K（英語：，EC 3.4.21.64，也被称为内肽酶K（endopeptidase K）、腐生真菌碱性蛋白酶（Tritirachium alkaline proteinase）、腐生真菌丝氨酸蛋白酶（Tritirachium album serine proteinase）、腐生真菌蛋白酶K（Tritirachium album proteinase K），是一种用途广泛的丝氨酸蛋白酶。这种酶于1974年在真菌 白色侧齿霉菌（英语：）（Engyodontium album）的提取物中发现。蛋白酶K能消化天然的角蛋白（Kerati），而得名蛋白酶K。其主要的切割位点是脂肪族氨基酸和芳香族氨基酸的羧基端肽键。由于其广泛地的切割能力，在实验室中很常用。此蛋白酶属于丝氨酸蛋白酶SB超家族中的S8家族（枯草杆菌蛋白酶也属于这个超家族）。蛋白酶K的分子量为28.9千道尔顿。
酶活性

酵素偏好的切位是在疏水性胺基酸後的位置。本酵素由鈣活化，雖然鈣並不會影響酵素的活性，但它可使酵素更穩定。
在足量酵素濃度及作用時間的環境下，蛋白質會完全被水解。若移除鈣離子，蛋白酶K的穩定性會大幅降低，但其水解活性仍然存在。蛋白酶K對於鈣離子具有兩個結合位，都在活性中心附近，但都與催化反應無直接關聯。
在常用缓冲液中的蛋白酶K活性
| 缓衝液（pH = 8> 0, 50°C, 蛋白酶K濃度：1.25 µg/mL ,作用15分鐘） | 蛋白酶K活性（%） |
| --- | --- |
30 mM Tris·Cl: 100
30 mM Tris·Cl; 30 mM EDTA; 5% Tween 20（英语：）; 0.5% Triton X-100; 800 mM GuHCl（英语：）: 313
36 mM Tris·Cl; 36 mM EDTA; 5% Tween 20; 0.36% Triton X-100; 735 mM GuHCl: 301
10 mM Tris·Cl; 25 mM EDTA; 100 mM NaCl; 0.5% SDS: 128
10 mM Tris·Cl; 100 mM EDTA; 20 mM NaCl; 1% Sarkosyl（英语：）: 74
10 mM Tris·Cl; 50 mM KCl; 1.5 mM MgCl2; 0.45% Tween 20; 0.5% Triton X-100: 106
10 mM Tris·Cl; 100 mM EDTA; 0.5% SDS: 120
30 mM Tris·Cl; 10 mM EDTA; 1% SDS: 203
应用

蛋白酶K時常應用於分子生物學領域。在製備核酸時，蛋白酶K可以將雜蛋白去除，並迅速使核酸酶失活，避免其降解目標產物DNA和RNA。另外，蛋白酶K還有其他優點，它在變性劑存在下仍能保有活性，如SDS、尿素、EDTA等等，這點與其他蛋白酶（如胰蛋白酶、胰凝乳蛋白酶）相當不同。
南五马路站

南五马路站位于辽宁省沈阳市和平区，是沈阳地铁4号线的车站，于2023年9月29日随4号线开通启用，车站名称“南五马路”来源于车站主体结构南侧的东西向道路。
车站结构

本站主体位于和平区南京南街与南五马路交叉路口北侧，主体沿南京南街南北向设置，共设4个出入口。车站形式为地下三层岛式车站，地下一层为站厅层，地下二层为站台层，站台均设有高站台门。此外，站厅与站台之间设有一未标注楼层的客流缓冲及设备层。
本站4号线站厅层设置有罗森便利店及库迪咖啡店，属于沈阳地铁首批开业的地铁车站商业设施。
车站结构 > 车站楼层

| 0 | 1 | 2 |
| --- | --- | --- |
| 地面层 | 出入口 | 各出入口 |
| B1层 | 站厅 | 乘客服务中心、自动售票机、安检、罗森便利店、库迪咖啡 |
| 穿堂层 | 设备层 | 设备层、客流缓冲层 |
| B2层 |  北 |  █ 4号线 往正新路方向 （太原街） |
B2层: 岛式站台，开左边门
| B2层 |  |  █ 4号线 往创新路方向 （砂阳）南   |
车站结构 > 车站出口

本站设置4个出入口，其中A1及A2出入口位于南京南街西侧，A1出入口朝向北，A2出入口朝向南；D1及D2出入口位于南京南街东侧，D1出入口朝向北并设置无障碍电梯，D2出入口朝向南。
由于南京南街未预留标准尺寸地铁口所需的空间，因此本站出入口相对狭窄。
| 出口编号 | 出口指示 | 建议前往的目的地 | 照片 |
| --- | --- | --- | --- |
|   | 南京南街 路西 | 南京南街、民主路、世纪家园、南三马路、亚洲时尚公寓 |  |
|   | 南京南街 路西 | 南京南街、南五马路、大润发和平店、先锋家园、中国电信南京街营业厅、美龙家园 |  |
|    | 南京南街 路东 | 南京南街、民主路、五环运动商城、体育公园、沈阳市全民健身中心、中山公园 |  |
|   | 南京南街 路东 | 南京南街、南五马路、民主家园、沈阳铁路实验中学、南六马路 |  |
註： 設有
利用状况

本站位于南京南街与南五马路路口北侧，车站附近有大润发和平店、五环运动商城等商业项目，也有铁路实验中学等学校，因此车站客流相对较大，以购物客流、居民客流及学生客流为主。
接驳交通

| 编号 | 编号 | 线路 | 线路 | 线路 | 收费 | 运营商 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | 152 | 汇泉东路长青街 | ⇆ | 沈阳站南（民主路） | 2元 | 客运一分 | 原 502 |
|  | 223 | 江南水乡 | ⇆ | 沈阳站南 | 2元 | 地铁巴士南区 |  |
|  | 282 | 南塔街南二环 | ⇆ | 第二十一中学 | 2元 | 地铁巴士南区 |  |
|  | 523 | 富民桥北 | 全程 ⇆ | 沈阳站南 | 2元 | 客运一分 |  |
|  | 523 | 富民桥北 | 区间 ⇆ | 五爱西区北 | 2元 | 客运一分 |  |
|-
| 编号 | 编号 | 线路 | 线路 | 线路 | 收费 | 运营商 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | 环一 | 沈阳站南（民主路） | ↺ | 沈阳站南（民主路） | 2元 | 地铁公交 | 逆时针环行，途经朝阳街 |
|  | 环二 | 沈阳站南（民主路） | ↺ | 沈阳站南（民主路） | 2元 | 地铁公交 | 顺时针环行，途经正阳街 |
|-
| 编号 | 编号 | 线路 | 线路 | 线路 | 收费 | 运营商 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | 154 | 智慧三街莫子山路 | ⇆ | 大润发和平店 | 2元 | 沈苏公司 |  |
|-
| 编号 | 编号 | 线路 | 线路 | 线路 | 收费 | 运营商 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | V134 | 城东湖街仙女河北路 | ⇆ | 大润发和平店 | 2元 | 安运公交 | 定时班车 |
|-
| 编号 | 编号 | 线路 | 线路 | 线路 | 收费 | 运营商 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | 134 | 路官一街南二环 | ⇆ | 龙之梦亚太城 | 2元 | 安运公交 |  |
|  | 135 | 万柳塘路文化路 | 全程 ⇆ | 中国机床城西 | 2元 | 通运巴士 |  |
|  | 135 | 万柳塘路文化路 | 区间 ⇆ | 兴盛汇景苑 | 2元 | 通运巴士 |  |
|  | 239 | 重工街地铁站 | ⇆ | 泉园小区 | 2元 | 通运巴士 |  |
|  | 251 | 沈阳站西公交枢纽 | ⇆ | 龙之梦亚太城 | 2元 | 通运巴士 |  |
|  | 257 | 细河路南阳湖街 | ⇆ | 马路湾 | 2元 | 通运巴士 |  |
|  | 297 | 市工人文化宫 | ⇆ | 万柳塘公园北 | 2元 | 通运巴士 |  |
|  | 324 | 苏家屯 | 全程 ⇆ | 北站北广场 | 2–3元 | 沈苏公司 | 分段收费 使用盛京通卡需上下车各刷卡一次 早晚高峰开行苏家屯至浑河站地铁站短线车 |
|  | 324 | 苏家屯 | 区间 ⇆ | 沈阳站南（民主路） | 2–3元 | 沈苏公司 | 分段收费 使用盛京通卡需上下车各刷卡一次 早晚高峰开行苏家屯至浑河站地铁站短线车 |
|  | 327 | 碧桂园凤凰城 | ⇆ | 沈阳站南（民主路） | 2–3元 | 沈苏公司 | 分段收费 使用盛京通卡需上下车各刷卡一次 |
|  | V134 | 城东湖街仙女河北路 | ⇆ | 大润发和平店 | 2元 | 安运公交 | 定时班车 |
|  | 预备役号专线 | 浑南汽车城西 | ⇆ | 中海寰宇天下南 | 2元 | 安运巴士 |  |
|-
| 编号 | 编号 | 线路 | 线路 | 线路 | 收费 | 运营商 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  | 115 | 望花工业园 | ⇆ | 新华路 | 2元 | 安运公交 |  |
|  | 231 | 金山小区 | ⇆ | 滑翔三小区 | 2元 | 地铁公交 |  |
|  | 296 | 滑翔三小区 | ⇆ | 龙之梦亚太城 | 2元 | 地铁公交 |  |
|  | 301 | 青城山路黄河大街 | ⇆ | 胜利南街地铁站 | 2元 | 地铁公交 |  |
|  | 324 | 苏家屯 | 全程 ⇆ | 北站北广场 | 2–3元 | 沈苏公司 | 分段收费 使用盛京通卡需上下车各刷卡一次 早晚高峰开行苏家屯至浑河站地铁站短线车 |
|  | 324 | 苏家屯 | 区间 ⇆ | 沈阳站南（民主路） | 2–3元 | 沈苏公司 | 分段收费 使用盛京通卡需上下车各刷卡一次 早晚高峰开行苏家屯至浑河站地铁站短线车 |
|  | 327 | 碧桂园凤凰城 | ⇆ | 沈阳站南（民主路） | 2–3元 | 沈苏公司 | 分段收费 使用盛京通卡需上下车各刷卡一次 |
|  | V134 | 城东湖街仙女河北路 | ⇆ | 大润发和平店 | 2元 | 安运公交 | 定时班车 |
! style="background:#CCCCCC;" |註釋
|-
|style="font-size:85%; text-align:left;" |
154路仅大润发和平店方向停靠“民主路南京街”北侧站位，该站南侧站位仅供324路苏家屯方向及327路碧桂园凤凰城方向停靠。
“铁路中学”南京南街南向站位单向停靠线路：324路苏家屯方向、327路碧桂园凤凰城方向、V134路城东湖街仙女河北路方向。（部分时间段因民主路交通堵塞，324/327路将甩“民主路南京街”车站，直接停靠“铁路中学”）
“铁路中学”南五马路西向站位单向停靠线路：324路北站北广场/沈阳站南（民主路）方向、327路沈阳站南（民主路）方向、V134路大润发和平店方向。
|-
歷史

2023年9月29日 - 本站随4号线开通启用。
瑞士大学列表

瑞士大学教育包括以下学校：
2所联邦理工学院

苏黎世联邦理工学院，简称 ETHz （苏黎世），以德语授课，部分以英语授课
洛桑联邦理工学院，简称 EPFL （洛桑），以法语授课，部分以英语授课
10所州立大学 > 德语区

巴塞尔大学（巴塞尔），以德语授课，部分以英语授课
伯尔尼大学（伯尔尼），以德语授课，部分以英语授课
圣加仑大学（圣加仑），以德语授课，部分以英语授课
苏黎世大学（苏黎世），以德语授课，部分以英语授课
卢塞恩大学（卢塞恩），以德语授课，部分以英语授课
10所州立大学 > 德法语交界区

弗里堡大学（弗里堡），以法语、德语授课，部分以英语授课
10所州立大学 > 法语区

日内瓦大学（日内瓦），以法语授课，部分以英语授课
纳沙泰尔大学（纳沙泰尔），以法语授课，部分以英语授课
洛桑大学（洛桑），以法语授课，部分以英语授课
10所州立大学 > 意语区

卢加诺大学（卢加诺），以意大利语授课，部分以英语授课
2所高等教育机构

日内瓦国际关系及发展高等学院，以英语授课，部分以法语授课
瑞士远程教育大学（德语：），以德语、法语授课
8所应用科技大学 > 公立

伯尔尼应用科技大学（德语：），以德语授课
西北瑞士应用科技大学（德语：），以德语授课，部分以英语授课
东瑞士应用科技大学（德语：），以德语授课
西瑞士应用科技大学（法语：），以法语授课
琉森应用科技大学（德语：），以德语授课
意大利语瑞士应用科技大学（義大利語：），以意大利语授课
苏黎世应用科技大学（德语：），以德语授课，部分以英语授课
8所应用科技大学 > 私立

卡雷铎应用科技大学（德语：），以德语授课
参看

瑞士教育
2024年夏季奥林匹克运动会爱沙尼亚代表团

2024年夏季奥林匹克运动会爱沙尼亚代表团是爱沙尼亚所派出的2024年夏季奥林匹克运动会代表团。这是该国在后苏联时代第九次参加夏季奥运。
射箭

条目：2024年夏季奥林匹克运动会射箭比赛
爱沙尼亚在奥运射箭项目上获得一个女子席位，来自于欧洲区个人资格赛。
| 运动员 | 项目 | 排名赛> 分数 | 排名赛> 排名 | 对手 比分 | 对手 比分 | 对手 比分 | 对手 比分 | 半决赛> 对手 比分 | 决赛/铜牌赛> 对手 比分 | 决赛/铜牌赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Reena Pärnat | 女子個人 |  |  |  |  |  |  |  |  |  |
田径

条目：2024年夏季奥林匹克运动会田径比赛
爱沙尼亚在田径项目上获得以下资格（每个个人小项最多3名来自同一代表团的运动员参赛）：
径赛运动员的预赛、第一轮、复活赛和半决赛排名是该运动员所在小组的排名，而非总排名
田赛以及全能项目田赛部分的所有成绩均以（）为单位
Q = 直接晋级至下一轮
q = 径赛：因在所有未直接晋级选手中成绩靠前而获得剩下的晋级名额；田赛：未达到晋级标准成绩但总排名靠前
R = 进入复活赛
| 运动员 | 项目 | 第一轮> 成绩 | 第一轮> 排名 | 复活赛> 成绩 | 复活赛> 排名 | 半决赛> 成绩 | 半决赛> 排名 | 决赛> 成绩 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Rasmus Mägi | 男子400公尺跨栏 |  |  |  |  |  |  |  |  |
| 运动员 | 项目 | 预赛> 成绩 | 预赛> 排名 | 决赛> 成绩 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- |
| Elisabeth Pihela | 女子跳高 |  |  |  |  |
| 运动员 | 项目 | 100公尺 | 跳远 | 铅球 | 跳高 | 400公尺 | 110公尺 | 铁饼 | 撑竿跳高 | 标枪 | 1500公尺 | 总分 | 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 约翰内斯·埃尔姆 | 成绩 |  |  |  |  |  |  |  |  |  |  |  |  |
| 约翰内斯·埃尔姆 | 分数 |  |  |  |  |  |  |  |  |  |  |  |  |
| Janek Õiglane | 成绩 |  |  |  |  |  |  |  |  |  |  |  |  |
| Janek Õiglane | 分数 |  |  |  |  |  |  |  |  |  |  |  |  |
| Karel Tilga | 成绩 |  |  |  |  |  |  |  |  |  |  |  |  |
| Karel Tilga | 分数 |  |  |  |  |  |  |  |  |  |  |  |  |
羽毛球

条目：2024年夏季奥林匹克运动会羽毛球比赛
爱沙尼亚在羽毛球项目上凭借奥运排名获得一个女子单打席位。
Q = 晋级至淘汰赛
| 运动员 | 项目 | 小组赛> 对手 比分 | 小组赛> 对手 比分 | 小组赛> 对手 比分 | 小组赛> 排名 | 对手 比分 | 对手 比分 | 半决赛> 对手 比分 | 决赛/铜牌赛> 对手 比分 | 决赛/铜牌赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 克里斯汀·库巴 | 女子單打 |  阿卜杜勒·拉扎克（马尔代夫） 胜 2-0 |  辛度（印度） 负 0-2 | 不適用 | 2 | 未晉級 | 未晉級 | 未晉級 | 未晉級 | 未晉級 |
自行车

条目：2024年夏季奥林匹克运动会自行车比赛
自行车 > 公路赛

根据2023年10月17日的UCI公路自行车奥运排名，爱沙尼亚获得一个男子公路赛席位。2024年6月25日，Madis Mihkels确认将代表国家参加该项目。
| 运动员 | 项目 | 时间 | 排名 |
| --- | --- | --- | --- |
| Madis Mihkels | 男子公路赛 |  |  |
自行车 > 山地赛

爱沙尼亚在奥运山地自行车项目上获得一个女子席位，来自于奥运排名。2024年6月25日，Janika Lõiv确认将代表国家参加该项目。
| 运动员 | 项目 | 时间 | 排名 |
| --- | --- | --- | --- |
| Janika Lõiv | 女子越野赛 |  |  |
马术

条目：2024年夏季奥林匹克运动会马术比赛
爱沙尼亚在马术项目上获分配到一个空出的个人场地障碍赛席位。
马术 > 场地障碍赛

Q = 晋级至下一轮
| 运动员 | 马匹 | 项目 | 资格赛> 罚分 | 资格赛> 排名 | 决赛> 罚分 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- |
| My Relander | Expert | 個人 |  |  |  |  |
击剑

条目：2024年夏季奥林匹克运动会击剑比赛
爱沙尼亚在女子重剑项目上以个人奥运排名欧洲区排名前2名的身份获得一个个人名额。
| 运动员 | 项目 | 对手 比分 | 对手 比分 | 对手 比分 | 对手 比分 | 半决赛> 对手 比分 | 决赛/铜牌赛> 对手 比分 | 决赛/铜牌赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Nelli Differt | 女子个人重剑 |  |  |  |  |  |  |  |
柔道

条目：2024年夏季奥林匹克运动会柔道比赛
爱沙尼亚在柔道项目上收获一个欧洲区名额。
| 运动员 | 项目 | 对手 比分 | 对手 比分 | 对手 比分 | 半决赛> 对手 比分 | 复活赛> 对手 比分 | 决赛/铜牌赛> 对手 比分 | 决赛/铜牌赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Klen Kaljulaid | 男子90公斤级 |  |  |  |  |  |  |  |
赛艇

条目：2024年夏季奥林匹克运动会赛艇比赛
爱沙尼亚在奥运赛艇一个小项上获得席位，该席位来自于最终资格赛。
预赛和复赛排名是运动员所在小组的排名，决赛排名是运动员总排名
R = 进入复赛
FA = 晋级至A组决赛
FB = 晋级至B组决赛
| 运动员 | 项目 | 预赛> 时间 | 预赛> 排名 | 复赛> 时间 | 复赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| Tõnu Endrekson Allar Raja Johann Poolak Mikhail Kushteyn | 男子四人雙槳 |  |  |  |  |  |  |
帆船

条目：2024年夏季奥林匹克运动会帆船比赛
爱沙尼亚在奥运帆船两个小项上获得席位，其中一个来自于2024年法国奥林匹克帆船周，另一个为新兴国家/地区席位。
M = 奖牌轮
W = 胜出
EL = 被淘汰
| 运动员 | 项目 | 比赛> 1 | 比赛> 2 | 比赛> 3 | 比赛> 4 | 比赛> 5 | 比赛> 6 | 比赛> 7 | 比赛> 8 | 比赛> 9 | 比赛> 10 | 比赛> 11 | 比赛> 12 | 比赛> 13 | 比赛> 14 | 比赛> 15 | 比赛> 16 | 比赛> 17 | 比赛> 18 | 比赛> 19 | 比赛> 20 | 分数 | 排名 |  | 半决赛 | 决赛 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Ingrid Puusta | 女子iQFoil型 |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| 运动员 | 项目 | 比赛> 1 | 比赛> 2 | 比赛> 3 | 比赛> 4 | 比赛> 5 | 比赛> 6 | 比赛> 7 | 比赛> 8 | 比赛> 9 | 比赛> 10 | 比赛> M* | 分数 | 总排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| Karl-Martin Rammo | 男子小艇雷射型 |  |  |  |  |  |  |  |  |  |  |  |  |  |