Page 86 - profile-ok

研究人員 ｜ Research Faculty

● Associate Research Fellow, Institute of Information Science, ƒ PhD in Computer Science, New York University (1993).
莊庭瑞 Tyng-Ruey Chuang Academia Sinica, Taiwan (2001/10 - ). ƒ MS in Computer Science, New York University (1990).
● Assistant Research Fellow, Institute of Information Science, ƒ BS in Computer Science and Information Engineering, National
Academia Sinica, Taiwan (1994/1 - 2001/9). Taiwan University (1984).
● Guest Researcher, Department of Computing Science, Chalmers
副研究員 Associate Research Fellow University of Technology, Sweden (1993/9 - 1993/12).
PhD, Computer Science, New York University
Tel: +886-2-2788-3799 ext. 1608
Fax: +886-2-2782-4814
Email: trc@iis.sinica.edu.tw
http://www.iis.sinica.edu.tw/~trc/

攝影：張欽隆 Photo: Chin-Lung Chang

代表著作 Publications

Functional Programming: Open Geospatial Information Processing:

研究簡介 Research Description 1. Tyng-Ruey Chuang and Max Schäfer. Status Report: Layered 13. Chin-Lung Chang, Yi-Hong Chang, Tyng-Ruey Chuang, Dong-Po
Streaming XML Processing with Modules. In 2007 ACM SIGPLAN
Deng, and Andrea Wei-Ching Huang. Narrative Geospatial Knowl-
Workshop on ML, pp. 53-58. Freiburg, Germany, Oct. 2007. edge in Ethnographies: Representation and Reasoning. In 3rd Inter-
我們的研究領域包括函數式程式設計、程式語言與系 Our research areas include functional programming, programming languages and 2. Tyng-Ruey Chuang and Jan-Li Lin. On Modular Transformation of national Conference on GeoSpatial Semantics, pp. 188-203. Mexico
統、可擴展標示語言與資訊網路技術、開放式的地理空 systems, XML and Web technologies, open geospatial information processing, and Structural Content. In 2004 ACM Symposium on Document Engi- City, Mexico, Dec. 2009.
間資訊處理、以及資訊科技的社會影響。 social implications of information technologies. neering, pp. 201-210. Milwaukee, USA, Oct. 2004. 14. Dong-Po Deng, Tyng-Ruey Chuang, and Rob Lemmens. Conceptu-
alization of Place via Spatial Clustering and Co-occurrence Analysis.
我們對於 XML 的文件型態定義 (DTD)，提出參數化內 We proposed a parametric content model for XML DTDs (Document Type Defini- 3. Tyng-Ruey Chuang. Generic Validation of Structural Content with In 2009 International Workshop on Location Based Social Networks,
容模型的概念，並據此自動建構出對應的文件結構驗證 tions) and construct, automatically, their validation procedures. The model provides Parametric Modules. In 2001 ACM SIGPLAN International Confer- pp. 49-56. Seattle, Washington, USA, Nov. 2009.
ence on Functional Programming, pp. 98-101. Florence, Italy, Sept.
程序。此項模型為使用 ML (一種確保型態安全的程式語 a basis for typeful XML programming in ML (a type-safe programming language 2001. 15. Chia-Hsin Huang, Tyng-Ruey Chuang, Dong-Po Deng, and Hahn-
言，具高階函數與參數化模組等功能)以進行富型態的 with high-order functions and parametric modules) and leads to a theory of mod- Ming Lee. Building GML-native Web-based Geographic Information
XML 程式設計的基礎。由此模型，我們也導出 XML 文 ular XML transformations. On the more practical side, we use web standards, se- Programming Languages and Systems: Systems. Computers & Geosciences, 35(9):1802-1816, Sept. 2009.
件轉換的模組化理論。在實用面，我們以資訊網標準、 mantic web technologies, and open source software tools to build new geospatial 16. Tyng-Ruey Chuang, Dong-Po Deng, and Andrea Wei-Ching Huang.
語意網技術、以及開放原始碼軟體工具，來建構新型態 applications. The emphasis is to use open standards, e.g. RDF/OWL, GML/KML, and 4. Min-Bin Chen, Tyng-Ruey Chuang, and Jan-Jan Wu. Parallel divide- “Collaborative Geospatial Mapping.” In Science Development,
and-conquer scheme for 2D Delaunay triangulation. Concurrency 416:28-34, Aug. 2007. (Note: By invitation, in Chinese.) 〈地理空間
的地理空間應用程式。我們強調使用開放性的資訊標準 SVG, such that geospatial knowledge can be represented in ways that are easy to and Computation: Practice and Experience, 18(12):1595-1612, Oc- 的協力探索〉，刊於《科學發展》，應邀稿。
(如 RDF/OWL, GML/KML, SVG 等)，來呈現與處理地理空 reason about, reuse, and remix. Currently we are investigating research issues and tober 2006.
間知識，讓這些知識得以容易被重複使用與再次混用。 the associated information technologies in processing folk knowledge about places 5. Min-Bin Chen, Tyng-Ruey Chuang, and Jan-Jan Wu. Efficient par- 17. Yi-Hong Chang and Tyng-Ruey Chuang. Online Aggregation and
Visualization of Census Data: Population Mapping with SVG, XML,
目前我們關注在處理「地方」相關的常民知識時，所涉 (i.e. places where peoples live, or once lived). allel implementations of near Delaunay triangulation with High and Free Software. In SVG Open / Carto.net Developers Conference.
及的研究議題與資訊技術。 Performance Fortran. Concurrency and Computation: Practice and Zurich, Switzerland, July 2002.
We also aim to investigate issues of program correctness and software safety from Experience, 16(12):1143-1159, October 2004.
我們也計畫以模組化軟體構成的角度探討程式正確性與 the perspective of modular software construction. Modern functional languages
軟體安全性的議題。新進發展的函數式程式語言如 ML， such as ML have built-in language constructs that support modular programming. 6. Rong-Guey Chang, Tyng-Ruey Chuang, and Jenq Kuen Lee. Support Social Implications of Information Technologies:
and optimization for parallel sparse programs with array intrinsics of
有內建的語言特性用以支援高度模組化且富型態特色的 However, for software safety properties that go beyond type safety, the modularity Fortran 90. Parallel Computing, 304(4):527-550, April 2004. 18. Wen-Yin Chou and Tyng-Ruey Chuang. Government Publications
程式編寫。然而對於超出型態正確範疇的軟體安全性質 of a software system usually plays a less important role. We hope to develop prin- 7. Tyng-Ruey Chuang, Y. S. Kuo, and Chen-Min Wang. Non-intrusive and Public Licensing. In RDEC Bimonthly, 30(3):3-15, April 2006.
的確保，軟體系統的模組化建構方式並未能扮演重要的 ciples and techniques to support module-level verification for ML-like languages. object introspection in C++. Software: Practice and Experience, (Note: By invitation.) 〈政府出版品與著作公眾授權〉，刊於《研考雙
角色。我們期望發展 ML 程式語言的模組化驗證原理與 32(2):191-207, February 2002. 月刊》，應邀稿。
技術。 19. Yi-Hsuan Lin, Tung-Mei Ko, Tyng-Ruey Chuang, and Kwei-Jay Lin.
Open Source Licenses and the Creative Commons Framework: Li-
XML and Web Technologies: cense Selection and Comparison. Journal of Information Science and
Engineering, 22(1):1-17, Jan. 2006.
8. Chia-Hsin Huang, Tyng-Ruey Chuang, James J. Lu, and Hahn-Ming
Lee. XML Evolution: A Two-phase XML Processing Model using 20. Shun-Ling Chen, Tyng-Ruey Chuang, Ching-Yuan Huang, and Yi-
XML Prefiltering Techniques. In 32nd International Conference on Hsuan Lin. Launching Creative Commons Taiwan: Background,
Very Large Data Bases, pp. 1215-1218. Seoul, Korea, Sept. 2006. Experience, and Challenge. In International Commons at the Digital
Age, pp. 51-69. Nov. 2004. (Note: By invitation.)
9. Chia-Hsin Huang, Tyng-Ruey Chuang, and Hahn-Ming Lee. Prefil-
tering Techniques for Efficient XML Document Processing. In 2005 21. Tyng-Ruey Chuang. Personal data protection in Taiwan: Whose busi-
ACM Symposium on Document Engineering, pp. 149-158. Bristol, ness? In National Policy Quarterly, 2(1):53-70, March 2003. (Note:
UK, Nov. 2005. By invitation.) 〈個人資料保護在台灣：誰的事務？〉，刊於《國家政
策研究》，應邀稿。
10. Chia-Hsin Huang, Tyng-Ruey Chuang, and Hahn-Ming Lee. Fast
Structural Query with Application to Chinese Treebank Sentence
Retrieval. In 2004 ACM Symposium on Document Engineering, pp.
201-210. Milwaukee, Wisconsin, USA, Oct. 2004.
11. Yi-Hong Chang, Tyng-Ruey Chuang, Hao-Chuan Wang. Adaptive
Level-of-Detail. In SVG Open 2004: 3rd Annual Conference on Scal-
able Vector Graphics. Tokyo, Japan, Sept. 2004.
12. Yi-Hong Chang and Tyng-Ruey Chuang. Embedding Domain Se-
mantics in SVG. In SVG Open 2003: 2nd Annual Conference on
Scalable Vector Graphics. Vancouver, Canada, July 2003.

86 87