Mercurial > hg > Papers > 2021 > anatofuz-master

comparison paper/chapter/02-cbc.tex @ 50:f72ef87a5139

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 01 Feb 2021 18:15:13 +0900
parents 24f6f068ddbb
children 76eee6847726
comparison
equal deleted inserted replaced
49:71309cfa341a 50:f72ef87a5139
44 CbCで使用するCodeGearは、 状態遷移モデルにおける状態そのものとして捉えることが可能である。 44 CbCで使用するCodeGearは、 状態遷移モデルにおける状態そのものとして捉えることが可能である。
45 CodeGearを元にプログラミングをするにつれて、 CodeGearの入出力のDataも重要であることが解ってきた。 45 CodeGearを元にプログラミングをするにつれて、 CodeGearの入出力のDataも重要であることが解ってきた。
46 CodeGearとその入出力であるDataGearを基本としたOSとして、 GearsOSの設計を行っている。\cite{gears} 46 CodeGearとその入出力であるDataGearを基本としたOSとして、 GearsOSの設計を行っている。\cite{gears}
47 現在のGearsOSは並列フレームワークとして実装されており、 実用的なOSのプロトタイプ実装として既存のOS上への実装を目指している。 47 現在のGearsOSは並列フレームワークとして実装されており、 実用的なOSのプロトタイプ実装として既存のOS上への実装を目指している。
48 48
49 \section{メタ計算}
50
51 関数型プログラミングの見方では、 メタ計算はモナドの形で表現されていた。\cite{moggi-monad}
52
49 \section{MetaCodeGear} 53 \section{MetaCodeGear}
50 54
51 GearsOSでは、 CodeGearとDataGearを元にプログラミングを行う。 55 GearsOSでは、 CodeGearとDataGearを元にプログラミングを行う。
52 遷移する各CodeGearの実行に必要なデータの整合性の確認などのメタ計算は、 MetaCodeGearと呼ばれる各CodeGearごと実装されたCodeGearで計算を行う。 56 遷移する各CodeGearの実行に必要なデータの整合性の確認などのメタ計算は、 MetaCodeGearと呼ばれる各CodeGearごと実装されたCodeGearで計算を行う。
53 このMetaCodeGearの中で参照されるDataGearをMetaDataGearと呼ぶ。 57 このMetaCodeGearの中で参照されるDataGearをMetaDataGearと呼ぶ。