雑記．主にキーボード，プログラミング，数理論理，ごはんについて書いていく．