kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2018-01-20から1日間の記事一覧

今度は0.9mm芯書き比べ

もやっと感がおさまらないので結局0.9mmの芯もいろいろ買ってきました 今回試してみるのはこの4種類この間買ったCampus 0.9mm 2Buni Nano Dia 0.9mm 2BPILOT neox GRAPHITE 0.9mm 2Bプレスマン用替芯 0.9mm 2B前回ちょっと薄めに感じたAinSTEINは候補から外…

定理証明手習い (19) atom

前回のlist?シリーズでlist?のA部の(equal x '())(=list0?)が list1?やlist2?では'nilに置き換えられているのは 何か一般的な書き換え規則があるんでしょうか Scheme風に書いた方では#tが#fになってます 何かあるような気がしますが思いつきません 他の再帰…