下記を実現するための手順書。
- roswell(lisp実行環境構築ツール)を導入する
- slimv(VimにおけるSLIME)を導入する
- roswellとslimvでcommon lispをコーディング、実行するための設定をする
下記の順番に環境構築する。
nyango nyango
halcat0x15a
/ a-puzzle-a-day.prolog
Last active
July 1, 2021 12:20
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| :- use_module(library(clpfd)). | |
| piece(_, []). | |
| piece([_ | Frame], [[] | Piece]) :- | |
| piece(Frame, Piece). | |
| piece([[X | FrameLine] | Frame], [[X | PieceLine] | Piece]) :- | |
| piece([FrameLine | Frame], [PieceLine | Piece]). | |
| tail([], []). | |
| tail([_ | T], T). |
otaon
/ 000_how-to-construct-environment-for-common-lisp.md
Last active
July 23, 2022 08:52
vim と slimv と roswell と swank で common lisp を書く環境を作る
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Require Import List. | |
| (* A name defines a pair of channels. | |
| * We need countably many names, so we use nat. | |
| * | |
| * Denoted as "a", "b", "c", ... | |
| *) | |
| Definition Name := nat. | |
| (* A pair of channels looks like FIFO. |
matsu-chara
/ 共変反変説明選手権.md
Last active
May 17, 2017 10:10
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env ruby | |
| #-*- coding: utf-8 -*- | |
| =begin | |
| Auto wget image | |
| Copyright (c) 2014 Takuma Nakajima | |
| This software is released under the MIT License. | |
| http://opensource.org/licenses/mit-license.php |
aomoriringo
/ gist:7706985
Last active
October 19, 2021 21:59
任意画像の輪郭を数式に変換してプロットする (Mathematica ver.8)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* parameters *) | |
| (* 最大次数 *) | |
| maxOrderNum = 200; | |
| (* 画像URL, もしくはローカルパス *) | |
| imageURL = "http://nex.fm/wp-content/uploads/2012/08/vim-editor_logo.png"; | |
| pointListToLines[pointList_, neighbothoodSize_: 6] := | |
| Module[{L = DeleteDuplicates[pointList], NF, lambda, | |
| lineBag, counter, seenQ, sLB, nearest, | |
| nearest1, nextPoint, couldReverseQ, d, n, s}, |
alexjs
/ cors-nginx.conf
Created
November 28, 2012 22:42
— forked from michiel/cors-nginx.conf
Slightly tighter CORS config for nginx
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # | |
| # Slightly tighter CORS config for nginx | |
| # | |
| # A modification of https://gist.github.com/1064640/ to include a white-list of URLs | |
| # | |
| # Despite the W3C guidance suggesting that a list of origins can be passed as part of | |
| # Access-Control-Allow-Origin headers, several browsers (well, at least Firefox) | |
| # don't seem to play nicely with this. | |
| # |
