draftcode

.class test
.super java/lang/Object

.method public static main([LString;)V
  .limit stack 10
  .limit locals 2
  iconst_5
  istore_1
loop:
  iinc 1 -1

draftcode

class Test {
  public static void main(String[] args) {
    Object[] array = new String[10];
    Object o = array[0]; // OK

    array[1] = new Integer(9); // Throw an ArrayStoreException.
  }
}

draftcode

father(naoyuki, hyogo).
father(saburo, naoyuki).
father(saburo, shinji).
father(yoshihisa, hisako).
mother(hisako, hyogo).
mother(yoko, naoyuki).
mother(yoko, shinji).
mother(nobuko, hisako).

parent(P, C) :- father(P, C).

draftcode

write_siki(X) :-
  atomic(X), write(X).
write_siki(X+Y) :-
  write_siki(X), write(' と '),
  write_siki(Y), write(' との和').
write_siki(X*Y) :-
  write_siki(X), write(' と '),
  write_siki(Y), write(' との積').

d(x, 1).

draftcode

arc(a1, v1, v2).
arc(a2, v2, v3).
arc(a3, v3, v4).
arc(a4, v4, v1).
arc(a5, v3, v5).

walk(U, U).
walk(U, V) :- arc(_, U, U1), walk(U1, V).

path(U, U, _, []).

draftcode

fact(0, 1).
fact(N, F) :-
  N > 0,
  N1 is N-1,
  fact(N1, F1),
  F is N*F1.

fib(0, 0).
fib(1, 1).
fib(N, F) :-

draftcode

first([X|_], X).
second([_,X|_], X).

nth(1, [X|_], X).
nth(N, [_|L], X) :-
  N > 1, N1 is N-1, nth(N1, L, X).

len([], 0).
len([_|L], N) :-
  len(L, N1), N is N1+1.

draftcode

delta(q0, a, q1).
delta(q1, a, q1).
delta(q1, a, q2).
delta(q1, b, q1).
delta(q2, b, q3).

ndfa(L) :- ndfa(q0, L, q3).

ndfa(Q, [], Q).
ndfa(Q0, [A|L], Q) :-

draftcode

class Holder {
  private int n;
  public Holder(int n) { this.n = n; }
  public void assertSanity() {
    if (n != n) {
      throw new AssertionError("This statement is false.");
    }
  }
}

draftcode

require 'formula'

class BinutilsXv6 < Formula
  url 'http://ftpmirror.gnu.org/binutils/binutils-2.21.1a.tar.bz2'
  mirror 'http://ftp.gnu.org/gnu/binutils/binutils-2.21.1a.tar.bz2'
  homepage 'http://www.gnu.org/software/binutils/binutils.html'
  md5 'bde820eac53fa3a8d8696667418557ad'

  def install
    system "./configure", "--target=i386-jos-elf",