Common Lisp

ソースコード ステップ17 メモリ管理と循環参照 弱参照を使うことで、循環参照を解消し、メモリ使用量を減らす。 循環参照があると、参照カウント方式のメモリ管理では解放が難しいという。ガベージコレクタの方式によっては循環参照になっているオブジェクトでも解放できるが、コストが高いらしい。マニュアルによればSBCLは世代別GCを持っているとのことである。 Common Lispでは弱参照がANSI Common Lispの範囲にないため、処理系ごとにAPIがばらばらに定義されている。そこで、統一的に扱うためのラッパーとしてtrivial-garbageというライブラリがあるので使うことにした。 Py…

ソースコード ステップ11 可変長の引数(順伝播編) 可変長引数を取り扱うため、callやforwardのシグネチャを変更し、関数の入力も出力もリストとなるよう変更する。 総称関数の特性上影響が大きく、コンパイルエラーを参考に直していくことになる。 ステップ12 可変長の引数(改善編) Common Lispの関数は、仮引数リストの中で&restを使うことで可変長引数を受け取れるようになる。 forwardは総称関数として実装しているので、すべてのクラスで同じシグネチャにしなければならない。 オリジナルを見ると、仮引数リストが異なる同名のメソッドが定義されており、これでも問題ないところに違いを…

ソースコード ステップ9 関数をより便利に まず、呼び出し側が毎回gradientに全要素が1の配列を設定しなければならないのを直す。 ユーティリティ関数として次のようなものを定義する。 (defun full-like (array fill-value) (let ((dims (array-dimensions array))) (make-array dims :initial-element fill-value))) (defun ones-like (array) (full-like array 1)) あとは次の行を書いておけば、gradientが未設定の時、初期値を設定でき…

ソースコード ステップ4 数値微分 Common Lispでは0.942のような浮動小数点数リテラルを読み取ると、デフォルトで単精度浮動小数点数型(single-float)として扱ってしまう。この挙動は (setf *read-default-float-format* 'double-float) という行を挿入すれば変更できる。自分はそうする代わりに0.942d0のようにリテラルで型を明示する方針を取った。 オリジナルのPythonコードでは__call__メソッドを利用することで、関数とDeZeroの関数を同じように扱える。そのため普通の関数を使って合成関数を表すことができる。Ruby…

Common Lispのコンパイラマクロの限界を探る https://zenn.dev/g000001/scraps/aad744485e4549 #zenn

kdotdev.com 「動的型付という性質上どうしてもプロダクトの堅牢性が落ちてしまう」という意見は、動的型付のCommon Lisp界隈ではほとんど耳にしたことがない。 Common Lispには100万行超のプロジェクトもぽつぽつあるが、堅牢性に難があるという話も耳にしない。100万行越えのプロジェクトの例だとAxiomなどがある。Google Flightの中身もビルドに数時間掛るような規模のCommon Lispである。 www.open-axiom.org Common Lispには実行時にしか動作が確定しないような文法も用意されているが、evalにせよprogvにせよプログラマは…

消滅したサイトをRSS購読してみて10日位経過したが、なかなかQoLが向上している気がする。 もちろんCommon Lisp関係のトピックがなかなか刷新されないというのはあると思うが……。 とりあえず古くても何度読んでも面白そうなものを置いてみる。 http://atom.cddddr.org/ewige-wiederkunft/bc.xml http://atom.cddddr.org/ewige-wiederkunft/cl-intern.xml http://atom.cddddr.org/ewige-wiederkunft/shiro.xml ※shiroさんのブログは勿論消滅していま…

標準入力した文字列を、文字を要素とするリストに変換 (let* ((lst (concatenate 'list (read-line))) (lst2 (mapcar #'type-of lst))) (format t "~A~%" lst) (format t "~S~%" lst) (format t "~A~%" lst2) (format t "~S~%" lst2)) とすると » cl 002b.lisp hello (h e l l o) (#\h #\e #\l #\l #\o) (STANDARD-CHAR STANDARD-CHAR STANDARD-CHAR STAN…

ABC 001bでACしたソースコードが以下の通り。 (let* ((m (read)) (vv (cond ((< m 100) "00") ((<= m 5000) (format nil "~2,'0d" (* m (expt 10 -2)))) ((<= m 30000) (+ (* m (expt 10 -3)) 50)) ((<= m 70000) (+ (/ (- (/ m 1000) 30) 5) 80)) (t 89)))) (format t "~A~%" vv)) 躓いたところ、忘れてたところを列挙する。Clispの出力結果をコピペしてるため、説明に不要な文字が含まれるが…

時間開けるとCommon Lispに関する知識が抜け落ちるので、素早く思い出せるように。 当分は昔解いたAtCoder Beginners Contestで躓いたこととか、記法を忘れたこととかやると思う。

問い：C言語は難しいか？ 答え：C言語の言語仕様自体は難しくないが、C言語でのプログラミングは難しい（私見）。C言語が簡単なのか難しいのか問われた場合、C言語の「なに」の難易度について問われているのか考えなくてはならない。 C言語そのものは難しくない C言語の言語本体や標準ライブラリ部分──すなわちC言語という「抽象化された計算モデル」とでもいうべき部分については、さほど難しくない。C言語の仕様はシンプルだ。C言語にオブジェクト指向プログラミングのための機能を追加することから始まった言語であるC++／Objective-Cと比較すれば、そのシンプルさは一目瞭然だろう。C++の仕様は大きく複雑だ…

ソースコード ステップ14 同じ変数を繰り返し使う 微分を累算して、同じ変数を使っても結果がおかしくならないようにする。 オリジナルのコードにある次のコード片をCommon Lispにどう翻訳するか少し悩んだ。そのままだと(@gradient x)という式があちこちに出てくるし、aops:vectorizeマクロで書けないのである。 if x.grad is None: x.grad = gx else: x.grad = x.grad + gx 解決策として、UIOPというライブラリで定義されたuiop:if-letというマクロを使うことにした。uiop:if-letは判定に使う値に名前を付…

はじめに プログラミングを始めるには、どの言語でも開発環境の構築が必要である。この記事ではCommon Lispの開発環境をEmacsというテキストエディタとSteel Bank Common Lisp(以下SBCLと呼ぶ)という言語処理系を用いて説明する。 まず、SBCLをインストールし、動作確認を行う。次に、サードパーティのライブラリを利用するためのQuicklispというソフトウェアを導入する。そしてEmacsをインストールし、Common Lispプログラムの編集とデバッグを容易にするため、Slyを中心にパッケージを導入する。 導入手順 SBCLのインストール Common Lispは…