著者
古澤 仁 高井 利憲 Hitoshi Furusawa Toshinori Takai 鹿児島大学理学部数理情報科学科 産業技術総合研究所システム検証研究センター Department of Mathematics and Computer Science Faculty of Science Kagoshima University Research Center for Verification and Semantics AIST.
出版者
日本ソフトウェア科学会
雑誌
コンピュータソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.23, no.3, pp.14-34, 2006-07-26
参考文献数
46

クリーニ代数は正規言語を公理的に取り扱うための代数的枠組みである.正規表現が計算機科学のいたるところに現れることを考えると,クリーニ代数が計算機科学に現れる構造の自然なクラスの性質を公理的にとらえ得るであろうことが容易に推測されるであろう.クリーニ代数の定義は,等式とホーン節で与えられるため,ある現象をクリーニ代数においてモデル化すると,その現象が簡単な式変形によって検証できるという特徴をもつ.本稿ではクリーニ代数の基本的な性質とそのプログラム理論への応用例について紹介する.A Kleene algebra is an algebraic framework to handle regular languages. Considering that regular expressions appear everywhere in fields of computer science, it may be easy to infer that a Kleene algebra can captures properties of natural class of structures appear in computer science. Since Kleene algebras are defined by equations and Horn clauses, if a phenomenon is interpreted in Kleene algebra, reasoning of the phenomenon is performed by simple transformations of expressions. We introduce basic properties and application examples of Kleene algebras to theory of programs.

1 0 0 0 OA 産総研today

著者
産業技術総合研究所広報部出版室
出版者
産業技術総合研究所
巻号頁・発行日
vol.9, no.(97), 2009-02-01

1 0 0 0 OA 産総研today

著者
産業技術総合研究所広報部出版室
出版者
産業技術総合研究所
巻号頁・発行日
vol.7, no.(75), 2007-04-01
著者
諏訪 僚太 中村 崇 井口 亮 中村 雅子 守田 昌哉 加藤 亜記 藤田 和彦 井上 麻夕里 酒井 一彦 鈴木 淳 小池 勲夫 白山 義久 野尻 幸宏 Ryota Suwa Takashi Nakamura Akira Iguchi Masako Nakamura Masaya Morita Aki Kato Kazuhiko Fujita Mayuri Inoue Kazuhiko Sakai Atsushi Suzuki Isao Koike Yoshihisa Sirayama Yukihiro Nojiri 京都大学フィールド科学教育研究センター瀬戸臨海実験所 九州大学付属天草臨海実験所 琉球大学熱帯生物圏研究センター瀬底研究施設 琉球大学熱帯生物圏研究センター瀬底研究施設 琉球大学熱帯生物圏研究センター瀬底研究施設 琉球大学大学院理工学研究科 琉球大学大学院理工学研究科 東京大学海洋研究所 琉球大学熱帯生物圏研究センター瀬底研究施設 産業技術総合研究所 琉球大学 京都大学フィールド科学教育研究センター瀬戸臨海実験所 国立環境研究所地球環境研究センター Seto Marine Biological Laboratory Field Science Education and Research Center Kyoto University Amakusa Marine Laboratory Kyusyu University Sesoko Station Tropical Biosphere Research Center University of the Ryukyus Sesoko Station Tropical Biosphere Research Center University of the Ryukyus Sesoko Station Tropical Biosphere Research Center University of the Ryukyus Graduate School of Engineering and Science University of the Ryukyus Graduate School of Engineering and Science University of the Ryukyus Ocean Research Institute The University of Tokyo Sesoko Station Tropical Biosphere Research Center University of the Ryukyus Geological Survey of Japan National Institute of Advanced Industrial Science and Technology(AIST) University of the Ryukyus Seto Marine Biological Laboratory Field Science Education and Research Center Kyoto University Center for Global Environmental Research National Institute for Environmental Studies
出版者
日本海洋学会
雑誌
海の研究 (ISSN:09168362)
巻号頁・発行日
vol.19, no.1, pp.21-40, 2010-01-05
参考文献数
102
被引用文献数
3

産業革命以降の二酸化炭素(CO_2)排出量の増加は,地球規模での様々な気候変動を引き起こし,夏季の異常高海水温は,サンゴ白化現象を引き起こすことでサンゴ礁生態系に悪影響を及ぼしたことが知られている。加えて,増加した大気中CO_2が海水に溶け込み,酸として働くことで生じる海洋酸性化もまた,サンゴ礁生態系にとって大きな脅威であることが認識されつつある。本総説では,海洋酸性化が起こる仕組みと共に,海洋酸性化がサンゴ礁域の石灰化生物に与える影響についてのこれまでの知見を概説する。特に,サンゴ礁の主要な石灰化生物である造礁サンゴや紅藻サンゴモ,有孔虫に関しては,その石灰化機構を解説すると共に,海洋酸性化が及ぼす影響について調べた様々な研究例を取り上げる。また,これまでの研究から見えてきた海洋酸性化の生物への影響評価実験を行う上で注意すべき事項,そして今後必要となる研究の方向性についても述べたい。The increase of the atmospheric carbon dioxide (CO_2) concentration after the industrial revolution caused global climate change. During the last several decades, coral reef ecosystems have been devastated by the mass-scale coral bleaching events caused by abnormally high seawater temperature in summer. In addition, increased atmospheric CO_2dissolves in the ocean, acts as an acid and finally decreases the pH level of seawater. This phenomenon, known as ocean acidification, is now being considered as a future threat to the calcifying organisms in coral reef ecosystems. In this review, we summarize basic backgrounds of ocean acidification as well as its potential impacts on coral reef calcifiers. Together with the distinctive mechanisms of calcification among specific groups, we review the impacts of ocean acidification on major reef-builders such as scleractinian corals, calcareous red algae and reef-dwelling foraminifera. Finally, we point out some recently-recognized problems in acidified seawater experiments as well as the future direction of this research field.

1 0 0 0 OA 産総研today

著者
産業技術総合研究所広報部出版室
出版者
産業技術総合研究所
巻号頁・発行日
vol.10, 2010-02-01