・当研究室は北大、東大物性研、分子研のスパコンを使っていますが、スパコンを自前で持って長年運用している組織は気象庁の数値予報課で、世界トップクラスの予報精度を誇ります。下記「数値予報60年史」は面白く読みました。
https://www.jma.go.jp/jma/kishou/know/whitep/1-3-2-1.html
2018年から日立をやめて、米CrayでLinux(Unix)で自前のシステムですね。日立がスパコンから力を抜いているのでしょう。Cray社はHewlett Packerd Enterprizeに去年1430億円で買収されました。
minimum wage 最低賃金
wage 日給、週給
salary 月給
payroll 給与
pay slip 給与明細
renumeration 給与、報酬
overtime compensation 超過勤務手当
performance-related pay 業績給
hourly wage/payroll 時給
pension 年金
fringe benefits 福利厚生給付、付加給付
paid holiday /paid leave 有給休暇
数学用語
集合 set
要素 element
ベン図 Venn diagram (named after John Venn, 1834-1923)
α ∈ A ：The element α is a member of the set A.
α is a member of A.
α is in A.
Ａ ∋ α ：The set A contains the element α.
α belongs to A
A includes α.