Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System Using Ocaml

This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library.

You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language.

What You Will Learn

• Optimize core operations based on N-dimensional arrays
• Design and implement an industry-level algorithmic differentiation module
• Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation
• Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library
• Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation
• Use the Zoo system for efficient scripting, code sharing, service deployment, and composition
• Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance

Who This Book Is For
Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.

這本獨特的開放存取書籍運用功能性 OCaml 程式語言於數值或計算加權的資料科學、工程和科學應用。本書基於作者們第一手建立和維護 Owl 的經驗，Owl 是一個基於 OCaml 的數值計算函式庫。

您將首先學習現代數值計算函式庫中的各個組件。然後，您將學習這些組件的設計和構建方式，以及如何優化其性能。閱讀並使用本書後，您將具備設計和構建真實複雜系統的知識，並有效利用 OCaml 函式程式語言的優勢。

您將學到以下內容：
- 基於 N 維陣列優化核心操作
- 設計並實現業界水準的演算法微分模組
- 基於演算法微分實現數學優化、回歸和深度神經網路功能
- 設計和優化計算圖模組，並了解其對數值計算函式庫的好處
- 適應日益增多的硬體加速器（例如 GPU、TPU）和執行後端（例如網頁瀏覽器、unikernel）的數值計算
- 使用 Zoo 系統進行高效的腳本編寫、程式碼共享、服務部署和組合
- 設計並實現一個分散式計算引擎，與數值計算函式庫配合使用，提供方便的 API 和高性能

本書適合對 OCaml 程式語言有先前編程經驗，尤其是對科學計算有經驗的讀者，也適合對 OCaml 新手。最重要的是，本書適合那些渴望了解如何使用某物，以及它是如何構建的讀者。

Liang Wang is the Chief AI Architect at Nokia, the Chief Scientific Officer at iKVA, a Senior Researcher at the University of Cambridge, and an Intel Software Innovator. He has a broad research interest in artificial intelligence, machine learning, operating systems, computer networks, optimization theory, and graph theory.

Jianxin Zhao is a PhD graduate from the University of Cambridge, supervised by Prof. Jon Crowcroft. His research interests include numerical computation, high-performance computing, machine learning, and their application in the real world.

Liang Wang是Nokia的首席AI架構師，iKVA的首席科學官，劍橋大學的高級研究員，以及英特爾軟體創新者。他在人工智慧、機器學習、作業系統、電腦網路、優化理論和圖論等領域有廣泛的研究興趣。

Jianxin Zhao是劍橋大學的博士畢業生，由Jon Crowcroft教授指導。他的研究興趣包括數值計算、高性能計算、機器學習以及它們在實際應用中的應用。