marp | theme |
---|---|
true |
default |
Powered by kroki.io
import gzip | |
def gzip_search(query: str, candidate_chunks: list[str], top_k: int=1): | |
""" | |
文字列ベースで類似したテキストチャンクを推定するアルゴリズム. | |
`query`, `chunk`, および`query + " " + chunk`をそれぞれgzipで圧縮し、編集距離のようなものをベースに評価する. | |
Parameters: | |
query (str): 検索クエリとして使用する文字列. | |
top_k (int, optional): 返される類似チャンクの上位k個を指定する (default: 1). |
marp | theme |
---|---|
true |
default |
Powered by kroki.io
(dotimes [n 101] | |
((lambda args | |
(newline) ; ~&, should be fresh-line | |
(let/cc break | |
(case (car args) ; ~[ | |
[(0)] ; ~; | |
[(1) (display (cadr args)) ; ~A | |
(if (zero? (caddr args)) (break))] ; ~v^, ~; | |
[(2)] ; ~; | |
[(3) (display "Fi")] ; Fi~; |
;;; -*- mode: lisp; package: wsl -*- | |
(defpackage :wsl | |
(:use :lisp :editor)) | |
(in-package :wsl) | |
(export '(run-wsl | |
run-wsl-in-buffer | |
convert-wslpath-to-win |
Lazy K interpreter in Grass language
You need grasspiler
2020-05-13 追記
@echo off | |
call grasspile quine-base.ml -P 1000000 >quine-base.grass | |
if ERRORLEVEL 1 ( | |
echo compile failed [exitcode=%ERRORLEVEL%] | |
exit /b 1 | |
) | |
ruby mkquine.rb >quine.grass |
※以下は emacs-25 リリース前のものなので現在では内容が古くなっているかもしれません。 | |
emacs-25(以降)の README.txt も参照してみてください。 | |
■各パッチについて | |
emacs-24.5-*.diff は emacs-24.5 に対するパッチです。 | |
□emacs-24.5-x64.diff (https://gist.github.com/rzl24ozi/68c29ac4fe64f1aa8887) | |
GNU emacs(x64) (http://hp.vector.co.jp/authors/VA052357/emacs.html) | |
に同梱のパッチ | |
(GNU emacs(x64) インストール後に C:\Program Files\GNU\Emacs23\distfiles\ |
(eval-when (:compile-toplevel :load-toplevel :execute) | |
(require 'xml-http-request) | |
(require 'json)) | |
(defpackage :wandbox | |
(:use :lisp :editor)) | |
(in-package "wandbox") | |
(export '(post-wandbox-region post-wandbox post-wandbox-string show-compiler-list show-compiler-options)) | |