Table of Contents

 2020-02-02
Don't use add-to-list in Emacs
let's update emacs.el
 2020-01-26
A visualization tool to analyze logic fomula
I need better intuition
 2020-01-21
New technologies for SAT solvers
from SR2019
 2020-01-15
UNSAT LOG, 2020, Jan.
Vol.1, No.1.
 2019-12-17
SAT Solver Development Log
Vol.0, No.0
 2019-12-17
End of Rust on Now
撤退だ！
 2019-10-08
Using Nix on Catalina
Catalina上でNixを使う
 2019-09-20
Directions for the next Splr
半年でやることやった後のがんばりについて
 2019-09-14
Splr-0.1.4 released
as a maintenance release
 2019-08-08
A trait definition with lifetimes
生存期間もややこしい
 2019-07-31
About Observable
強力な可視化機能を手に入れた
 2019-07-31
A Consideration about Restart (2019-07-31)
（部分的）リスタートの意義