g000001 @g000001.bsky.social · 13h案外埋め込みprologを記述するのにモナド記法が使えるかもしれない μ(let ((u '(0 1 2)) (?x (undef))) (&member ?x •u) (print ?x) (&member ?x (8 9 0)) (print (list ?x)) (fail)) ▻ ▻ 0 ▻ (0) ▻ 1 ▻ 2 → nil とか。 Haskellの埋込Prologどういう記法なんだろ。 000
g000001 @g000001.bsky.social · 13h16年前あたりは、LetSの記法と、バッククォートと、Connection Machine Lispのαβ•演算子とを統合してモナド記述として統一できるんじゃないかと思ってμ記法として、 μ(let ((x ⋅'(0 1 2))) (+ x 8)) → (8 9 10) とかやってたな。 000
g000001 @g000001.bsky.social · 13h昔から予想してたけどSeriesがKBemacsで全面的に使われた、という記述は、Seriesの前身のLetSのことだったのが今回のソース発掘で確認できた。 github.com/jeffshrager/...github.comkbemacs/code/volume_2/analyze.lisp at main · jeffshrager/kbemacsContribute to jeffshrager/kbemacs development by creating an account on GitHub. 000
g000001 @g000001.bsky.social · 13hKBEmacsにはseriesが全面的に使われてるのを確かめようとしてgrepした自分がCLで動くようにして公開しているLetSのリポジトリが取り込まれてたのを識った。 github.com/jeffshrager/... flavorsもspice lispのやつ使おうとしてるみたいだけど、flavors実装としては互換性が低いので大丈夫なのかな。 まさか自分も16年後にこんなところで貢献するとはつゆしらず。github.comkbemacs/seshsums/2026-10-08-sbcl-runtime-start.md at main · jeffshrager/kbemacsContribute to jeffshrager/kbemacs development by creating an account on GitHub. 000
g000001 @g000001.bsky.social · 14h半世紀前の元祖AIコーディングアシスタントのKBEmacs復活へ、という投稿にAI生成コンテンツにはタグ付けろといういちゃもんがつく retrocomputingforum.com/t/reanimatin...retrocomputingforum.comReanimating two Historical AI-based coding assistants, a quarter-century apart!The Executable Archaeology project recovers historical programs and runs them in as close to their original code as possible. As described in my previus post, we recently reanimated Herbert Simon’s ... 010
Reposted by g000001tani @tani.cc · 13/10/2026SLG(tabling) も スタックレス挙動も、ISOに定義された述語も大体サポートした最強のS式Prolog処理系を作った。 github.com/tani/sprologgithub.comGitHub - tani/sprolog: WAM VM prolog written in common lisp by ChatGPTWAM VM prolog written in common lisp by ChatGPT. Contribute to tani/sprolog development by creating an account on GitHub. 051
g000001 @g000001.bsky.social · 12/10/20261990年あたりのschemeでは副作用目的フォームの返り値の誤用を返り値0個のエラーとして検出するというアイデアもあったのか。 dl.acm.org/doi/pdf/10.1... CLの多値の解釈で足りない分はnilが補われるという誤解も既にあるっぽいなdl.acm.org 000
g000001 @g000001.bsky.social · 12/10/2026そういえばLM Prologのマニュアルだけ復活させてた ml.cddddr.org/docs/lm-prol...ml.cddddr.orgLM-Prolog User Manual 000
g000001 @g000001.bsky.social · 12/10/2026誰かLM Prolog復活させてほしい。LLMに尋ねたら、そんなに難しくないということだったので、そのうち誰かやるのかもしれない 000
g000001 @g000001.bsky.social · 12/10/2026S式Prologの統一構文としては、LM Prologがいいんじゃないかなあと思っているけど、特になにもしていない 000
g000001 @g000001.bsky.social · 12/10/2026Common Lispでイメージ起動しっぱなしで、LLMでコンディションシステム/デバッガが使えるようにした状態で、勝手に試行錯誤しながらコード生成できる状態にしたらどうなるのか興味がある。 011
Reposted by g000001tani @tani.cc · 12/10/2026バイブコーディング全盛の今こそ、 マクロが使えて、仕様が４０年以上安定していて、 C級の速度がでるCommon Lispっていう言語をつかうべきだ。 032
g000001 @g000001.bsky.social · 07/10/2026裏にいってるだけだけど面白い youtu.be/GjKo4sqF8-o?...youtu.beRoy Hargrove destroying the Blues🔥YouTube video by Jazz Hipness 000
g000001 @g000001.bsky.social · 03/10/2026ああ〜Common Lispのuniversal timeの4G秒をうっかり見過してしまったあああ www.reddit.com/r/Common_Lis...reddit.comFrom the Common_Lisp community on RedditExplore this post and more from the Common_Lisp community 020
g000001 @g000001.bsky.social · 24/09/2026近所の家が解体でドカンドカンやってて地震のようだが、うちの猫はまったく気にしていない。何故なのか。まあ怯えるよりずっとましだけど。 000
g000001 @g000001.bsky.social · 16/09/2026算法、作譜、などの計算機科学の大和言葉?のページをwikipediaに立てようと思ったけど案外面倒なのと、ページ名は 大和言葉 (計算機科学) でいいのか迷う ja.wikipedia.org/wiki/%E5%88%...ja.wikipedia.org利用者:G000001/sandbox - Wikipedia 000
g000001 @g000001.bsky.social · 04/09/2026Schemeはこういうごたごたとは無縁と思っていたが crumbles.blog/posts/2026-0...crumbles.blogWTF is going on with R7RS Large? 2026 edition 000
g000001 @g000001.bsky.social · 02/09/2026猫砂で尿を検査できるやつを購入してから6年位放置してたら会社もなくなってた。 とりあえず普通に使えて猫の尿にも異常なし。 そもそも敷いた砂全部が反応する必要があったのかという根本的な疑問がある。 www.makuake.com/project/thre...makuake.comMakuake｜毎日のおしっこが、健康診断になる。 尿検査できちゃう猫砂「しぐにゃる」｜Makuake（マクアケ）ささいな体調の異変に気がつけない。 かといって定期的に尿検査に行くのは大変。 働いているからそんなに時間も取れない…。 尿検査ができる猫砂「しぐにゃる」は、 そんな忙しい飼い主さんと、大切なネコの健康を思って、誕生しました。 尿の成分に応じて、色が変化。 将来の重大な病気に関わる 猫の体調の異変・シグナルを、いち早く把握することができます。 ※尿に 000
g000001 @g000001.bsky.social · 01/09/2026猫の回し車使い始めて10年になったらしい。 猫用のやつもこの10年で割と普及した気がする flic.kr/p/NcAEQeflic.krofc01FJ310060 000
g000001 @g000001.bsky.social · 27/08/2026仏教における苦のエピソードを形式証明の文脈で表現すると、「well-definedなのに失敗するのはおかしい」→「形式とは苦であり、この世に形式化されていないものは一切ない」となりそう。 000
g000001 @g000001.bsky.social · 18/08/2026一緒に寝てる猫が飛び起きたので飼い主も起きたが、向いの家の犬も吠えてるので外に何かがいるんだとは思うが何なのかまったく分からない 000
g000001 @g000001.bsky.social · 17/08/2026Amiga上のCommon Lisp処理系ということで話題になってるけど、CLISPは元々Amigaから出発したことを考えると、長き歴史の中で全て忘れられている感があり味わい深い。 nnamgreb.de/blog/Clamiga...nnamgreb.deManfred Bergmann | Software Development | Blog 021
g000001 @g000001.bsky.social · 13/08/2026Common LispすっとばしてMACLISPからdescribeあるよね、としているのが謎。MACLISPは多分Zetalispから逆輸入されたと思う。 www.youtube.com/watch?v=ZO0P...youtube.com新着SRFI紹介: SRFI-279: In(tro)spection Protocol(2026)YouTube video by Lisp徒然草 000
Reposted by g000001The Medley Interlisp Project @interlisp.org · 05/08/2026We had a meeting at the Computer History Museum and took the opportunity for a photo next to a Xerox Alto. From left to right: Nick Briggs, Ron Kaplan, Herb Jellinek, Frank Halasz, and Larry Masinter. computerhistory.org #interlisp #xerox #parc #chm 011
g000001 @g000001.bsky.social · 05/08/2026細々と開発が再開していたSymbolicsのVM版だったが、ここに来て本格的に再始動するらしい。 www.symbolics.biz Symbolics Prologの表記があるけど、ソース残ってたんだろうか。symbolics.bizSymbolics Technologies 000
g000001 @g000001.bsky.social · 02/08/2026自分のtao/elis互換パッケージは、Common LispにPAIPのprologを滅茶苦茶にしたやつを加えた位なのでCommon Lisp上でLLMで作るなら割とすぐかもしれない。 lisp部はマニュアルの関数をちまちまCommon Lispに移植しただけ。 ただ、tao/lispの場合は、リーダーからインタプリタまでCommon Lispとは別に作った方が変態機能をシンプルに実装できて良さそう。 000
g000001 @g000001.bsky.social · 02/08/2026geminiは何故か知らないが、 (get-memblk '#!8b-memblk [2 * limit * limit + 5]) あたりを生成してくるのでFFIでメモリ確保するようにしてみたけど別に普通の配列で良かったな。 taoだと確保したメモリ要素数がわかるっぽいけどFFIだとわからないので結局構造体でラップするという無駄 000
g000001 @g000001.bsky.social · 02/08/2026自分は、tao/elis互換パッケージとしてCommon Lisp上に構築したけど、今ならLLMにマニュアルとかbitの記事とか読ませれば、tao/elisとかtao/silentとか割と作れちゃうのでは。 010
g000001 @g000001.bsky.social · 02/08/2026tao/elispのコードがgemini(notebook)で結構生成できるので、おもしれ〜とプロジェクトオイラーの回答生成させて投稿して遊んでたらAI使用者としてシャドウバンになった。lispとprologパラダイムの混交なども割といける。 gist.github.com/g000001/e22c...gist.github.comtao/elis geminitao/elis gemini. GitHub Gist: instantly share code, notes, and snippets. 000
g000001 @g000001.bsky.social · 27/07/2026MIT AIメモの原稿から仕立てなおした綺麗なPDFができたらしい。 リンクは、aim-349: SCHEME github.com/larsbrinkhof...github.com 000
g000001 @g000001.bsky.social · 19/07/2026中論は要するに人間が考えてしまいそうな疑問を四句否定で分解して空に還元するというのをひたすらやってるだけだけど、問いの設計が既に空に還元される正しい問で構成されるという異様にロジカルなパターン集のようなものらしい。 000
g000001 @g000001.bsky.social · 19/07/2026ある体系Xの中から体系Xの外部Pを指示できたとして、何に使おうとしているのかというと、中論での四句否定でのお題の分解が空に還元になっているというのを数学的に示したかったのだった。 手元で中論のお題を色々なLLMで確認する限りでは、中論のお題が空に還元。十四無記のお題では還元が不成立 020
g000001 @g000001.bsky.social · 19/07/2026言語の外を指示できるか、ということだけど、意外にも既存の確立した研究が出てこない。 しかし、言語の外といっても言語の中からは特異点(の極限)にしかみえないと予想。これが仏教の空と同じではないかと考えている。 000
g000001 @g000001.bsky.social · 19/07/2026「ある体系 X の中から体系 X の外部 P を指示できるか」を論理学/数学体系内から証明できないか考えてるけど、LLMによると可能っぽい。対角化定理を四句分別すればいけるらしい。ほんとかいな。 110
g000001 @g000001.bsky.social · 17/07/2026釈迦の十四無記を分析すると問に含まれる観測者が既に1を越えているので回答しないという論理構造になっているらしい。 ja.wikipedia.org/wiki/%E7%84%... 観測対象と観測者の分離を前提とした問いを、観測者自身を含む系に適用しているため、問いが閉じていない、というのを太古に構成しているというのが凄いja.wikipedia.org無記 - Wikipedia 000
g000001 @g000001.bsky.social · 17/07/2026素人が野次馬をして楽しむIUT論争 g000001.hatenadiary.org/entry/202607...g000001.hatenadiary.org素人が野次馬をして楽しむIUT論争 - (gensym)数学には全然関心がないけど、IUT論争は前から気になる。 そもそもABC予想は数学で証明できるのか この論争で自分が気になる点は、斜め上かもしれないが、「そもそもABC予想って現在の数学で証明でできるのか」という疑問と、現在の数学で証明できるのかどうかには数学界はあまり関心がなさそうというところ。 ABC予想が現在の数学で証明でできるのかが分からないのでは、IUTがABC予想を証明に失敗したとして... 000
g000001 @g000001.bsky.social · 12/07/2026数年に一度くらいでこの謎のデマが自然発生してくるので書いてみた Common Lispが採用している構文はS式ではないというのは本当ですか? zenn.dev/g000001/arti...zenn.dev2026年のCommon LispのFAQではない質問 000
g000001 @g000001.bsky.social · 10/07/2026エージェントアプローチ人工知能 4版が先日出てたみたいだけど42,900円…… amzn.to/4ydc05Famzn.toエージェントアプローチ人工知能134の国と地域の少なくとも1556校でテキストとして採用されてきた、AIを体系的に学べる世界的な定番書 本書は原著第4版の翻訳であり、日本語版としては第2版以来の待望の改訂となる。知的エージェントという統一的視点から、探索・論理・知識表現・計画・確率推論を軸に古典的AIの体系を鮮やかに示した第2版の内容を継承しつつ、現代の劇的な変化を反映し抜本的に刷新されたのがこの第4版である。機械学習をより... 010
g000001 @g000001.bsky.social · 29/06/2026¬¬がなんなのかは数学で語られることはなかったらしいんだけど、1970年代には直観主義論理内に古典論理を埋め込むのにローヴェアとかグロタンディークが邁進してたらしい。 000
g000001 @g000001.bsky.social · 29/06/2026コラッツ予想が証明できない理由を、古典論理と直観主義論理の二重否定→CH対応で継続→望ましい継続の観測の取り零しと読み替え、これを勘定→zfc+uでは証明が困難(実質不可能、というか表現する語彙が数学にない)ということをzfc+u内で示した! github.com/g000001/diff...github.com 000
g000001 @g000001.bsky.social · 24/06/2026仏教では、なんでも空から考えるのがよくわからなかったけど、まず一切皆空とおいて空に正規化してから四句分別で言語が到達できない領域まで分解するという、非常に論理的な手法だったらしい。元を辿ると釈迦の十四無記を一般化したものっぽい。 000
g000001 @g000001.bsky.social · 24/06/2026チベット仏教のドルポパは、空に対して四句分別を二重に適用することにより、論理では到達できない残余(=⊥)を導出し、これをもって如来蔵があるとしたらしい。どうも瞑想だけで到達しているというのが凄い。 000
g000001 @g000001.bsky.social · 24/06/2026直観主義論理の構成を領域理論と組み合わせて考えた場合、鶏と卵の問題だけど、⊥の定義について相互再帰することで体系内で定義可能であるという理屈を構築できないだろうか 000
g000001 @g000001.bsky.social · 24/06/2026一般化すると、 あらゆる体系には空がありこれは天下りに与えてもよいが体系内からも導出できるという特異点中の特異点 ではないかと考えているが真相はいかに 000
g000001 @g000001.bsky.social · 24/06/2026⊥ :=μX.(¬(X)∧¬(¬X)∧¬(X∧¬X)∧¬(¬X∧¬¬X)) ともいえる。ここで⊥は天下りでは?というコペンハーゲン解釈的な議論が生まれる予想されるが、これは仏教では空見というパターン。 000
g000001 @g000001.bsky.social · 24/06/2026仏教の「空」と四句分別をいじくって半年経過したが、直観主義論理が排中律を排除する故に既存の体系を拡張することなく、空 :=μX.(¬(X)∧¬(¬X)∧¬(X∧¬X)∧¬(¬X∧¬¬X))と定義できるらしいことがわかった。右辺は四句分別をそのまま書いただけ。 000
g000001 @g000001.bsky.social · 19/06/2026何故か手を見ないようにしてやろうとしてできなくて悶絶してたけど手を目視確認するようにしたらすぐできた www.youtube.com/shorts/Lt8b2...youtube.comNinja Fingers Part Two! (might hurry your brain)YouTube video by Jon Gomm 000
g000001 @g000001.bsky.social · 18/06/2026新着SRFI紹介: SRFI-275: URIs and IRIs(2026) www.youtube.com/watch?v=D0t2...youtube.com新着SRFI紹介: SRFI-275: URIs and IRIs(2026)YouTube video by Lisp徒然草 000
