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

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

#contents

* 総覧・未分類 [#f361d31b]

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

- [[並列計算機のサーベイ(ics.keio):http://www.am.ics.keio.ac.jp/pbook/machine.html]]
* データフロー型 [#w76dd27f]

- [[Wikipedia(EN):http://en.wikipedia.org/wiki/Dataflow]]
- [[AIST 河並さん:http://staff.aist.go.jp/t-kawanami/research.html]]

- 島田　俊夫,
[[並列処理マシン：データフローマシン:http://fw8.bookpark.ne.jp/cm/ipsj/search_test.asp?from=&flag=6&keyword=IPSJ-MGN280112&page=&mode=PDF]],
情報処理
1987年1月　 Vol.28 No.1
** サーベイ論文 [#edf26e0f]

- Arthur H. Veen, "[[Dataflow Machine Architecture:http://cs-people.bu.edu/gabep1/dataflow.pdf]]", 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 とか [[このパネルルセッション: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

神奈川県立川崎図書館にあるらしい…

- [[東大近山研究室:http://www.logos.t.u-tokyo.ac.jp/www/root-j.html]]
** 並列論理 [#r852f68b]

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

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

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

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

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