裏にいってるだけだけど面白い
youtu.be/GjKo4sqF8-o?...
youtu.be/GjKo4sqF8-o?...
Roy Hargrove destroying the Blues🔥
YouTube video by Jazz Hipness
youtu.be
October 7, 2026 at 5:50 PM
裏にいってるだけだけど面白い
youtu.be/GjKo4sqF8-o?...
youtu.be/GjKo4sqF8-o?...
Common LispのUniversal timeが4G越えたって騒いでるの世界で自分一人だけっぽくて草
October 3, 2026 at 10:16 AM
Common LispのUniversal timeが4G越えたって騒いでるの世界で自分一人だけっぽくて草
ああ〜Common Lispのuniversal timeの4G秒をうっかり見過してしまったあああ
www.reddit.com/r/Common_Lis...
www.reddit.com/r/Common_Lis...
From the Common_Lisp community on Reddit
Explore this post and more from the Common_Lisp community
www.reddit.com
October 3, 2026 at 10:02 AM
ああ〜Common Lispのuniversal timeの4G秒をうっかり見過してしまったあああ
www.reddit.com/r/Common_Lis...
www.reddit.com/r/Common_Lis...
近所の家が解体でドカンドカンやってて地震のようだが、うちの猫はまったく気にしていない。何故なのか。まあ怯えるよりずっとましだけど。
September 24, 2026 at 4:34 AM
近所の家が解体でドカンドカンやってて地震のようだが、うちの猫はまったく気にしていない。何故なのか。まあ怯えるよりずっとましだけど。
算法、作譜、などの計算機科学の大和言葉?のページをwikipediaに立てようと思ったけど案外面倒なのと、ページ名は 大和言葉 (計算機科学) でいいのか迷う
ja.wikipedia.org/wiki/%E5%88%...
ja.wikipedia.org/wiki/%E5%88%...
利用者:G000001/sandbox - Wikipedia
ja.wikipedia.org
September 16, 2026 at 2:59 AM
算法、作譜、などの計算機科学の大和言葉?のページをwikipediaに立てようと思ったけど案外面倒なのと、ページ名は 大和言葉 (計算機科学) でいいのか迷う
ja.wikipedia.org/wiki/%E5%88%...
ja.wikipedia.org/wiki/%E5%88%...
Schemeはこういうごたごたとは無縁と思っていたが
crumbles.blog/posts/2026-0...
crumbles.blog/posts/2026-0...
WTF is going on with R7RS Large? 2026 edition
crumbles.blog
September 4, 2026 at 2:42 PM
Schemeはこういうごたごたとは無縁と思っていたが
crumbles.blog/posts/2026-0...
crumbles.blog/posts/2026-0...
猫砂で尿を検査できるやつを購入してから6年位放置してたら会社もなくなってた。
とりあえず普通に使えて猫の尿にも異常なし。
そもそも敷いた砂全部が反応する必要があったのかという根本的な疑問がある。
www.makuake.com/project/thre...
とりあえず普通に使えて猫の尿にも異常なし。
そもそも敷いた砂全部が反応する必要があったのかという根本的な疑問がある。
www.makuake.com/project/thre...
Makuake｜毎日のおしっこが、健康診断になる。 尿検査できちゃう猫砂「しぐにゃる」｜Makuake（マクアケ）
ささいな体調の異変に気がつけない。
かといって定期的に尿検査に行くのは大変。
働いているからそんなに時間も取れない…。
尿検査ができる猫砂「しぐにゃる」は、
そんな忙しい飼い主さんと、大切なネコの健康を思って、誕生しました。
尿の成分に応じて、色が変化。
将来の重大な病気に関わる
猫の体調の異変・シグナルを、いち早く把握することができます。
※尿に
www.makuake.com
September 2, 2026 at 8:51 AM
猫砂で尿を検査できるやつを購入してから6年位放置してたら会社もなくなってた。
とりあえず普通に使えて猫の尿にも異常なし。
そもそも敷いた砂全部が反応する必要があったのかという根本的な疑問がある。
www.makuake.com/project/thre...
とりあえず普通に使えて猫の尿にも異常なし。
そもそも敷いた砂全部が反応する必要があったのかという根本的な疑問がある。
www.makuake.com/project/thre...
仏教における苦のエピソードを形式証明の文脈で表現すると、「well-definedなのに失敗するのはおかしい」→「形式とは苦であり、この世に形式化されていないものは一切ない」となりそう。
August 27, 2026 at 3:41 AM
仏教における苦のエピソードを形式証明の文脈で表現すると、「well-definedなのに失敗するのはおかしい」→「形式とは苦であり、この世に形式化されていないものは一切ない」となりそう。
一緒に寝てる猫が飛び起きたので飼い主も起きたが、向いの家の犬も吠えてるので外に何かがいるんだとは思うが何なのかまったく分からない
August 18, 2026 at 7:33 PM
一緒に寝てる猫が飛び起きたので飼い主も起きたが、向いの家の犬も吠えてるので外に何かがいるんだとは思うが何なのかまったく分からない
Amiga上のCommon Lisp処理系ということで話題になってるけど、CLISPは元々Amigaから出発したことを考えると、長き歴史の中で全て忘れられている感があり味わい深い。
nnamgreb.de/blog/Clamiga...
nnamgreb.de/blog/Clamiga...
Manfred Bergmann | Software Development | Blog
nnamgreb.de
August 17, 2026 at 9:43 AM
Amiga上のCommon Lisp処理系ということで話題になってるけど、CLISPは元々Amigaから出発したことを考えると、長き歴史の中で全て忘れられている感があり味わい深い。
nnamgreb.de/blog/Clamiga...
nnamgreb.de/blog/Clamiga...
Common LispすっとばしてMACLISPからdescribeあるよね、としているのが謎。MACLISPは多分Zetalispから逆輸入されたと思う。
www.youtube.com/watch?v=ZO0P...
www.youtube.com/watch?v=ZO0P...
新着SRFI紹介: SRFI-279: In(tro)spection Protocol(2026)
YouTube video by Lisp徒然草
www.youtube.com
August 13, 2026 at 2:12 AM
Common LispすっとばしてMACLISPからdescribeあるよね、としているのが謎。MACLISPは多分Zetalispから逆輸入されたと思う。
www.youtube.com/watch?v=ZO0P...
www.youtube.com/watch?v=ZO0P...
Reposted by g000001
We 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
computerhistory.org
#interlisp #xerox #parc #chm
August 5, 2026 at 8:26 AM
We 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
computerhistory.org
#interlisp #xerox #parc #chm
細々と開発が再開していたSymbolicsのVM版だったが、ここに来て本格的に再始動するらしい。
www.symbolics.biz
Symbolics Prologの表記があるけど、ソース残ってたんだろうか。
www.symbolics.biz
Symbolics Prologの表記があるけど、ソース残ってたんだろうか。
Symbolics Technologies
www.symbolics.biz
August 5, 2026 at 8:11 PM
細々と開発が再開していたSymbolicsのVM版だったが、ここに来て本格的に再始動するらしい。
www.symbolics.biz
Symbolics Prologの表記があるけど、ソース残ってたんだろうか。
www.symbolics.biz
Symbolics Prologの表記があるけど、ソース残ってたんだろうか。
自分のtao/elis互換パッケージは、Common LispにPAIPのprologを滅茶苦茶にしたやつを加えた位なのでCommon Lisp上でLLMで作るなら割とすぐかもしれない。
lisp部はマニュアルの関数をちまちまCommon Lispに移植しただけ。
ただ、tao/lispの場合は、リーダーからインタプリタまでCommon Lispとは別に作った方が変態機能をシンプルに実装できて良さそう。
lisp部はマニュアルの関数をちまちまCommon Lispに移植しただけ。
ただ、tao/lispの場合は、リーダーからインタプリタまでCommon Lispとは別に作った方が変態機能をシンプルに実装できて良さそう。
August 2, 2026 at 7:07 AM
自分のtao/elis互換パッケージは、Common LispにPAIPのprologを滅茶苦茶にしたやつを加えた位なのでCommon Lisp上でLLMで作るなら割とすぐかもしれない。
lisp部はマニュアルの関数をちまちまCommon Lispに移植しただけ。
ただ、tao/lispの場合は、リーダーからインタプリタまでCommon Lispとは別に作った方が変態機能をシンプルに実装できて良さそう。
lisp部はマニュアルの関数をちまちまCommon Lispに移植しただけ。
ただ、tao/lispの場合は、リーダーからインタプリタまでCommon Lispとは別に作った方が変態機能をシンプルに実装できて良さそう。
geminiは何故か知らないが、
(get-memblk '#!8b-memblk [2 * limit * limit + 5])
あたりを生成してくるのでFFIでメモリ確保するようにしてみたけど別に普通の配列で良かったな。
taoだと確保したメモリ要素数がわかるっぽいけどFFIだとわからないので結局構造体でラップするという無駄
(get-memblk '#!8b-memblk [2 * limit * limit + 5])
あたりを生成してくるのでFFIでメモリ確保するようにしてみたけど別に普通の配列で良かったな。
taoだと確保したメモリ要素数がわかるっぽいけどFFIだとわからないので結局構造体でラップするという無駄
August 2, 2026 at 6:59 AM
geminiは何故か知らないが、
(get-memblk '#!8b-memblk [2 * limit * limit + 5])
あたりを生成してくるのでFFIでメモリ確保するようにしてみたけど別に普通の配列で良かったな。
taoだと確保したメモリ要素数がわかるっぽいけどFFIだとわからないので結局構造体でラップするという無駄
(get-memblk '#!8b-memblk [2 * limit * limit + 5])
あたりを生成してくるのでFFIでメモリ確保するようにしてみたけど別に普通の配列で良かったな。
taoだと確保したメモリ要素数がわかるっぽいけどFFIだとわからないので結局構造体でラップするという無駄
自分は、tao/elis互換パッケージとしてCommon Lisp上に構築したけど、今ならLLMにマニュアルとかbitの記事とか読ませれば、tao/elisとかtao/silentとか割と作れちゃうのでは。
August 2, 2026 at 6:52 AM
自分は、tao/elis互換パッケージとしてCommon Lisp上に構築したけど、今ならLLMにマニュアルとかbitの記事とか読ませれば、tao/elisとかtao/silentとか割と作れちゃうのでは。
tao/elispのコードがgemini(notebook)で結構生成できるので、おもしれ〜とプロジェクトオイラーの回答生成させて投稿して遊んでたらAI使用者としてシャドウバンになった。lispとprologパラダイムの混交なども割といける。
gist.github.com/g000001/e22c...
gist.github.com/g000001/e22c...
tao/elis gemini
tao/elis gemini. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
August 2, 2026 at 6:44 AM
tao/elispのコードがgemini(notebook)で結構生成できるので、おもしれ〜とプロジェクトオイラーの回答生成させて投稿して遊んでたらAI使用者としてシャドウバンになった。lispとprologパラダイムの混交なども割といける。
gist.github.com/g000001/e22c...
gist.github.com/g000001/e22c...
中論は要するに人間が考えてしまいそうな疑問を四句否定で分解して空に還元するというのをひたすらやってるだけだけど、問いの設計が既に空に還元される正しい問で構成されるという異様にロジカルなパターン集のようなものらしい。
July 19, 2026 at 6:57 AM
中論は要するに人間が考えてしまいそうな疑問を四句否定で分解して空に還元するというのをひたすらやってるだけだけど、問いの設計が既に空に還元される正しい問で構成されるという異様にロジカルなパターン集のようなものらしい。
ある体系Xの中から体系Xの外部Pを指示できたとして、何に使おうとしているのかというと、中論での四句否定でのお題の分解が空に還元になっているというのを数学的に示したかったのだった。
手元で中論のお題を色々なLLMで確認する限りでは、中論のお題が空に還元。十四無記のお題では還元が不成立
手元で中論のお題を色々なLLMで確認する限りでは、中論のお題が空に還元。十四無記のお題では還元が不成立
July 19, 2026 at 6:45 AM
ある体系Xの中から体系Xの外部Pを指示できたとして、何に使おうとしているのかというと、中論での四句否定でのお題の分解が空に還元になっているというのを数学的に示したかったのだった。
手元で中論のお題を色々なLLMで確認する限りでは、中論のお題が空に還元。十四無記のお題では還元が不成立
手元で中論のお題を色々なLLMで確認する限りでは、中論のお題が空に還元。十四無記のお題では還元が不成立
言語の外を指示できるか、ということだけど、意外にも既存の確立した研究が出てこない。
しかし、言語の外といっても言語の中からは特異点(の極限)にしかみえないと予想。これが仏教の空と同じではないかと考えている。
しかし、言語の外といっても言語の中からは特異点(の極限)にしかみえないと予想。これが仏教の空と同じではないかと考えている。
July 18, 2026 at 11:49 PM
言語の外を指示できるか、ということだけど、意外にも既存の確立した研究が出てこない。
しかし、言語の外といっても言語の中からは特異点(の極限)にしかみえないと予想。これが仏教の空と同じではないかと考えている。
しかし、言語の外といっても言語の中からは特異点(の極限)にしかみえないと予想。これが仏教の空と同じではないかと考えている。
「ある体系 X の中から体系 X の外部 P を指示できるか」を論理学/数学体系内から証明できないか考えてるけど、LLMによると可能っぽい。対角化定理を四句分別すればいけるらしい。ほんとかいな。
July 18, 2026 at 11:39 PM
「ある体系 X の中から体系 X の外部 P を指示できるか」を論理学/数学体系内から証明できないか考えてるけど、LLMによると可能っぽい。対角化定理を四句分別すればいけるらしい。ほんとかいな。
釈迦の十四無記を分析すると問に含まれる観測者が既に1を越えているので回答しないという論理構造になっているらしい。
ja.wikipedia.org/wiki/%E7%84%...
観測対象と観測者の分離を前提とした問いを、観測者自身を含む系に適用しているため、問いが閉じていない、というのを太古に構成しているというのが凄い
ja.wikipedia.org/wiki/%E7%84%...
観測対象と観測者の分離を前提とした問いを、観測者自身を含む系に適用しているため、問いが閉じていない、というのを太古に構成しているというのが凄い
無記 - Wikipedia
ja.wikipedia.org
July 17, 2026 at 10:14 PM
釈迦の十四無記を分析すると問に含まれる観測者が既に1を越えているので回答しないという論理構造になっているらしい。
ja.wikipedia.org/wiki/%E7%84%...
観測対象と観測者の分離を前提とした問いを、観測者自身を含む系に適用しているため、問いが閉じていない、というのを太古に構成しているというのが凄い
ja.wikipedia.org/wiki/%E7%84%...
観測対象と観測者の分離を前提とした問いを、観測者自身を含む系に適用しているため、問いが閉じていない、というのを太古に構成しているというのが凄い
素人が野次馬をして楽しむIUT論争
g000001.hatenadiary.org/entry/202607...
g000001.hatenadiary.org/entry/202607...
素人が野次馬をして楽しむIUT論争 - (gensym)
数学には全然関心がないけど、IUT論争は前から気になる。 そもそもABC予想は数学で証明できるのか この論争で自分が気になる点は、斜め上かもしれないが、「そもそもABC予想って現在の数学で証明でできるのか」という疑問と、現在の数学で証明できるのかどうかには数学界はあまり関心がなさそうというところ。 ABC予想が現在の数学で証明でできるのかが分からないのでは、IUTがABC予想を証明に失敗したとして...
g000001.hatenadiary.org
July 16, 2026 at 11:51 PM
素人が野次馬をして楽しむIUT論争
g000001.hatenadiary.org/entry/202607...
g000001.hatenadiary.org/entry/202607...