- 博客(9)
- 收藏
- 关注
RSS订阅
原创 刷題記錄 -- 筆記文檔
文章目录LeetcodeQuestion 1: Two Sum参考题解Optional C++Optional RustQuestion 2: addTwoNumbers参考代码Optional C++Optional RustQuestion 3: lengthOfLongestSubstring参考代码Optional C++Optional RustQuestion 4: medianOfTwoSortedArrays参考代码Optional C++Optional RustQuestion 5: l
2022-05-31 14:31:11
373
原创 Web Learn Note
前端的一些只是TypeScript （JavaScript）React 部分React - DemoCSSHTML 5
2022-04-16 23:21:18
705
原创 Database Learn Note
數據庫學習部分基礎概念關係型數據庫 – PostgreSQL關係型數據庫 – MySQL非關係型數據庫 – Redis
2022-04-16 23:05:07
479
原创 Java Learn Note
Java 笔记部分Spring 部分Spring 源码部分Bean 的生命周期PostProcesserpackage io.github.andre_hjr;public class MySelfBeanFactoryPostProcessor implements BeanFactoryPostProcessor{ System.out.println("调用自定义的beanFactoryPostProcessor");}**在相应的xml文件中有如下创建：<bea
2022-04-16 21:54:09
2033
原创 C++ Learn Note
C++ 的笔记部分基础部分STL部分Range库#include <iostream>#include <ranges>#ifdef __has_include (<format>)#include <format>#endifint main (int argc, const char **argv) { for (auto i: std::ranges::views::iota(0, 11) | std::ranges:;vie
2022-04-16 08:37:30
1731
原创 Event - B 及 需求分析
文章目录基础部分概念组成Machine和Context精化和拓展实例分析教务选课基础部分概念Event-b 是一种基于传统的谓词演算和定理证明的形式化语言。Event-b 新的特征是它引入了事件（Event）。事件是event-b的一个重要特征，因此它非常适合用来为周期行为建模。除此之外，Event-b支持逐步精化地建立系统模型。组成一个完整的Event-B 模型包括四部分，Context(上下文) ， Machine(自动机) ， Proof Obligations（证明义务） 和 Refin
2022-05-20 10:40:40
657
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人