「cpo」の記事一覧

• ドメイン理論とプログラム意味論の基礎

  2025-05-25 00:07

  科学・技術

  この記事は、エディンバラ大学での講義資料に基づき、ドメイン理論と意味論的手法を用いたプログラミング言語の形式的理解を扱います。構文と意味、再帰、非停止、モノトニック関数、連続性、cpo（完全部分順序集合）といった概念を体系的に解説。とくにwhileループなどの再帰構造を扱うために必要な最小固定点の導出に焦点が置かれており、計算可能性やプログラムの正確な挙動の記述に不可欠な理論基盤を提供します。