Lisp

自作Lispで、ようやくISLisp の検証プログラムが少し動くようになってきた - 標準愚痴出力 引き続き、ISLisp の検証プログラム対応を続けている NG は多々あるんだけど、まずは、全ての検証式の処理以前に途中で止まってしまう問題をクリアしないといけない。でないと合格率も算出できない だが、ここまで進んでいると、想像もしなかった ISLisp 仕様が登場してきて、なかなかおもしろくなってきた (tagbody tag1 (tagbody tag2 (unwind-protect (go tag1) ;;; tag2 invalid (go tag2)))) 当初、これが無限ループでは…

自作Lispで、ようやく ISLisp の検証プログラムが少し動くようになってきた。 このプログラム、テストケースを動かすための土台(tp.lsp)そのものがテクニックが駆使された難しいコードで、自作Lisp ではそれをまず処理できずにつまづいていた。テストケースにあるコードを直接実行する分には動作しているように見えるのに、検証プログラムでは NG というケースも多々あった。まず パーサーが ',、シングルクォート(quote)の直後にカンマ(unquote)があるパターンに対応していなかった (setq form `(eval ',form))) という式が評価できていなかった。結果として …

gmnlisp v0.6.0 で出来ていなかったこと： 既存エラーのLispオブジェクト化 対応エラー追加：<undefined-function> スロットを参照する包括関数 (undefined-entity-name), (undefined-entity-namespace) も対応 → まだまだ修正は続く データと関数の名前空間が同じ → 対応！ (lambda), (function), #' は関数それ自体ではなく、関数への参照を返すようにした (funcall), (map*), (apply) は関数ではなく参照を要求し、関数自体が与えられた時はエラーを起すようにした。 (f…

SQL-Bless が一段落したので、また gmnlisp のコードさわってました。いい加減コミットも 100近くまでたまってきたので、一応リリースしました。 Release v0.6.0 · hymkor/gmnlisp 結構すすみました。 包括関数の実装がたぶん完了 オブジェクトシステムの機能というよりも、これ関数の多重定義ですよね オブジェクトシステムの実装がたぶん完了 ILOS って、要は C++ でいうところの、構造体 + プロパティーシステムですよね ( メソッドっていうけど、多重定義できる以外、ただの関数… getter/setter もメソッドも名前空間は独立していない ) 例…

Lisperになりたい thousanda.hatenablog.com のだが、困っている。 とりあえず『Land of Lisp』という本から始めようと思ったのだが、紙の本がどこにも無い。『Land of Lisp』はCommon Lispの入門書として有名な書籍である。 ちなみに欲しさ順で並べると以下。 紙の原著 紙の訳書 電子書籍の原著 電子書籍の訳書 物理本はスペースを取るデメリットはあるけど、最近は結局紙の方が読みやすいと思ってるんですよね。 以下は全て、2024年6月15日現在の情報です。 原著の公式サイト まずは原著の公式サイト。 http://landoflisp.com/ …

Lisperになりたい。 Lispというプログラミング言語がある。 「この世には2種類の人間しかいない。Lispを書けるやつと、書けないやつだ。」 私はLispを書けない。Lispを書けるようになりたい。きっかけは好きなPodcast番組「ゆる言語ラジオ」のLisp回だ (リンクはYouTube) 。 【検証】40時間Lispを勉強したら信者になれる？【Lisp1】#118 - YouTube 元々いつかは関数型プログラミングのパラダイムを学んでおきたいという思いはあった。一時期Haskellを学んでいたことはあったが、手に馴染む前に挫折した。 そういえば僕はEmacs派だ。EmacsはLis…

(2024.06.26) 追記あり Lisp でオブジェクト指向プログラミングをする場合、他の言語と違い、(METHOD OBJECT PARAMS...) みたいに呼び出すことが多い。 これを無理やり、(OBJECT METHOD PARAMS...) みたいに呼び出す方法を考えた。そのためには、 クラスは、そのクラスのメソッドの(名前 vs lambda) のリスト new は、メソッドリストのクラスとパラメーターから、インスタンスを関数という体裁で作成する関数 とした。 class-gmn.lsp (defun new (klass :rest slot) (lambda (method…

随分昔からアルゴ取引のフレームワークを開発しては途中でやめるというのを繰り返してきました。 ロゴなんかも作ってみたりして、ゆくゆくはマネタイズ化もしくはオープンソースって考えていたのですが 一通り開発が終えて、必ずつまづくのがGUIとデータです。 やはり、チャートとテーブル表示は金融データ分析においては必須ですし、ハイクオリティなデータも信頼性の高いソフト開発をする上ではとても重要です。 仕事では、一貫してC++で開発してきましたし、パーソナルプロジェクトでもCommon LispかC++がベースです。なので、JavaScript やTypeScriptとかWebフロント開発の経験は全く無いの…

この記事は はてなエンジニア - Qiita Advent Calendar 2024 - Qiita と Mackerel - Qiita Advent Calendar 2024 - Qiita 6日目の記事です。昨日は id:pokutuna さんの わんぱくな JSON ストリームパーサーを見る日 - ぽ靴な缶 と id:kmuto さんの https://mackerel.io/ja/blog/ entry/2024/12/05/090000 でした。 Mackerel は最近オブザーバビリティに力を入れているので、それに絡めたことをやろうとしたのですが、いいネタが出るところまで出来…

今回は僕の好きな動画をご紹介させていただきます。1965年〜2022年の間のプログラミング言語の人気の変遷が視覚的にわかり、面白いです。 www.youtube.com ２倍速でさくさく見ると3分半でプログラミング言語の栄枯盛衰を体験できます。 ざっくり言えば、 60~70年代：FORTRANの時代 〜プログラミング言語黎明期〜80~90年代：Cの時代 〜コンピュータ普及期〜00~10年代：Java, JSの時代 〜インターネット普及期〜20年代~：Pythonの時代 〜AI普及期〜 みたいな感じでしょうか。70年代にはCOBOLやBASIC、80年代にはPascal, Ada, Lisp、9…

blogの管理画面を見てみると，Xdottedしている形跡が。 ということで，言及のあった内容について少し。 最初にアルファベットとか表示されるの使い心地良くなくてKTyping作ったけど、 漢直のユーザーとしてはそれが普通です。 漢字直接入力コミュニティサーベイとか見ても 大体自分で実装している方が多くて，私のような人はむしろ少数派かと。 ちょっと気になったのは、 「mozcの場合は，仮名漢字変換の変換元は平仮名しか登録できない」 と書いてあることで、これは本当なんだろうか。 Google日本語入力は、普通に漢字かな交じりの単語を登録できるんですが。 実際ubuntu 22.04 のMozc…

はじめに Lisp Advent Calendar 2024の1日目です。昨年同様、初日が空いていたので書いてみました。 さて、今年のはじめごろまでCommon Lispで音を扱うことをいくつか試していたのですが、2月ごろからポール・グレアム『On Lisp』の勉強会に参加して充実したLisp生活を送っていたにもかかわらず、音関連のプロジェクトは全く進められていなかったのでした。音について最低限必要となるツール（WAVファイルの読み書き、音にフィルタをかけるなど）がすでに揃っていたこともあったのかもしれません。 ブログを読みかえすと、以下の記事では音のリアルタイム入出力をやり始めていました。 …

はじめに この記事について 以下の記事に触発されて自分でも書いてみました。 yoric.github.io プログラミング言語が好きなので、気になったものを見つけると触るようにしているんですが、ほとんどは新たな発見や驚くような便利な機能があって、毎回感心させられます。仕事ではなかなかあれもこれもというわけにいかないのが残念ではありますが、個人で使うアプリケーションや使い捨てのプログラムを書くときには、なるべくいろんな言語で書くようにしています。 仕事と趣味を合わせて20以上の言語に触れてきましたが、それらのなかでもとくに衝撃的だった言語をいくつか選びました。 これまで触ってきた言語 だいたい時…

これは 言語実装のカレンダー | Advent Calendar 2024 - Qiita の1日目の記事です。 このカレンダーを読んでいる皆さんの中には、 「AI兵器」の衝撃 “機械は犠牲を理解できず” ウクライナの無人機 イスラエル軍は？暗い未来の不安 | NHK | WEB特集 | イスラエル など、 スカイネット の実現間近な近年の国際情勢から、 Collapse OSの作者と同様に 人類文明の崩壊を心配する方々がいるかと思います。 或いは激化する米中対立を背景に、外国産パソコンに仕込まれた ハードウェアレベルのバックドアの噂とか コンパイラに仕込まれた細工とシステムのセキュリティの話…

jpx-jquants.com 10数年前に、アルゴリズムトレーディングをリテールに広めるべく単身起業しましたが、1年後には資金が底を付き廃業の憂き目に合いました。その後、友人とFinTechビジネスを立ち上げるもこちらも3年で断念。4年間の紆余曲折のすえ、結局サラリーマンプログラマに舞い戻り現在に至っております。 アルゴリズムトレーディングなどフロントオフィス系のビジネスを立ち上げる上で一番ネックになるのが高品質なデータの取得です。機関投資家、個人投資家に関わらずデータの正確性、整合性なくして金融ソフトの開発はできません。最も一般的なデータソースはブルームバーグやロイターですが、ブルームバー…

Sveleteを勉強しています。 Pascal命じゃないのか？と突っ込まれそうですが、別言語もやります。 ＣとPascal覚えておけばどれもなんとかなります。 でもLISPは無理 （笑） そう勉強したいと思い、本を買いました。FIGMAと連携して解説する そうです。ということでやり始めたのですが、環境構築でもう挫折。 コマンド入れたら「古いやり方なんで非推奨。これを使え」 的な英文がでて、解説書が約に立たなくなりました（涙） う〜ん２０２４年８月の出版だったので買ったのですが、もう違うの ですね。非推奨の猶予期間がなかったのかわかりませんが。 進歩が早い世界なのでやむを得ないですか。（全部使え…

はじめに EmacsのOrg-modeの記法をはてな記法に変換するox-hatenaというものを見つけた。GitHub - zonkyy/ox-hatena改良版も存在し、さらに多くの記法に対応しているっぽい。ox-hatenaを修正 - ちょっと待っての日記 使い方 load-pathとして登録されているディレクトリにox-hatena.elを置き、init.elに以下を追加する。 (require 'ox-hatena) Org-modeの文書を開いている状態で、エクスポート(C-c C-e)を選択すると、'Export to Hatena Notation'の項目が追加されているので、b…

イスラエル、ガザ支援機関の活動禁止法案可決 数百万人に壊滅的な影響の恐れ 【速報】イベント中の小嶋陽菜さんに暴行容疑 ファンか…外国籍の男を現行犯逮捕 警視庁｜日テレNEWS NNN ノーコード＆AIカオスマップ更新【2024年10月版】 パノプティコン猫 「連立を組む気はない」今後の政局のキーパーソン、国民民主党・玉木代表に聞く｜日テレNEWS NNN 新型「iMac」突如発表 M4チップに刷新 価格据え置きでメモリは16GBスタートに [第6話]限界OL霧切ギリ子 - ミートスパ土本 | 少年ジャンプ＋ [拷問249]姫様“拷問”の時間です - 春原ロビンソン/ひらけい | 少年ジャンプ＋…

バタニン・ツリーについては、以下の過去記事に書いています。 指標の話： ペースティング図とバタニン・ツリー ディーン達の論文の p.6 "2 Batanin trees" でもバタニン・ツリーを扱っています。 [DFMRV22-24] Title: Computads for weak ω-categories as an inductive type Authors: Christopher J. Dean, Eric Finster, Ioannis Markakis, David Reutter and Jamie Vicary Submitted: 18 Aug 2022 (v1), …