どこまでできるか試すという感じで今は若干無理をしつつ全部Dynalistに書いています kb84tkhrの公開ログ - Dynalist kb84tkhrの公開メモ - Dynalist 公開ログの方は時系列で何でも書くところ（ここと同じ位置づけ）公開メモの方はある程度整理して残すとこ…

iPad Pro + Apple Pencilを購入して手書きってどんなもんじゃろと思いつつちょこちょこ試してきたけどそろそろいったん結論を出したいあとでまた変わるとしても

bumpo (defrel (bumpo n x) (conde ((== n x)) ((fresh (m) (-o n '(1) m) (bumpo m x))))) これは問題ない

condaは成功した節で止まってくれるとはいえ成功した節から帰ってこなくては無力 > (run* q (conda ((alwayso) succeed) (succeed fail))) (no value) run 1なら帰ってくる > (run 1 q (conda ((alwayso) succeed) (succeed fail))) '(_0) そこでconduの登場…

なんだか/oで完結したみたいな気分になってましたが ここで少し流れが変わってconda、conduが登場 ここらへん、“The Second Commandment”が何を言っているのかよくわからなかった記憶 ひさしぶりに処理系の中身と関連付けながら見ていく こんどはわかるかな

今月はご時勢で書道教室もお休みになりました教室のお題がないので雁塔聖教序やります筆が変わって細い線のコントロールがしやすくなったような気がしたのでどうなってるか