logoを使って足し算を定義する (defrel (++o n m k) (logo k n '(1) m))でいいんじゃね > (run* k (++o '(1 1) '(1 0 1) k)) '((0 0 0 1))

(fresh (q1 bwq1) (+o q '(1) q1) (*o bw q1 bwq1) (

(base-three-or-moreo n b q r)はbが３以上のときのn = b^q + rの関係 この（今まで出てきた関係の中では）巨大な関係がしかもcondeで分かれてないってすごいな 全部同時に成り立つってことだもんな

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のブログ 左が古いほう、右が新しいほう根元あたりのふくらみぐあいに差があります

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

iPad Pro、なんでも読めるし手書きでメモもとれるしすばらしいんだけど本を読んで勉強しながらメモ、みたいな状況だとアプリを切り替えるのがどうも面倒 Split Viewだと狭くなる特に手書きメモしようとするとつらいPDFならその場で書きこめるからそれでいい…

確かに同じだ なんで同じなの bの意味がどうもつかめてないんだよな

ではコードを1行ずつ ((== '(1) n) (== '() q))はわかる ((>1o n) (== '(1) q) (fresh (s) (splito n b s '(1))))のnは bの長さ+1をpとしてp個の0または1に1をくっつけたもの 式で書けば2^(p + q) <= n < 2^(p + q + 1)

1周目ではほとんどあきらめていたlogo とりあえずlogo以下コードを入力して動かしながらやっていこう 入力するだけでもなかなか大変 目がちかちかする ↓くらいで書けたら関係プログラミングすげー、っていうところなんだけどなあ

/o自体は問題ない (defrel (/o n m q r) (conde ((== '() q) (== r n) (

同じ教室の人が筆を先生に見せて、この筆どうですかね、って聞いたんですよ墨が固まってるわね、お湯につけておいて洗いなおせばよくなるかもしれませんよ、ってああ自分と同じだ、と思ったらそれに続いていつから使ってるの？あら４年？それはそろそろ替え…

(split n r l h)はnからrの長さ+1だけ取ってlとし残りをhとする ただしlやhがちゃんとした数字になるようにする n: (0 0 1 0 1 1) r: (1 0 1) ↓ l: (0 0 1 ) h (1 1)

さてそうやってガードを入れた/oもこういう式では値を返さない 確かにこれを途中で止めるのは難しそう > (run 3 (y z) (/o `(1 0 . ,y) '(0 1) z '())) user break しっくりこないところもあるけどだいたいストーリーは見えてきた

わり算ここだな一番わからなかったところ

えーとここからしばらくはわり算の準備、だったかな？ガードかける用に

これ Cardflow+ by Qrayon Qrayon, LLC 仕事効率化 ¥1,840 公式サイト：Cardflow: The Best Index Card App for the iPadユーザーズガイド：Cardflow: Index Cards on your iPad

今回は筆ペンで 今使ってるあかしや新毛筆はそこまで太くは書けないので三角を書いて中を塗ったりしている だいたい安定してきたかな 実寸というのはありがたいもので こうやって並べて比べてみたり なんなら重ねて透かしたりもできる ずれてはいるけどけっ…

本物のbound-*o (*o n m p)でn>pだったりm>pだったりしたら失敗するようにする んだけどそのかわりにnやmをリストとみてnやmがpより長かったら失敗するようにするらしい

かけ算わり算の章 ここが最難関だったような *oは特に難しいところはない non-overlappingで再帰は最後ね

なんで止まるのか考えないと でも今回書いたコードには再帰してるとこないんだよな +oとか-oとかで止まってるのか？ いくつか値を試してみたけどそういう雰囲気はない（あくまで雰囲気

えーと どうなってんの > (check-sumo-augend -5 -5) user break > (check-sumo-augend 1 1) user break > (run* n (sumo n '(0 1) '(0 1))) user break > (run 1 n (sumo n '(0 1) '(0 1))) '(()) なるほど 2個めを探しにいこうとして見つからないってことか

雁塔聖教序の本を見てて拓本の写真に「原寸」と書いてあることに気づきほうこれが原寸なのか、じゃあ小筆で書いたものなんだなじゃあ自分もやってみようってことで書いてみた

符号付きの数を作ってそれ用の足し算を作る話 1周目に脳内で書いたコードはカッコの対応がついてないところだらけ あとdiff-sign-sumoで答えが0になるときの対応が抜けてることに気づいた