GNU social
https://social.senooken.jp/api/statusnet/conversation/2848105.atom
Conversation
2024-03-29T19:12:04+09:00
http://activitystrea.ms/schema/1.0/note
https://mastodon.tojo.tokyo/users/tojoqk/statuses/106940472126598402
New note by tojoqk
<p>今の状態だと「 Guix を使ってれば超簡単にインストールできるよ!まずは Guix をインストールしてね!」って感じになっちゃうのでなんか用意しないといけない。</p>
3936954
http://activitystrea.ms/schema/1.0/post
2021-09-16T08:48:28+00:00
2021-09-16T08:48:28+00:00
http://activitystrea.ms/schema/1.0/person
https://mastodon.tojo.tokyo/users/tojoqk
tojoqk
GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb
tojoqk
きゅーけー
GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb
tag:social.senooken.jp,2021-09-16:objectType=thread:nonce=3df9798e9e35de45
http://activitystrea.ms/schema/1.0/note
https://mastodon.tojo.tokyo/users/tojoqk/statuses/106940465663160572
New note by tojoqk
<p>本の中では J-Bob っていう定理証明支援系を使うように促されるんだけど J-Bob のインターフェースは結構つらかった(ミスがあると全部 `nil` って返ってくる)し、環境構築もなんか大変だった。</p><p>少し試してたところ Jupyter Notebook との相性が凄くいい、あとはエラーメッセージを親切にして環境構築をしやすいようにすれば普通に使ってもらえる気がする。</p><p>定理証明支援系 Vikalpa のテストコードはこんな感じ:<a href="https://git.tojo.tokyo/vikalpa.git/tree/tests/test-vikalpa.scm" rel="nofollow noreferrer">https://git.tojo.tokyo/vikalpa.git/tree/tests/test-vikalpa.scm</a></p>
3936951
http://activitystrea.ms/schema/1.0/post
2021-09-16T08:46:50+00:00
2021-09-16T08:46:50+00:00
http://activitystrea.ms/schema/1.0/person
https://mastodon.tojo.tokyo/users/tojoqk
tojoqk
GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb
tojoqk
きゅーけー
GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb
tag:social.senooken.jp,2021-09-16:objectType=thread:nonce=3df9798e9e35de45