2018-01-01から1ヶ月間の記事一覧
J-Bobは、ある式を別の式に書き換えるのを手助けしてくれるプログラムです。 「A 放課後」でJ-Bobの使い方が紹介されています 章の内容に沿って書かれているのでとりあえず言われるまま入れてみます > (J-Bob/step (prelude) '(car (cons 'ham '(eggs))) '()…
(どういうわけ)しおり紐3本はさんでみました!
たいしたアクセスもないこのブログですがアクセス解析を見ているとここ2ヶ月くらいはずっとこの記事がアクセス数1位をキープしてますはっきり数は出ませんがアクセス数も増えてるんじゃないかなちょっとずつDynalistがポピュラーになってきてるんでしょう…
『Scheme手習い』を読んだことは? 'nil #tですよ! ある式に等しい式は無数にあるが、値はひとつしかない 変数の値が決まってなくても式の値が決まることがある 注目する部分を「フォーカス」、その外側を「文脈」と呼ぶ フォーカスを、それに等しい式で置…
「自分で動かしながら楽しみたい」という読者のために、J-Bobという簡素な定理証明支援系を用意してあります。 必須じゃないという書き方ですね でもせっかくですから動かしてみたい まずはThe Little Proverのページにアクセスしてみます J-BobはGitHubから…