[B! codegolf] kgbuのブックマーク

kgbu id:kgbu

codegolfに関するkgbuのブックマーク (9)

anarchy proof -
Anarchy Proof This is a proof server. You can enjoy theorem proving here in several languages (one language). The list of all probl ems Create a new probl ems News return top
kgbu 2010/08/22
Coqを使って、投稿されたお題(命題)に証明をつけていく。

証明

coq

programming

codegolf

ネタ

puzzle

logic

lambda
リンク
TLE '10 - d.y.d.
09:37 10/02/28 PrezzProcezz TLEのPREP は、私のコードは縮める前がこんな感じで、 // println(X) #define p(X) X _Pragma("") // H = 百の位が… (a: 3で割って0余る場合、 b: 1余る、 c: ２余る) #define a(H) d(H 0) e(H 1) f(H 2) d(H 3) e(H 4) f(H 5) d(H 6) e(H 7) f(H 8) d(H 9) #define b(H) e(H 0) f(H 1) d(H 2) e(H 3) f(H 4) d(H 5) e(H 6) f(H 7) d(H 8) e(H 9) #define c(H) f(H 0) d(H 1) e(H 2) f(H 3) d(H 4) e(H 5) f(H 6) d(H 7) e(H 8) f(H 9) // HJ =
kgbu 2010/02/18
Time Limit Exceededというプログラミングコンテストの入賞者による解題

contest

event

programming

algorithm

puzzle

codegolf

optimize

あとで読む

ネタ

まとめ
リンク
るびま
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。最新号 Rubyist Magazine 0058 号バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号東京 Ruby 会議 11 直
kgbu 2009/12/15
今回で最終回。定石の8割くらいは説明し終えたとのこと。そして、その定石を越えたところを味わって欲しいとも。

codegolf

Ruby

programming

ネタ

あとで読む

quiz

puzzle
リンク
ゴルフ場のなかみ (そのに) 08:03 2009-11-28 - 兼雑記
最近ゴルフ場を新しいマシンに引越したので、前回の記述より色々とよくなった部分もあるので、それについて書いてみます。といっても sandbox についてだけですが。 http://github.com/shinh/ags/blob/master/be/modules/sandbox.c 新しい sandbox は、 arcus-judge のシステムのやってることをまんまパクった部分が多いです。 kernel いじっちゃうとメンテ大変そうだなーと思ったので module でやってるのと、全体的に色々雑なのが大きな違いです。 http://code.google.com/p/arcus-judge/wiki/ArcusSandbox kernel module での system call のフックは、 /boot/System.map-2.6.26-2-xen-686 を見て sys_cal
kgbu 2009/11/28
"新しい sandbox は、 arcus-judge のシステムのやってることをまんまパクった部分が多い"そうだ

security

kernel

linux

codegolf

webサービス

OS

programming

まとめ

あとで読む
リンク
Go Go!! - 兼雑記
Go をいじめてあそぶということなので行ってきた。大変たのしかった。いつもよくわからん面白イベントをやってくれている、 id:ranha さんにとても感謝。今後もやってください :) http://atnd.org/events/2115 ごにょごにょ遊んだ結果はこのへんに置いてある。 http://github.com/shinh/test/tree/master/go/ まずはゴルフ http://golf.shinh.org/l.rb?go 適当にやった。大変無駄な時間を過ごしたと思う。ゴルフの感覚としては D に近いなぁと思いました。標準入力が手軽に取れなさすぎてだるい。 scanf 欲しいよなぁ。マジメに考えると /usr/include/pcrecpp.h ってのはぐぐるのライブラリとして大好きなインターフェースの一つなのだけど、こいうのがあまりできそうにない言語仕様は残念だな
kgbu 2009/11/17
Go

programming

hack

codegolf

programming language

並列処理

erlang

google

event

あとで読む
リンク
http://atnd.org/events/2115
kgbu 2009/11/17
Goの秘孔を突いて遊ぶ会だったらしい。

Go

google

programming

programming language

event

codegolf

cracking

hack

ネタ
リンク
ゴルフ場のなかみ - 兼雑記 (2009-09-29)
最近ゴルフ場を新しいマシンに引越そうとしていて、ついでなのでシステムをもうちょっと丁寧にパッケージ化しようとしてます。そのついでとして、現在のゴルフ場について内部がどうなってるか、ということを少しまとめてみようと思いました。結構似たようなことをするサービスもあるんですが(codepadとかllevalとか)、そのへんのコードとかは全く参考にしてないので、そういうのを見た方がいいかもしれませんし、あとゴルフ場固有の事情も色々あったりするかもしれません。まぁでも日本語でそのへん書いてるのはあんまり見たことがないので、多少参考になる部分もあるかもしれません。今作業中のコードは github に入れていっています。 apt で入らないパッケージの処理以外はだいたい入ってるはずですが、まだ足りないものとかあるかもしれません。 http://github.com/shinh/ags システム自体は
kgbu 2009/09/29
まとめ

ネタ

サーバ構築

サーバ管理

xen

security

kernel

linux

codegolf

あとで読む
リンク
ActionScript100行でゲームを作れ - ABAの日誌
結論：あまり現実的でないいや一応チャレンジはしてみたのだが。 WallAll (http://wonderfl.kayac.com/code/165579b698f8fc0bb6cbec718b4952dcbb6dd74e) これで100行。コメント除くと90行なので後10行使えるとしても本当に短いな。ゲーム本体以外のロジックに半分は食われてしまうのでなんともきつい。まあでもプログラムポシェットの一画面プログラムと同じくらいの難易度かな。要はもうちょっとゲーム自体のアイデアを考えましょうということだな。ゲームライフサイクル部分を簡易化できると本体に行数が割けるので、 100行でゲームっぽいもの (http://wonderfl.kayac.com/code/ba0592e0c5744ff2f6c94285f3f58f4d3aa92cf9) これみたいに再プレイにはリロードしてね！ってい
kgbu 2009/02/03
ActionScript100行でゲームを作る：kayacのwonderflというサービス上でsourceがshareできるのは楽しいと実感させてくれるお題。shinhさんのトラックバックも注目

flash

kayac

contest

programming

game

ネタ

codegolf

actionscript
リンク
http://shinh.skr.jp/dat_dir/golf_prosym.pdf
kgbu 2007/09/26
golf

codegolf

tips

まとめ

おもしろい

programming language

programming

optimize

bad knowhow
リンク
1