- 博客(9)
- 收藏
- 关注
RSS订阅原创 OCaml 第三次上机实验课学习指南：模块系统与面向对象编程详解
本文将带你深入学习 OCaml 的第三次上机实验课内容，重点围绕模块系统 (Module System) 和面向对象编程 (Object-Oriented Programming)，结合文档中提供的知识点和示例进行详细讲解。为了便于理解，我会将 OCaml 的特性与 C++ 进行类比，帮助熟悉 C++ 的读者快速上手。本文内容基于武汉大学计算机学院的《Object-oriented Programming in OCaml》课程讲义，涵盖模块定义、仿函数 (Functors)、类与对象、继承等核心概念，并提
2025-03-15 11:29:13
1077
原创 OCaml 编程实验教程第二课：高级编程任务
本教程涵盖了 OCaml 的高级编程任务，包括递归、模式匹配、列表操作和高阶函数。实践：在 REPL 中运行代码，尝试不同输入。优化：改进is_prime的效率，使用尾递归优化factorial。扩展：学习List模块的其他函数（如mapfold如需进一步帮助，请在评论区交流！
2025-03-15 10:49:19
630
原创 OCaml 编程实验教程：从入门到实践
本文是我基于武汉大学计算机学院《编程语言与编译器》课程的 OCaml 实验教程（Tutorial 1: Basic Programming Tasks of OCaml）的学习笔记，旨在帮助初学者快速上手 OCaml 编程。本教程将详细讲解开发环境配置、第一个 OCaml 程序、OCaml 基础知识，并通过编程练习深入理解函数式编程的核心概念。适合 OCaml 初学者阅读。
2025-03-15 10:34:08
559
原创 科研新手入门：从文献管理到论文汇报的工具使用指南
本文将介绍科研初学者必备的工具和方法，包括文献搜索、管理、论文撰写与汇报的完整流程。以下内容涵盖 arXiv、Overleaf、Zotero、PapersWithCode、Google Scholar 等工具的使用，以及文献笔记、调研报告和PPT制作的实践指南。
2025-03-10 12:56:16
1100
原创 小米杯前期环境配置全家桶
镜像提供了一个基于赛道的Cyberdog 四足机器人 Gazebo 仿真平台。该平台能够实现 Gazebo 仿真程序与 Cyberdog 的控制程序的直接通信。镜像中已预装并编译完成仿真平台及其所有依赖，用户可快速上手进行开发和测试。
2025-03-10 12:36:59
1161
2
原创 2025cyberdog_sim Docker镜像使用说明
cyberdog_sim 镜像提供了基于赛道的cyberdog 四足机器人的gazebo 仿真平台，能够使gazebo仿真程序直接与cyeberdog的控制程序cybredog_control进行通信。仿真平台及依赖均已安装编译完成。文件超过10G (10.9G)Plain TextPlain Textxhost +BashPlaintext。
2025-03-08 09:08:46
631
原创 科研入门你必须学会的高效工具
定义：arXiv是一个开放访问的预印本平台，由康奈尔大学维护，主要分享物理学、数学、计算机科学等领域的研究论文。特点论文为预印本（preprint），未经同行评审。每篇论文有唯一标识符（如arXiv:2207.11812）。免费下载PDF。用途：获取最新研究成果。定义：Overleaf 是一个在线LaTeX编辑器，支持实时协作编写学术文档。特点云端存储，随时访问。提供论文、PPT模板。支持BibTeX管理参考文献。用途。
2025-03-04 11:43:24
652
原创 《从零开始：电脑界面基础全解析》
这篇文章专为电脑0基础小白设计，详细介绍了电脑界面的基本组成部分，包括桌面、图标、任务栏、开始菜单等。通过简单易懂的语言和操作步骤，帮助初学者熟悉电脑界面，提高使用效率。适合所有刚接触电脑的用户，让你轻松上手！
2025-02-04 12:41:58
380
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人