kb84tkhrのブログ

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

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

Campus 0.9mm 2B

というわけでCampus 0.9mm 2Bの芯を買ってきたわけなんですが 違う・・・薄い じゃあ今入ってるこの芯は何なの家には0.9mmの替芯なんてないしそれ以外で入れ替える機会なんてあるかなあKOKUYOだけどCampusじゃない芯なの? むーまたあるだけ買ってくるのかこ…

定理証明手習い (16) 全域

全域とは、どんな値を渡しても関数が値を持つということ この間pairは全域、って話が出てました 組み込み関数は、すべて全域です。 そうだったんですか! そうだったんですか! Scheme手習いでは lのcarは何ですか。 ここで lは'()です。 答えはありません。…