Mercurial > hg > Papers > 2021 > anatofuz-master
changeset 50:f72ef87a5139
...
| author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 01 Feb 2021 18:15:13 +0900 |
| parents | 71309cfa341a |
| children | 1306d0d1c653 |
| files | paper/chapter/02-cbc.tex paper/chapter/04-perl.tex paper/master_paper.pdf |
| diffstat | 3 files changed, 5 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/chapter/02-cbc.tex Mon Feb 01 18:02:25 2021 +0900 +++ b/paper/chapter/02-cbc.tex Mon Feb 01 18:15:13 2021 +0900 @@ -46,6 +46,10 @@ CodeGearとその入出力であるDataGearを基本としたOSとして、 GearsOSの設計を行っている。\cite{gears} 現在のGearsOSは並列フレームワークとして実装されており、 実用的なOSのプロトタイプ実装として既存のOS上への実装を目指している。 +\section{メタ計算} + +関数型プログラミングの見方では、 メタ計算はモナドの形で表現されていた。\cite{moggi-monad} + \section{MetaCodeGear} GearsOSでは、 CodeGearとDataGearを元にプログラミングを行う。