Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 24-Sep-2021 15:42:58 JST きゅーけー

   JupyterLab を見てなんか Jupyter が進もうとする方向性が自分の求めているものとなんか違うことに気づいてしまって、Jupyter Notebook に対する熱が冷めてしまった。

   ob-acl2 をどうにかして実装して、org-mode で生きていくことにした。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 24-Sep-2021 20:31:00 JST きゅーけー

     in reply to

     ob-acl2 実装するのやっぱ大変だ。大変なのでしばらくは Jupyer Notebook を使って org-mode への移行は長期目標にしよう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 24-Sep-2021 21:05:55 JST きゅーけー

     in reply to

     公式の ACL2 が、なんというか bash に S 式を流し込んで解決ってやっているわけだから ob-acl2 も凝ったことしなくていい気がしてきた。適当に作ろう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 24-Sep-2021 21:29:23 JST きゅーけー

     in reply to

     ob-acl2 はなんも分からんけどとりあえず動くやつできそう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 24-Sep-2021 21:29:38 JST きゅーけー

     in reply to

     Emacs Lisp なんもわからない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 24-Sep-2021 23:05:04 JST きゅーけー

     in reply to

     ob-acl2、とりあえず私が使える状態にはなったな(とても微妙だけど)。これをもって Jupyter Notebook は一旦やめて org-mode に移行する。