エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
著者情報 - gfnweb
ContactGitHub: @gfngfnORCID: 0009-0004-9845-7419X/Twitter: @bd_gfngfn, @en_gfngfn, @4gfnBluesky: ... 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