kb84tkhrのブログ

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

Reasoned Schemer (105) logo 続き4

base-three-or-moreoには恐れをなして先にlogo本体

(defrel (logo n b q r)
  (conde
    ((== '() q) (<=o n b) (+o r '(1) n))

n = b^q + rの関係であること、とは(という読み方をしてみる)

続きを読む

筆の調子と今週の練習

切れ毛抜け毛でなんか穂先がやせてる気がしてずっと気になってたので

筆新調しました・象牀絃歌酒讌・蝉丸 - kb84tkhrのブログ

左が古いほう、右が新しいほう
根元あたりのふくらみぐあいに差があります

続きを読む

Reasoned Schemer (104) logo 続き3

bの意味がどうもつかめてないんだよな

わかった
bはやっぱりbaseなんだ
exp2oは2の累乗(とその仲間たち)を求めるんだけどそれはb()のときで
b(1)なら4の累乗、b(1 1)なら8の累乗、b(1 1 1)なら16の累乗って
考えたらいいんだ
つまり(2の(bの長さ+1)乗)の累乗ってわけだな

続きを読む

タブレット2枚使い

iPad Pro、なんでも読めるし手書きでメモもとれるしすばらしいんだけど
本を読んで勉強しながらメモ、みたいな状況だとアプリを切り替えるのがどうも面倒

Split Viewだと狭くなる
特に手書きメモしようとするとつらい
PDFならその場で書きこめるからそれでいいときはいいんだけど

続きを読む