超雑にまとめました。修正してください。
登場人物
- アプリケーション先輩: いつも忙しい。横に広がるのが得意(デブじゃない)。
- 後輩: 頼んでばっかしで役に立たない。
- サーバー先輩: アプリケーション先輩と仲がいい。Unix Socket でつながるくらい仲良し。
- プロクシ先輩: アプリケーション先輩とかサーバー先輩と後輩の間を取り持って代わりに伝えたりしてくれる。たまに勝手にレスポンスを書き換える。
# | |
# 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. | |
# |
(* 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}, |
#!/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 |
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. |
:- 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). |