Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (Wctp 2018), September 17-18, 2018, Manila, the Ph
暫譯: 計算的理論與實踐：2018年計算理論與實踐研討會（Wctp 2018）論文集，2018年9月17-18日，馬尼拉，菲律賓
Nishizaki, Shin-Ya, Numao, Masayuki, Caro, Jaime
- 出版商: CRC
- 出版日期: 2019-09-17
- 售價: $7,140
- 貴賓價: 9.5 折 $6,783
- 語言: 英文
- 頁數: 220
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 0367204177
- ISBN-13: 9780367204174
海外代購書籍(需單獨結帳)
相關主題
商品描述
This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the Philippines: the Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad view of the recent developments in computer science research in Asia, with an emphasis on Japan and the Philippines. The papers focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, empathic computing, and various applications of information technology.
The book will be of interest to academic and industrial researchers interested in recent developments in computer science research.
商品描述(中文翻譯)
本卷包含於2018年第八屆計算：理論與實踐研討會（WCTP 2018）上發表的論文，專注於計算的理論與實踐方法。此次會議由日本和菲律賓的四所頂尖大學主辦：東京科技大學、大阪大學、菲律賓大學迪利曼校區及德拉薩大學。會議論文提供了亞洲計算機科學研究近期發展的廣泛視角，特別強調日本和菲律賓的研究。這些論文集中於計算的理論與實踐方面，例如程式語言理論、軟體系統建模、同理計算以及資訊技術的各種應用。
本書將吸引對計算機科學研究近期發展感興趣的學術界和產業界研究人員。
作者簡介
Shin-ya Nishizaki is Full Professor at the Global Scientific Information and Computing Center, Tokyo Institute of Technology and Associate Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Japan. He received a Ph.D. in 1994 from Kyoto University for a thesis entitled "Simply Typed Lambda Calculus with First-class Environments".
Masayuki Numao is professor at the Information and Physical Sciences, Graduate School of Information Science and Technology, Osaka University. He is performing research on the development of computers provided with learning capability and has supported the completion of information environment by sending to the world numerous new technologies, such as high-efficient algorithms, background knowledge acquirement for learning, applications intended for intelligent tutoring systems (ITS).
Merlin Teodosia Suarez is professor at the College of Computer Studies, Software Technology at De La Salle University, where she also earned her PhD in Computer Science in 2008. She worked on automatic analysis of student misconceptions learning object-oriented programming in Java. She proceeded to work on emotion-aware systems focusing on education and health-care applications. She is currently investigating approaches to provide support to individuals diagnosed in the autism spectrum disorder, and stroke patients requiring physical therapy.
Jaime Caro is Professor of Computer Science at the University of the Philippines Diliman and heads its Service Science and Software Engineering Laboratory. Dr. Caro was Assistant Vice President for Development of the University of the Philippines for 14 years. Dr Caro's past positions include President of the of the Computing Society of the Philippines (CSP), President of the Philippine Society of Information Technology Educators (PSITE), Vice President of the Game Developers Association of the Philippines (GDAP), Vice President of the Mathematical Society of the Philippines and Chairman of the CHED Philippines Technical Panel on Information Technology Education. Dr. Caro received the Doctor of Philosophy in Mathematics degree from the University of the Philippines Diliman in 1996. His research interests include Information Systems, Combinatorial Optimization, and Algorithms. Application areas of researches are in Education, Medical Informatics, and Climate Modeling.
作者簡介(中文翻譯)
西崎伸也是東京科技大學全球科學資訊與計算中心的正教授，以及東京科技大學資訊科學與工程研究所計算機科學系的副教授。他於1994年在京都大學獲得博士學位，論文題目為「具有一級環境的簡單類型λ演算」。
沼尾正之是大阪大學資訊與物理科學研究所的教授。他正在進行具備學習能力的計算機開發研究，並透過向世界傳遞許多新技術（如高效演算法、學習的背景知識獲取、針對智能輔導系統（ITS）的應用）來支持資訊環境的完善。
梅林·特奧多西亞·蘇亞雷斯是德拉薩爾大學計算機研究學院軟體技術的教授，並於2008年獲得計算機科學博士學位。她的研究專注於自動分析學生在學習Java物件導向程式設計時的誤解。她隨後轉向情感感知系統的研究，重點放在教育和醫療應用上。目前，她正在研究為自閉症譜系障礙患者和需要物理治療的中風患者提供支持的方法。
哈梅·卡羅是菲律賓迪利曼大學的計算機科學教授，並負責該校的服務科學與軟體工程實驗室。卡羅博士曾擔任菲律賓大學發展助理副校長14年。卡羅博士的過去職位包括菲律賓計算機學會（CSP）會長、菲律賓資訊科技教育者協會（PSITE）會長、菲律賓遊戲開發者協會（GDAP）副會長、菲律賓數學學會副會長，以及菲律賓高等教育委員會（CHED）資訊科技教育技術小組的主席。卡羅博士於1996年在菲律賓迪利曼大學獲得數學博士學位。他的研究興趣包括資訊系統、組合優化和演算法。研究的應用領域包括教育、醫療資訊學和氣候建模。
