博客

λ演算入门

写在前面

学这个主要是因为我们社团准备要规范一些写代码的习惯以及结构确定了OOP以及函数化编程后在寻找适合函数化编程的伪代码规范的时候决定恶补一下底层知识

本文适合对于计算机科学与代数有一定了解的同学最好是python 我文中就先用py的lambda expression来做的implementation

我自己做了个 $\lambda$ -calculus的演算器，可以来玩玩网站 GitHub

结尾有Cheatsheet哈～

Makabaka18802025/3/21...大约 7 分钟

永别老爸

一切从小时候的一个发现说起。

那时，常看到爸妈坐在一个嗡嗡作响的大盒子旁，盯着一个发光的屏幕，手里握着一个小小的黑色盒子。
满心好奇，问老爸：“这是什么呀？”他笑着回答：“这是电脑啊。”一下子来了兴趣，脱口而出：我也想要一个！

没过多久，客厅里真的多了一个用纸壳做的大盒子。老爸把发光的屏幕摆到我面前，又递给我那个小黑盒子。我好奇地摆弄着显示器，而他和妈妈站在一旁，满脸笑意地看着我。

自此之后，老爸也给我打造了各式各样的好玩的“电器”，我的房间很快也被这个纸壳王国吞噬了。

Makabaka18802025/1/2...大约 8 分钟

扒谱子～

Makabaka18802025/4/4...小于 1 分钟

Lean - Thereom Prover

写在前面

这个实则是在学λ演算的时候发现的好东西

0x00 Introduction and Setup

Lean Prover 4 is a toolchain for

Makabaka18802025/3/31...小于 1 分钟

那么旧，那么新

Makabaka18802025/3/31...小于 1 分钟

Floats in CPP

Case Study

Given $m_a, m_b, m_c \in \mathbb R$ , and $\sum_{\{a, b, c\}} m ≤ m_{\max}$ . Given $m_a, m_b, m_c$ through stdin, decide whether if m

Answer

float ma, mb, mc, mmax = 10;
cin >> ma >> mb >> mc;
cout << (ma + mb + mc < 10 ? 'true' : 'false')

Makabaka18802025/3/31...小于 1 分钟

I/O Manipulation Header

0x00 IOManip Usage

#include <iomanip.h>

Makabaka18802025/3/21...小于 1 分钟

While Loops

0x00 Syntax

while (condition) {
    do_sth();
}

Makabaka18802025/3/21...小于 1 分钟

记一次作文修改思路

写在前面

这是帮我一个IB体系下的同学改的作文哈我本人不学IB 所以不确定具体的评分细则是什么

我是按照ACT阅读的修改题的要求来进行proofread的欢迎大佬进行指正

Email在此 [email protected]

Original Draft

Everyone has a dream, and mine is to become an excellent dentist. I hope to live in a peceful place where I can enjoy peaceful moments. In my free time, I want to go to the seaside sit by the ocean, and read books. But more importantly, I want to use my skills to help people. My interest in dentistry started because of my own experiences. When I was a child, I loved eating sweets. which led to serious dental problems. I had to visit the dentist many times and spent a lot d money on treatment.
However, some of the dentists I visited were not skilled and instead of fixing my teeth, they made my pain worser. I realized that many people in society might have similar experiences. Some may suffer from bad dental care, while others may not be able to afford it.
Another reason I want to be an dentist is that I want to help people in need. Good teeth are very important for people's health. My grandma has serious dental problems, and then after spending a lot of money on treatments, her condition didn't improve. Because of her bad teeth, she can't eat many foods, which affects her nutrition and health. This made me realize how important it is to have access to good dental care. In the future, I want to do volunteer work in poor areas if I have opportunity, helping people who can't afford proper treatment. To achieve my dream,
I'll study hard and gain the skills needed to become a great dentist.
Maybe someday. I can make a real difference in people's lives and see their smile with confidence.
Finally, I want to say "Be the change that you wish to see in the world."

Makabaka18802025/3/21...大约 6 分钟

CPP Arrays

0x00 Basic Manip

int a[5] = {}; // Creates an empty array with length 5
for(int i = 0; i < 5; i++) {
    std::cin >> a[i]; // Iterates through the [0, 5] and assign each element
}
for(int i = 0; i < 5; i++) {
    std::cout << a[i]; // Iterates through the [0, 5] and prints each element
}

Makabaka18802025/3/2...大约 3 分钟

Makabaka1880的博客 | 中考季 :(

0x00 Introduction and Setup

0x00 IOManip Usage

0x00 Syntax

Original Draft

0x00 Basic Manip