計算機科学における応用
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/28 09:55 UTC 版)
「クライスリ圏」の記事における「計算機科学における応用」の解説
計算機科学者のエウジニオ・モッジは、クライスリ圏の射をプログラム(program)に対応させる、すなわち射としてのプログラムが成す圏とはクライスリ圏であるとすることで表示的意味論にモジュール性を持たせることに成功した(モナドの理論)。
※この「計算機科学における応用」の解説は、「クライスリ圏」の解説の一部です。
「計算機科学における応用」を含む「クライスリ圏」の記事については、「クライスリ圏」の概要を参照ください。
- 計算機科学における応用のページへのリンク