日语中的日期

本文总结日语中一些日期的说法,用日语说数字,用日语说时间,用日语说星期,用日语说日期 ...more

一些不常用C语言关键字

volatile 该关键字是一个类型修饰符,提醒编译器它后面所定义的变量随时有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据 typedef typedef int myint; 声明类型:int a;等价于myint a; typedef void (*f… ...more

树莓派4B运行docker错误

树莓派4B安装raspberrypi系统后,用自带的源安装docker,在涉及到libseccomp这个库时会报错 ------------------------------------- _ () | | ___ _ __ … ...more

树莓派4B wlan0消失

wlan0 没有启动,使用sudo ifconfig wlan0 up启用即可 wlan0被blocked,使用sudo rfkill unblock all解锁即可 ...more

Yew框架实现秒表

实现计数器 用Yew框架实现一个web定时器,首先Interval实现一个简单的计数器,每10ms发送Msg UpdateTime并组件的update方法中调用tick方法,更新时间。 use gloo::timers::callback::Interval; use yew::{html, Com… ...more

从CNF到DPLL算法

从三个问题出发: 什么是CNF? 如何将逻辑表达式转化为CNF? 什么是DPLL算法? 合取范式(CNF,conjunctive normal form) CNF是指一系列逻辑表达式的合取,每一个子逻辑表达式都为下列类型之一: 为原子表达式(例如:$ p $,$ \lnot p$) 为原子表达… ...more