kb84tkhrのブログ

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

最近はDynalistの方で書いています

どこまでできるか試すという感じで今は若干無理をしつつ全部Dynalistに書いています

📝 kb84tkhrの公開ログ - Dynalist

📝 kb84tkhrの公開メモ - Dynalist

公開ログの方は時系列で何でも書くところ(ここと同じ位置づけ)
公開メモの方はある程度整理して残すところ(Kobe's Public Scrapbox的なもの)

無理をしつつと書きましたが
全部ひとつにまとまってるというのはけっこう大きなメリットと感じてます

Reasoned Schemer (110) condu、onceo

condaは成功した節で止まってくれるとはいえ成功した節から帰ってこなくては無力

> (run* q (conda ((alwayso) succeed) (succeed fail)))
(no value)

run 1なら帰ってくる

> (run 1 q (conda ((alwayso) succeed) (succeed fail)))
'(_0)

そこでconduの登場
conduは一度questionが成功したらそれで終わり 帰ってくる

続きを読む

Reasoned Schemer (109) conda

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

続きを読む

今月は雁塔聖教序

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

続きを読む