grafi-tt

w, h = 200.0, 200.0
vertexes = [[130.0,80.0], [50.0,50.0], [60.0,140.0]]


def ext(a,b) 11*a-10*b end
lines = vertexes.combination(2).map do |(x1,y1),(x2,y2)|
  [[ext(x1,x2),ext(y1,y2)],[ext(x2,x1),ext(y2,y1)]]
end

ratios = [[1,0,0].permutation, [1,1,0].permutation, [4,-1,0].permutation, [3,3,-2].permutation, [5,-1,-1].permutation, [[1,1,1]]].map(&:to_a).flatten(1).uniq

grafi-tt

let rec f : 'c. unit -> ((unit -> 'a -> 'b) -> 'c) -> 'c = fun () k -> k g
    and g () k = f () (fun l -> l () k);;
f () (fun x -> x)

grafi-tt

        ||||||||||||||||||||||||||||||||||||||
||||||||-→

grafi-tt

Wikiに書こうとしたけど、オフトピな気がしたので。

課題出すやつは、ターミナルからコマンドを叩いて課題を提出するためのRubyスクリプトです。ブラウザでファイル選ぶのめんどいとか、ターミナルから出るのがめんどいとかあればどうぞ。

動かすにはRubyが動いて、ThorとMechanizeというライブラリが入った環境が必要です。rubygemsが使える環境で、
#highlight(sh){
gem install thor mechanize
}
をターミナルで実行すればいけると思います。Ruby1.9系、Ruby1.8系で多分動きますが、動かなかったらどこかにコメントください。サーバーに迷惑かもしれないので、あんまり極端な回数実行しないでください。同様に、サーバーの仕様が変わって使えなくなった気がするときは、あんまり繰り返し実行しないでください。

grafi-tt

import Data.Maybe (fromMaybe)

data TwoThreeSet a = Empty | One a | Tree (TwoThreeTree a)

emptyMap :: TwoThreeSet a
emptyMap = Empty

search :: Ord a => TwoThreeSet a -> a -> Bool
search Empty _ = False
search (One x) y | x == y    = True

grafi-tt

(define (position-of-highest-bit-32 n)
  (let ((m n) (v 0))
    (set! m (ash n -16))
    (if (not (= m 0))
      (begin (set! v (+ v 16))
             (set! n m)))
    (set! m (ash n -8))
    (if (not (= m 0))
      (begin (set! v (+ v 8))
             (set! n m)))

grafi-tt

	@names @display
	Scenarios: Some japanese names (ordinal names to weird cases)
		| name                              | first                   | von            | last                           | jr  |
		| 田中 花子                         | 花子                    |                | 田中                           |     |
		| たなか はなこ                     | はなこ                  |                | たなか                         |     |
		| タナカ ハナコ                     | ハナコ                  |                | タナカ                         |     |
		| {アリス} {鈴木}                   | {アリス}                |                | {鈴木}                         |     |
		| {山田} 太郎                       | 太郎                    |                | {山田}                         |     |
		| {山}田 {太郎}                     | {太郎}                  |                | {山}田                         |     |
		| 大君 ズム 慈恩                    | ズム 慈恩               |                | 大君                           |     |

grafi-tt

#!/usr/bin/env python2.7

import xml.etree.ElementTree as ET
from datetime import datetime, tzinfo, timedelta
import time
import cookielib
import urllib
import urllib2
import sys
import os.path

grafi-tt

require 'serialport'

sio = SerialPort.new("/dev/ttyUSB0", 9600, 8, 1, 0)

INSTS = {
  fadd: {
    op: 0x42,
    in: [4, 4],
    out: [4]
  }

grafi-tt

--- suda-bug.c	2014-07-15 03:32:15.950329411 +0900
+++ suda.c	2014-07-15 03:32:22.298329432 +0900
@@ -80,15 +80,19 @@
     case 0:
         amask_reg = _mm256_set_pd(one, one, one, one);
         rmask_reg = _mm256_set_pd(0, one, one, one);
+        break;
     case 1:
         amask_reg = _mm256_set_pd(0, 0, 0, one);
         rmask_reg = _mm256_set_pd(one, one, one, 0);