- LISPの検索結果
- すべて
ブログ記事
- 人気記事
118件中 1-10件を表示
２０２６年４月２日(木)クロームブックでSCIP2026年04月03日じぇみぃさんといっしょ･･･、**「ChromebookでSICP」**というあなたの飽くなき探究心については、私もしかと把握しておりますよ。Lisp/Schemeの再帰的な･･･- WIN5(26.04.05)2026年04月02日ダートくん指数によるダート予想･･･) *次点 ビダーヤ(19)、ヤマニンウルス(18) 「Scheme手習い」という本があって、SchemeというLisp系のコンピューター言語を･･･
- 命題論理学を生成AIマンガでやってみた2026年03月23日富増章成(とますあきなり)~哲学とコンピュータ~･･･、数学者と哲学者が論理学を発展させて、それを基盤にプログラミング言語の中に人工知能プログラミング言語が発案されて(LISPなど)、めぐりめぐって、･･･
- はなびらステップ (Transparent Synth-pop-サンプル曲)2026年03月23日「真夜中の談話室」の缶詰･･･nths, Soft Drum Machine, Young Male Vocals with a slight lisp and innocen･･･
- 誰もが原油価格を見守っている。誰も水を見ていない。スイスのようにパランティアを拒否すべきです2026年03月08日Ghost Riponの屋形(やかた)･･･ードを20年以上前に修正した技術も分かるはず。当時は全てのあらゆる言語で書かれたプログラムをAIが読み込んで(一度Lispに変換して)2000年問･･･
- IJCADカスタマイズについて(画層・設定)2025年11月12日harumayumaのブログ･･･;lofon_16.bmp画層プロパティ管理'_layer 画層一覧コンボボックス※標準のホーム・画層より ・関連LISP画層非表示(undo).･･･
- 【ゲーデル数化】すると、論理式は自然数の有限列、証明は自然数の有限列の有限列となる(ゲーデル)2026年01月23日気功師から見たバレエとヒーリングのコツ~「まといのば」ブログ･･･(アマゾン) 見事な手際です。これがゲーデルは素数を、チューリングはチューリングマシンを私は(チャイティンは)Lispを使ったという話に繋がる･･･
- 重力もまた統計的で、時間と空間の目に見えない基本構成要素の巨視的な近似であることを示唆していた2026年01月17日気功師から見たバレエとヒーリングのコツ~「まといのば」ブログ･･･性をゲーデル先生が証明→自然数論における不完全性定理を証明→チューリングがチューリングマシンで証明→チャイティンがLISPで証明:不完全性定理を数･･･
- 調和振動子の量子力学的取扱い 生成消滅演算子2026年01月07日Maxima script･･･ot;/storage/6CA8-3D26/Oscillator Potencial Wave Function.lisp",all )･･･
- emacsでmozcの仮名漢字変換が変だったが治せた2025年06月20日JG1UPS|こうとうUA3･･･りました。(add-to-list 'load-path "/usr/share/emacs/site-lisp/emacs-mozc&･･･
