TypeScript (4.7 時点) において, 文字列に付けられる型には以下の 3 つ (とそのユニオン型) があります. 文字列型 string 文字列リテラル型 ("foo" など) テンプレートリテラル型 (`data-${string}` など) これらのうち, 実行時の入力, 特に事前にパターンが想定されていないような任意の入力が含まれるような文字列に対しては, string や string を含むテンプレートリテラル型を付けることはできても, 文字列リテラル型を付けることはできません. 文字列リテラル型を付けるためには型検査時 (実行の前) に入力文字列の内容がわかっている必要があるので, まあそれはそうですね. このことを利用して, 実行時の入力を含む文字列を与えようとすると型検査に失敗するような関数を作ることができそうです. まずは与えられた型が文字列リテラル型, ま

要点 田町キャンパス（港区芝浦）に立地する附属科学技術高等学校を大岡山キャンパス（目黒区大岡山）へ移転 新時代の科学技術教育に適した新校舎を建設し、高大接続・連携を強力に推進 これまでの港区との連携も持続しつつ、目黒区等地域自治体との連携を強化 東京工業大学は田町キャンパスに立地する東京工業大学附属科学技術高等学校（以下「附属高校」）を大岡山キャンパスへ2026年4月に移転します。移転にあたり、新校舎を建設し、附属高校は新時代の科学技術教育の在り方を提案し、理工系教育のフロンティアへ向かって新たなキャンパスで生まれ変わります。 とりわけ、高大接続・連携をさらに深化させ、附属高校生徒が東工大の教員・学生と交流する機会を格段に拡充します。大学の研究室・研究施設へのアクセスを高め、新時代の科学技術教育に適した新たな校舎・設備で教育を行い、留学生や研究者との交流を通じて生徒の国際性を涵養するなど、