後輩が撮ってくれた動画をアップしました。

１、２回目は失敗、３回目探索走行でゴール、４回目のタイムアタックが２０秒、５回目のタイムアタックが１８秒で、１０位に終わりました。（優勝タイムは９秒台）

ラムダ式とベータ簡約を Intaraciton Nets で表現したとゆう論文を読んでみました。

原もたまには研究するんですよｗ(ﾟ×ﾟ*)ﾌﾟｯ☆

日本インクリメンタル・リサーチ社により開発されました。
パワーポイントファイルに現在のページを表すプログレスバーを挿入する VBA スクリプトです。

モナコグランプリでおなじみのローズヘアピンの写真。
ではなくて、国鉄田町駅にあるロータリーでした。

フラッシュの練習。ボタンを作れるようになったぞ。
頭悪そーなボタン（笑）

日本インクリメンタル・リサーチ社により開発されました。フリーなので収益０です。
どっちがサーバでどっちがクライアントで、っていう概念がない通信ライブラリです。
send(＜ホスト名＞, ＜ポート＞, ＜文字列＞)で送信、 recv()で受信できます。

ポイントはすべてのマシンで listen しておくとこ。
send するときはソケットがあればそれを使うし、なければ connect して作ります。

通常の通信プログラムだと、どっちが connect してどっちが accept するとかを含めたアルゴリズムを記述した上でソケットを管理することになりますが、本ライブラリを使うと通信経路は確保されているとの前提でホスト名とポートの組だけ管理すればよいので特に P2P 系を書く際に楽かもしれない。

Q: 文字列だけしか送れないの？ int とか送れない？
A: 文字列だけです。文字列だと目に見えるのでデバッグしやすいんです。 あと、scanf("%d", &v) より v=atoi(buf) の方がいいんじゃねぇって話に似たような所もある。 バイナリを送るときは MIME encode とか使うといいかも。

使い方：
	// 計算機 A で
	Net a = new Net(50101, 100);
	a.send("localhost", 50102, "Hello from a");
	a.recv();
	a.send("localhost", 50102, "Hello from a2");
	a.end();
	
	// 計算機 B で
	Net b = new Net(50102, 100);
	b.send("localhost", 50101, "Hello from b");
	b.recv();
	b.recv();
	b.end();

xgolgo をダウンロードしてコンパイルするスクリプトです。。
当然ですが X 関連のライブラリが入ってないとコンパイルできません。

使い方：
$ sh xgolgo-install.sh

日本インクリメンタル・リサーチ社により開発されました。
「ののぐらむ」（お絵かきロジック、マリオのピクロス...）の問題を入力してやると
それを等価な論理積標準形(CNF)の論理式に変換して出力する Perl スクリプト。
採用した CNF のフォーマットは SAT competition 2004 に書いてある。
でこれを SAT ソルバ zChaff に食わせて解いてやると、
(充足するなら)その変数割り当てが出てくるので解いたことになる。

という安直なアイデアで作ったのだけど、CNF への変換に指数時間が必要なのであった。
ののぐらむに対応する論理式
∧_L(∨_M(∧_Nvar))
（L : 縦横サイズの和、M : 各列の塗り方の総数、N : 縦or横のサイズ）
の形を CNF に直すと展開が必要になって
∧_L(∧_N^M(∨_Mvar))
ということで、5x5 とか簡単な問題でも 5000 個近い節ができちゃうのねん。
（変換しちゃえば、変数は 25 個しかないので一瞬で解ける。）
ふつーの 16x16 の問題とかだと変換が終わらない。。終わっている。

perl driver.pl < easy.txt > easy.cnf
zchaff easy.cnf

日本インクリメンタル・リサーチ社により開発されました。
emacs みたいに入力したそばからサクサク検索します。

日本インクリメンタル・リサーチ社により開発されました。
Usage : sh run
たとえばこんなのを食わせる。

日本インクリメンタル・リサーチ社により開発されました。
人気の高い順に

1. 秀丸でテトリス。
2. ギコネコの吹き出しを作る
3. 拡張インデントマクロ。javadocとか

作った動機が分からないけど。