[B! LISP] warudのブックマーク

Common Lisp と日本語と文字コード

external-format の使い方がわかったところで、実用的には文字コードの判定処理が必要になる場合が多い。 external-format を知っただけでは、with-open-file の external-format に何を指定すればいいのか迷ってしまう。で、いろいろ蘊蓄を語ろうと思ったのだが、ふと Gauche の文字コード判定処理を CL に移植して比較したところ性能、精度とも私の手作りのものより断然よかったのでこっちを採用。 Gauche のソースの ext/charconv/guess.scm, ext/charconv/guess.c, ext/charconv/guesstab.c が日本語エンコーディング判定処理だ。 guess.scm で状態表 guesstab.c を出力し、 C コンパイラで guess.c guesstab.c をコンパイルしてモジュ

warud 2012/10/07

Common LISP と日本語文字

リンク

ACL2 Version 2.9　ACL2 is both a programming language in which you can model systems and a tool to help you prove properties of those models.　lisp

Welcome to the ACL2 home page! We highlight a few aspects of ACL2: Libraries (Books). Libraries of books (files containing definitions and theorems) extend the code that we have written. In particular, the distribution tarball includes the community books, which are contributed and maintained by the members of the ACL2 community. Documentation. There is an extensive user's manual for the ACL2 syst

warud 2009/08/16

, [programming]

LISP

リンク

BEE Lisp compiler – lightweight and powerful compiler for Lisp language

warud 2009/08/16

LISP

リンク

Franz Inc.: Allegro Common Lisp (Japanese)

warud 2009/08/16

, [Franz], [Allegro]

LISP

リンク

Franz Inc.

Industry Leading Graph Database for Knowledge Graph Solutions and Common Lisp Techno logies Franz Inc. is an early innovator in Artificial Intelligence and leading supplier of Semantic Graph Database techno logy with expert knowledge in developing and deploying Neuro-Symbolic AI solutions. AllegroGraph is a horizontally scala ble, high-performance, and transactional Semantic Graph, Vector, and Docume