ContactGitHub: @gfngfnORCID: 0009-0004-9845-7419X/Twitter: @bd_gfngfn, @en_gfngfn, @4gfnBluesky: @gfngfnMastodon: bd_gfngfn@mstdn.jpThreads.net: @gfnstagram興味プログラミング言語理論型理論,プログラム意味論プログラム検証,形式手法,モデル検査メタプログラミング,多段階計算,マクロ機構並行計算タイポグラフィ関連技術組版処理アルゴリズム,フォントフォーマットレタリング,タイプデザイン査読つき論文(国際)(To appear) Takashi Suwa and Atsushi Igarashi. An ML-Style module system for cross-stage type abstraction in multi-stage