krtx

# coding: utf-8

require 'mechanize'
require 'pp'

agent = Mechanize.new
page = agent.get('http://www.fos.kuis.kyoto-u.ac.jp/~t-sekiym/classes/isle4/testcases.html')

number = 1

krtx

#!/bin/sh

vector=$1
border=$2

/usr/bin/gnuplot <<EOF

ismin(x) = (x<min)?min=x:0
ismax(x) = (x>max)?max=x:0
grabx(x)=(x<x0)?x0=x:(x>x1)?x1=x:0

krtx

module 5f where

postulate
  A : Set
  B : Set

postulate
  a′ : A
  b′ : B

krtx

module Z3 = ZZ3.Make (struct let ctx = Z3.mk_context [] end)

open Z3

let solve board =

  let cells =
    Array.init 9 (fun i ->
      Array.init 9 (fun j ->
        Symbol.declare Int (Printf.sprintf "%d%d" i j)))

krtx

291 126 -1
269 60 1
293 291 1
265 195 1
380 133 -1
294 211 1
170 156 -1
180 249 1
239 201 1
293 164 -1

krtx

require 'pp'
require 'set'

class Array
  def rotmin
    self.rotate(self.index(self.min))
  end
end

class Permutation < Array

krtx

;; '((1 . 2) (2 . 3) (3 . 1))
;; '((1 . 4) (2 . 3) (4 . 1) (3 . 2))
;; '((5 . 1) (4 . 2) (2 . 5) (3 . 4) (1 . 3))

(defun mapping (item g)
  (cdr (assoc item g)))

(defun normalize (g)
  (sort g #'(lambda (x y) (< (car x) (car y)))))

krtx

require 'mp3info'

dir = '/my/music/library/'

Dir::glob(dir + '*.mp3').each {|f|
  Mp3Info.open(f) do |mp3|
    t = mp3.tag.title
    title = t.slice(t.rindex('/') + 2, t.length)
    artist = t.slice(0, t.rindex('/') - 1)
    if title.index(' - ')

krtx

require 'pp'

str = 'a+b*c*(d+e)+f+g'

$idx = 0

def term(str)
  ops = []
  while $idx < str.length
    if str[$idx] == '('

krtx

#!/usr/bin/env ruby

require 'curses'
require 'RMagick'

Curses.noecho
Curses.init_screen
Curses.stdscr.keypad(true)
Curses.start_color
Curses.timeout = 0 # non-blocking getch