計算理論とOverlay/サーベイメモのバックアップソース(No.6)

[[IDEON合宿/2006春]] | [[計算理論とOverlay]]

#contents

* 総覧・未分類 [#f361d31b]

- bit アーカイブ [[bitのページ:http://www.kyoritsu-pub.co.jp/bit/bit.html]]
共立出版のページには1996以前のdataがないんですね‥‥‥~
-- 1997
--- KLICプログラミングコンテスト ― 並列処理技術への挑戦  	溝口文雄・田中二郎  	8  	49
* データフロー型 [#w76dd27f]

** サーベイ論文 [#edf26e0f]

- Arthur H. Veen, "Dataflow Machine Architecture", ACM Computing Surveys, Vol.18, No.4, December 1986


** 理論 [#e4ba35cf]
** 実装・評価 [#e4a7dcba]

* 論理型 [#a073347b]
- [[ICOT テクニカルメモ:http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tm-list-E.html]]
-- TR0098 とか [[このPANEL:http://www.icot.or.jp/ARCHIVE/Museum/FGCS/FGCS88jp-rpt/88jPANEL2.pdf]] とかなどは有用では？(shirou)

ICOT TR(http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tr-list-J.html):
033, 035, 050, 099, 114, 122, 165, 168, 187, 189, 268, 301, 414

ICOT TM(http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tm-list-J.html):
098, 236

神奈川県立川崎図書館にあるらしい…
** 並列論理 [#r852f68b]

- 淵 一博 et.al., "並列論理型言語GHCとその応用", 共立出版

* 関数型 [#s59fece8]
** Reduction Machine [#n33cb48e]

- wikipedia(EN): http://en.wikipedia.org/wiki/Graph_reduction_machine

計算理論とOverlay/サーベイメモ のバックアップソース(No.6)

計算理論とOverlay/サーベイメモのバックアップソース(No.6)