はじめてのにき

_ PKU1008

それなりに苦労して作った

char*n[]={
    "imix","ik","akbal","kan","chicchan","cimi",
    "manik","lamat","muluk","ok","chuen","eb","ben",
    "ix","mem","cib","caban","eznab","canac","ahau"
};
main(d,y,m){
    for(puts(gets(y));~scanf("%d.%s%d",&d,&m,&y);
        printf("%d %s %d\n",d%13+1,n[d%20],d/260))
        d+=y*365+20*(
            m%21?m%7?m%99?m%9?m%80?m%24?m%8?m%5?m%4?m%13?m%17?m%59?m&20?m&10?
            m%6?
            m%2?
            m%9-4?14:7
            :3
            :m%5-4?10:2
            :18:16:11:1:13:4:12:15:5:0:6:8:9:17);
}

が通らないみたいだ。悲しいね。 リトルエンディアンだからいいと思うんだけどねぇ。

というかエンディアンもクソもなく通ってなさげ。 おっかしいいなーーー

(01:08)

_ tcc -run で運用してるとか

http://blog.livedoor.jp/nipotan/archives/19105951.html

(02:49)

_ ぼんやり

メシを買いにでかけたが、コンビニで気付いた。 夕飯はすでにたべていた。

しかしたらすぱが喰いたかったので買ってしまった。

たらすぱはおいしくなかった。

あたためる時、「レンジの使用はセルフです」と書いてあった。

うちのエレベータは2基ある方と1基あるところがあって、 2つある方は1階と9階に、1つの方は1階に止まっていると思う。 1階で待機するのは合理的だとして、なんで9階かなと思い。 12階だてなので、一番待たせる平均時間の少ない場所は 8階か9階のどっちかだと思う。 この中で9階が選ばれる根拠はというと、 1階までに下りるワーストケースを短くしてるのかなぁ (9-12-1と8-12-1の経路を比較)、 とか思ったけど、ただ適当なだけかもしれないし、 はまじくんのために気をきかせてくれてるだけかもしれない。

2つの方は少し遠くて、1つの方は近い。 上がる時、 昼だと2つの方を利用した方が待ち時間少なめだけど、 夜なら1つの方はたぶん1階に戻ってきてるだろうと 思って1つの方に行くわけだけど、 どう見ても6階で待機してて、これはなんなのかなぁと。 実は自動で1階には行ってなくて夜は下りる人が 上がる人より多いから勝手に下に行ってた説は 棄却したい気分というか昼も1階でよく見る気がするので、 なんらかの理由で移動した後はしばらく待機するとして、 それは次に呼ばれる可能性があるので、 逆方向に走り出したけどやっぱ戻るぜー みたいなマヌケな事態を回避するために、 一定期間待機してしばらく客がいなかったら1階で待機、 みたいな戦略かなぁとか。

とかいうことを年中考えてるのは 思考力の訓練になるとか盲信しているけど、 それはどっちかというと ただの自分がやってることは悪くはないに違いないと とりあえず思ってしまう、プログラマによくありそうな やつかもしれないなぁとも思う。

なんにせよ自転車こいでる時とかは やめないと死ぬと思う。

(03:08)

_ sedで

ループが書けるようになってしまったよ…

(05:33)

_ bf2asm

l=65;*s;
main(c,v){
    s=v;
    for(puts(".text\n.global main\nmain:pushl %ebp;movl %esp,%ebp;movl %esp,%esi;subl $999,%esi");
        c=getchar(),~c;){
        c-62?
        c-60?
        c-43?
        c-45?
        c-44?
        c-46?
        c==91?
            printf("%cB:cmpl $0,(%%esi);je %cE;",l,l),
            *s++=l++
       :c==93?
            v=*--s,
            printf("jmp %cB;%cE:\n",v,v)
            :0
            :puts("pushl (%esi);call putchar")
            :puts("call getchar;movl %eax,(%esi)")
            :puts("decl (%esi)")
            :puts("incl (%esi)")
            :puts("decl %esi")
            :puts("incl %esi")
            ;
    }
    puts("leave;ret");
}

適当に書いておく。

(06:58)

_ 上のはバグってるよー

せめて addl $4,%esi だろうとこのバカ。

(09:23)

_ もうエルフヘッダも知ってるわけだしね

うーんなんか直接バイナリ吐くとかもできそうな気がするなぁ。

と思ったけど jmp の距離を計算できないか。

(09:26)

_ 本当にアドレス計算ができないかというと

なんかできる気もするなぁ…

(09:29)

_ 口内炎が痛くて

sed のことしか考えられない

から論文進んでません

という言い訳はどうか

(11:56)

_ しかし

Camlp4 すばらしすぎるなぁ。 はよ覚えねば。

しかし sed が誘惑してくる

というか論ぶ

(18:10)

_ ときかけ

が面白い理由を考えてみる会。 いわゆるネタバレなのでなんか消しておこう。

(18:31)

_ それだけじゃあんまりなので

今度は僕が気に入らなかった点を書いてみよう。 どうでもいいけどw3m使いは普通に見れるね と思ってコメントにしてみるとテスト。

(18:50)

_ あーそりゃそうだなー

mmap

(23:03)

_ ちょうど10歳下が

Haskellで一応使えるFORTH処理系を書いてしまったという事実

(01:17)

_ 月面でぼよーん

http://web.kyoto-inet.or.jp/people/ray_fyk/diary/dr0010_3.htm#001026

via http://gusmachine.blog49.fc2.com/blog-entry-70.html

(01:46)

_ webにある場合

-dtypesの出力も置いておけば JSで綺麗に表示させるとかほげほげ。

(03:26)

_ メモ

http://pc8.2ch.net/test/read.cgi/tech/1158259643/47

obj method(arg1, arg2)

みたいな時の obj と method が実質演算子になっているというのと、

つかふと思ったけど Io の 引数書かないでおいてほげほげーってヤツは あれまさに呼び出し側から見えない lazy だなと。

(03:37)

_ あれ

http://www.jmuk.org/d/?path=2006/09/18#d18t01

D の lazy ってメモ化とセットになってるような意味での 遅延評価をやらせるための機能なんだろかとふと。

(03:40)

_ メモ化をメモ化

すれば再帰関数をなんとかできるんじゃないか… とか思ったんだけどなんかダメな気がする。

class memo_t(T) {
    alias rettype!(T) RT;
    alias argtype!(T) AT;
    this(T t) {
        fp_ = t;
    }
    RT opCall(AT a) {
        if (a in memo_) return memo_[a];
        return memo_[a] = fp_(a);
    }
private:
    T fp_;
    RT[AT] memo_;
}
memo_t!(T) memo(T)(T t) {
    return new memo_t!(T)(t);
}
class memo_mt(T) {
    this(T t) { m_ = memo_memo_(t); }
    rettype!(T) opCall(argtype!(T) a) { return m_(a); }
    static memo_t!(memo_t!(T) (*) (T)) memo_memo_;
    static this() {
        memo_memo_ = memo(&memo!(T));
    }
    memo_t!(T) m_;
}
memo_mt!(T) memo_m(T)(T t) {
    return new memo_mt!(T)(t);
}

ちなみにテストはされてない。

(04:55)

_ というか反省しなさい！

• 送ったメールはスパム
• 7時とかに起きたのに遅刻
• 待合わせ場所を見てない(メール3通も気付いてない)
• 言おうと思ってたけど言い忘れてたことが散見
• 何百度と通ったであろう道で迷う
• 眠い

なんかロクでもないじゃないか

(05:24)

_ let web f =

print_string "Web"; ikunai () in web ikunai

と言いつつメモ

http://tabesugi.net/memo/cur/cur.html

つまりメモ化に限らず 再帰関数に別の関数をかますには いじりたい関数がすごいいい形をしてるか、 あるいは duck typing な感じの 型付けの無い言語じゃねえとなぁみたいな。

でも D はなんとかできる気はする。 あ、 functor を基底にすりゃいいのか。 つーか Boost.function がそれだっけ覚えてにええ。

(14:04)

_ そろそろかなあ

http://icfp06.cs.uchicago.edu/schedule.html

(15:01)

_ PKU

http://dem.dyn-o-saur.com/ が最初から解いてくとか 始めてたので僕もやっている。 コードはほどほどに縮めつつ。

今1008まで。 1008縮める方針は想像つくけどめんどいなーとか。

1005はひどい事実 (http://d.hatena.ne.jp/Ozy/20060323#c1158512539) があるぽいから123Bとかになってるのな…

1007はトップみたいだ。 1001もCだとトップ。 どっちも適当だから誰かがやればすぐ追いつかれるだろうな。

(21:29)

_ 世の中には

• 速いマシンで速いコードを書くことに価値がある人間
• 遅いマシンでも速いコードを書くことに価値がある人間

がいるんだけど、前者の方がロマンがある。 でも実はそんなことはどうでもよくて、 なぜかというと、

• 速度とかどうでもいい人間

が大多数だから

(22:41)

_ 一方僕は dumper を使った

みたいな。

http://d.hatena.ne.jp/shinichiro_h/20051225#1135499616

ごくたまに存在を思い出して使うけど割に便利なこともあったりはする。

(23:55)

_ 怒られチッタ

i@u ~/test/ruby> cat fun_cl.rb
def hoge
  class C
  end
end
i@u ~/test/ruby> ruby fun_cl.rb
fun_cl.rb:2: class definition in method body

(00:04)

_ Haskellのバックドアも

心動くような。

k.inabaさんの説明 http://www.kmonos.net/wlog/65.html#_1549060908 で突然 unsafePerformIO が素晴らしいものに思えたとか。

Haskell はもう <- が。まぁ僕は

23:47 >i< いやHaskellはパズルゲームじゃないの

とか言ってるわけだが。

結構面白いゲームな気はしますけどね。 無限リストゲームとかポイントフリーゲームとか。

あ、

23:50 >i< Haskellはパーサを書く場合のみ実用品ですね

とも。

IOモナド一個も出てこなくて ghciで実行結果確認するようなコードが一番こう Haskellいいなぁと思うとかなんか。

(04:02)

_ DSL

let (>+++++++++[<++++++++>-]<.>+++++++[<++++>-]<+.+++++++..+++.[-]>++++++++[<++++>-]<.>+++++++++++[<+++++>-]<.>++++++++[<+++>-]<.+++.------.--------.[-]>++++++++[<++++>-]<+.[-]++++++++++.) = print_endline "Hello world!"

とか書こうとしたけどダメだった

(11:56)

_ やわらかHaskell塾

map (\x -> x*x) [1,2,3]

リスト内包表記になおして下さい！

[x*x | x <- [1,2,3]]

みたいなのを解いていく。

(12:05)

_ じゃんけん2.0

Ruby vs gawk と Rotate が同時に負けてるのは当然だよね… gawk は uniq かかってるんでしょ…

(13:30)

_ heap

実装したことないデータ構造があるのはよろしくないので実装しておいた。

h[10000];
s,t,n;
main(i){
    for(i=100;--i;)
        for(h[n=s++]=rand()%100+1;h[n]>h[n/2];n/=2)
            t=h[n/2],h[n/2]=h[n],h[n]=t;
    puts("before");
    for(i=0;i<s;i++)
        printf("%d\n",h[i]);
    puts("after");
    for(;s--;printf("%d\n",h[0]))
        for(h[n=0]=h[s];
            i=n*2+(h[n*2]<h[n*2+1]),i<=s&&h[n]<h[i];n=i)
            t=h[i],h[i]=h[n],h[n]=t;
}

ヒープソートってこんな感じだよね。

(15:01)

_ camlp4 には cpp の # があるのか無いのか

それが問題だと思う。

(18:00)

_ 特異メソッドは特異らしい

http://jp.rubyist.net/magazine/?0002-WCNewsPaper

(18:03)

_ cpp

http://alohakun.blog7.fc2.com/blog-entry-459.html

普通にこういう話じゃないのかしら。

i@u ~/test/ocaml> cat maj.def
DEFTSUHAI(0, ton, "東")
DEFTSUHAI(1, nan, "南")
DEFTSUHAI(2, sya, "西")
DEFTSUHAI(3, pe, "北")
DEFTSUHAI(4, haku, "白")
DEFTSUHAI(5, hatsu, "撥")
DEFTSUHAI(6, chun, "中")

i@u ~/test/ocaml> cat cpp.ml
#define DEFTSUHAI(n, e, s) let e = n;;
#include "maj.def"
#undef DEFTSUHAI

#define DEFTSUHAI(n, e, s) s;
let id2str = [|
#include "maj.def"
|];;
#undef DEFTSUHAI

let _ =
  print_endline id2str.(ton);
  print_endline id2str.(haku);

i@u ~/test/ocaml> gcamlopt -pp "cpp -P" cpp.ml
i@u ~/test/ocaml> ./a.out
東
白

(20:31)

_ ほどほどに

http://acm.pku.edu.cn/JudgeOnline/problemstatus?problem_id=1007&orderby=clen&language=-1

(23:55)

_ なにやら衝撃的なことが…

i@u ~/test> ./hello\ world\!                                       ~/test 18:21
                            ↑今カーソルがここにある

ここでリターンをポチっとなー。

i@u ~/tsst> ./hello\ world\!
i@u ~/test>                                                        ~/test 18:22

いくら結果不定とはいえそんなとこに出力する子は始めて見たよ…

test が tsst になってるという話だが

(18:23)

_ コンパイル終わらなかった経験

確か bjam とか終わらなかったような。 bjam 使った物体が終わらなかったような気も同時に。

(18:30)

_ 普通にあったぽい

http://flex.ee.uec.ac.jp/texi/emacs-jp/emacs-jp_31.html

C-u C-SPC

(18:39)

_ gbeta

http://www.daimi.au.dk/~eernst/gbeta/?

JSでは全くリンクが辿れない

(18:42)

_ JSじゃねー

w3m ではまったく

のまちがい。はよねろ。

(18:42)

_ MAXQ

http://japan.maxim-ic.com/products/microcontrollers/maxq.cfm

あーハーバードアーキテクチャなのかー。 なんかそらそうかチックだけどなるほどみたいな。

http://japan.maxim-ic.com/appnotes.cfm/appnote_number/3222

んでこれかー。

すげーすげー

すげー

(18:52)

_ スパム撃退法兼誤スパム認定防止法

メールアドレスと一緒に、スパム認定されないための キーワードを書いておく。 例えば hamaji _at_ nii.ac.jp (浜地を含まないメールは全てスパム扱いします) とかそんな感じとか。

(19:26)

_ つかcfmってなんやねんと思うと

http://www.creators.ne.jp/dictionary/extension/c.html

ほえー。 組み込み屋が使うようなものなのだろうか…

(19:32)

_ 失業保険をもらうために就職する

というアイデアはすばらしいなぁと。

http://www.1sitsugyou.com/

(19:44)

_ 御社を志望した理由は

失業保険が欲しいからです

(19:46)

_ フェルマー

http://d.hatena.ne.jp/nuc/20060902/p5

どう応用してどういう結果が出たんだろ…

(03:31)

_ と、いうか

なんで7*7*7でできるんだろ。

(03:34)

_ サイズ1の立方体がからむ場合は

13^3 = 1^3*955 + 3^3*46
14^3 = 1^3*752 + 2^3*249
28^3 = 1^3*960 + 8^3*41

これ以降はなんか全然見つからん。

(03:47)

_ 10000^3 までの範囲にはたぶん

無い…

眠いかミスってたりとかするかもだが。

100000はやってみるもなかなか帰って来んな。

(03:51)

_ ここまでブルートフォース

したのはすごいなぁ…

http://d.hatena.ne.jp/nuc/20060902#c1158334826

(03:51)

_ u3

謎のダウン。ukが生きてるのにu3だけとか不審すぎ。

• アタック受けたとか
• 普通に死にかけとか

(10:36)

_ Python

http://d.hatena.ne.jp/shinichiro_h/20060910#1157819458

誉めポイントを書き忘れてたから追記した。

(12:34)

_ ckpt

http://www.cs.wisc.edu/~zandy/ckpt/

あーこれ undump だ…

(00:06)

_ rlwrap が便利すぎるわけで

うーん。 あー。

なんか頑張れば gets とかそのへん hijack すれば 自動的にできないかな。

(00:55)

_ OCaml

なんか書いてて楽しいんだよなぁ。 なんでやろ。 ある程度理由はわかるが。

• 着実に進む感じ
• あんま慣れてない
• 再帰は楽しい
• 副作用が書ける
• option型がいい、というかパターンマッチの良さがやっとわかった
• やっぱ簡単なプログラムだと型書かんでいいのはいい
  • というか型書かずにプログラム書ける気しないとおっしゃってた k.inaba さんはややこいコードばっか書いてるのでわ、とか。

でもデータ構造の作り方がイマイチよくわからん。 ていうか OO 以外のデータ構造の作り方できんというか。

んでなぜか麻雀の上がり判定など。 もっと面倒かと思ってたんだけど案外簡単なんだな。 syuntsu がひどいとか List.append は遅いらしいとか色々あるけど。

http://shinh.skr.jp/t/agari.ml

あとは役の判定と点数計算とシャンテン数計算かねー。

(02:04)

_ プロファイル取ってみた

camlPervasives__$40_166 ってなんやねん。

time   seconds   seconds    calls  ms/call  ms/call  name
22.22      0.06     0.06   592016     0.00     0.00  camlPervasives__$40_166
18.52      0.11     0.05  1271000     0.00     0.00  compare_val
 7.41      0.13     0.02   238000     0.00     0.00  camlAgari__v2p_93
 7.41      0.15     0.02   135005     0.00     0.00  camlList__sort_295
 7.41      0.17     0.02      581     0.03     0.03  caml_oldify_local_roots

(02:27)

_ ref への代入じゃないかなとか予測

(02:30)

_ ハズレだった

(02:37)

_ たしかに

agari_patterns というかその inner に一瞬型書いた記憶が。 というのはコンパイルエラーの意味がよくわからなかったので… たしか

let rec inner te headed (cur : pai list list) =

とかとあとどっかもう一箇所入れた気が。 なんとなく1つだけ型残ってるのが気持ち悪かった上に 一度コンパイル通っちゃったらもう別に型いらないよなぁ とか思って消しちゃったわけですが。

(12:46)

_ ふつける読書会

ぬーん行きたかったなぁ。 最近確実に予定にかぶってる。

(12:47)

_ 役

type yaku = TSUMO | RICHI | IPPATSU | PINHU | TANYAO | IPEKO | HAKU | HATSU

とか書き始めて思ったけど、 これはダメな気がする。

だって enum みたいなもんですと言ってるけど数値にできないような。

| TSUMO -> "門前清自摸和"
| RICHI -> "立直"

みたいなのは型安全だろうがなんだろうがなんかイヤだ。

type tsuhai = E | S | W | N | H | T | C

もダメだなぁと思いながらやってたわけだが。

範囲型か。 Ada がえらいのか。

(13:05)

_ というより

普通の整数でいいんだけど。

僕大人だから範囲外の数値入れたりしないよ。

(13:06)

_ ボク大人だから！

# type tsuhai = E | S | W | N | H | T | C;;
type tsuhai = E | S | W | N | H | T | C
# (Obj.magic T)-(Obj.magic E);;
- : int = 5

こうしてもいいよね！

(13:36)

_ ssh

開けるの忘れてたや

(14:42)

_ 学術総合センター

National-Center-of-Science らしい。なんでや

(14:46)

_ PKU1001

http://acm.pku.edu.cn/JudgeOnline/problemstatus?problem_id=1001&orderby=clen&language=1

多倍長処理とかめんどいね。

(18:27)

_ ぜんぜん

やるきおきない。

(18:43)

_ Javaに全然勝てんがな

http://acm.pku.edu.cn/JudgeOnline/problemstatus?problem_id=1001&orderby=clen&language=1

(21:11)

_ shinh.dyndns.org

ふっかつ

何をもって復活と言うのかは忘れたけど、 SVNは動いてるくさい。

(00:12)

_ x86_64

shinh@cf-amd64-linux:~> cat hoge.c
#include <stdio.h>
void hoge() { puts("hoge"); }
shinh@cf-amd64-linux:~> gcc -shared -o hoge.so hoge.c
/usr/lib64/gcc-lib/x86_64-suse-linux/3.3.1/../../../../x86_64-suse-linux/bin/ld: /tmp/ccaYZHDk.o: relocation R_X86_64_32 can not be used when making a shared object; recompile with -fPIC
/tmp/ccaYZHDk.o: could not read symbols: Bad value
collect2: ld returned 1 exit status

そういうもんなんか…

(00:47)

_ よーわからんが

http://shinh.skr.jp/m/?date=200503

あたりが表示できんくなってたのでパッチ。

defaultio.rb の

                                               diary = eval( "TDiary::WikiDiary::new( headers['Date'], headers['Title'], body, Time::at( headers['Last-Modified'].to_i ) )" )
                                               #diary = eval( "#{style( style_name )}::new( headers['Date'], headers['Title'], body, Time::at( headers['Last-Modified'].to_i ) )" )

よーわからんが動く。

(01:28)

_ あー

x86_64 が PIC だらけになるのはわかるけど、 OSX もかー…

http://d.hatena.ne.jp/w_o/20060913#p3

(01:30)

_ すごい面白かった

> ここらへん

さてなんか2つにわけた理由というのは 今はもう正確に思い出せないけど今現在の理由としては

• はてな重い
• はてな重い
• SNRを分けると書きやすい

まぁみっつめ以外はどうでもいいとして。 どうでもいい僕の日常とか見たい特殊な人は こっち見てもいいよ でも基本的に技術的に面白いことあったら はてなの方に書くよ的な。

どうでもいいけどはてなアカウント二つ操作するのは とてもめんどくさそう。

まぁこういうメモをポンポン置けるのは便利

(04:13)

_ でも最近

500出て弾かれるんだよな。

500出た場合は再送するように メールフィルタの方でやっておくかなぁ…

(04:14)

_ おお

本当に あたらしいのが ある

http://packages.debian.org/unstable/libdevel/libestraier-dev

(04:18)

_ 斜陽

に反対する人がいるのかー

http://d.hatena.ne.jp/yaneurao/20060913#c1158168608

(04:20)

_ いい加減マジメに追ってみるといい

僕はインストラクションセットとか見てても何もわからん。

shinh@cf-amd64-linux:~> cat hoge.c int main() {

 puts("hoge");
 puts("hoge");

}

以下略。

なんだ普通じゃん。つーことはコードのバグだ。 オケオケ。

jmpq *12345678(%rip)

みたいな命令は、 12345678 は単なる 32bit の物体で、 実行前にリロケーションされるんだけど、 その先に 64bit のアドレスがえーと

0x500820 <_GLOBAL_OFFSET_TABLE_+16>:    0x955610e0      0x0000002a

まぁこんな感じで置いてあるので、 0x0000002a955610e0 に飛ぶ… って普通に間接ジャンプしてるだけじゃん。

(04:50)

_ 勝手に決めてるよ！

> 9.17

(04:52)

_ スタックを喰いつぶせー☆

int main(int argc, char *argv[], char *envp[]) {
    int i;
    char buf[4096];
    void *fp = fopen("/proc/self/maps", "r");
    while (fgets(buf, 4095, fp))
        printf("%s", buf);
    for (i = 0; i < 10000; i++) {
        printf("%d %p %p\n", i, argv[i], &argv[i]);
    }
}

なんか毎回全然違うな。 またなんかセキュリティ関係でありがたい^H^H^H^H^H余計なことされてるんだろうか

普通と逆の表現のしかたをしてみた

まぁわかることはえらい広いということだなぁ。

(05:10)

_ 810

(15:41)

_ 金

驚くほど無くなってた。

15万とかそのくらい。

先月の給与無いこと考えるとまぁしばらくはもつが。

TODO: 節約

(18:07)

_ OCaml

関数内で、ループのために let rec な関数を もう一個書くことがよくあるけど、 これにつける名前で悩む。 元の関数と同じ名前が一番自然だったりしてね。

k.inabaさんが Python でやってた _ はいいなと思ったけど OCaml にはおこられた。

• hoge: 長い
• x: 変数とかぶりそう
• 関数と同じ名前: 混乱しそう、長い
• 関数と同じ名前に _ をつける: 長い

むー？

http://ocaml.jp/archive/document/intro1.html

iter ねぇ…

むー。

__ はいいらしい。 むしろなんで _ があかんねん。

# let _ x = x;;
Syntax error
# let _ = 1;;
- : int = 1

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-05w/mltext/ocaml003.html#toc6

ここの変数の名前にだめと書いてあるなぁ。

_' とか…

(18:45)

_ むしろ

lazy でバグ出す関数書くの難しいような。

そりゃ故意にやればできるだろうけどね…

(21:24)

_ 何故か鍵が見つからなくて

2000円奪還失敗… ついでに5000円寮費無駄に払ったくさい。

なんでやねん。

(21:25)

_ まぁ

ロクでもないことばかりだけど気分が悪くないのは 好きな季節だからだろう

(21:26)

_ emacsfs

https://www.codeblog.org/blog/jet/20060914.html#p02

(21:27)

_ あれ

OCaml のコンストラクタって関数として扱えないのかしらん。

# type t = A of int | B of int;;
type t = A of int | B of int
# let x = A;;
The constructor A expects 1 argument(s), but is here applied to 0 argument(s)

(22:17)

_ variant の比較

# type t = A of int | B of int;;
type t = A of int | B of int
# a = A 1;;
Unbound value a
# let a = A 1;;
val a : t = A 1
# let b = A 1;;
val b : t = A 1
# a == b;;
- : bool = false

そうなのね… んーと。

(22:55)

_ ファッキュー

http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/traps.html#equality

だった。 つーか忘れすぎ。

(22:56)

_ さいき

let x =
  let rec x' v =

とかが良さそうだわー

(23:36)

_ マジレスしてる人はいるだろうか

http://tinyurl.com/ghfov

(02:22)

_ C言語でリフレクション入門

なんか入ってないと気付く。

と思ったらイントロに行ってたらしい。

あとセクションうんぬんはなんかWebに書こうかなぁ…

(02:46)

_ SKK

SKKというか、PCで文字入力するのに慣れすぎてるせいだと思うんだけど、 バイナリと手で書こうとして、bin と書き始めていた

SKKだと /binary なので

(02:51)

_ それC

それPlaを見てて、

「Wiki を Ruby で作りたいんですが〜」

「それ C でもできるよ」

「C でのやり方を聞いてるんじゃないです！＞＜」

っていうのを考えてたんだけど、 そのそれCの部分で適当に C で 7行くらいで書いた Wiki とか はろうと思ったんだけど、 Wikiめんどくなってやる気失せた…

正規表現無しで作るもんじゃないなぁ…

(04:12)

_ writeelf

ていうコマンドを思いついた。

実装めんどいけどやってみるのも面白いかなぁ。

(13:59)

_ きもえ

(15:46)

_ 999でダメなら

おっしゃる通り99にすれば、 使うバッファ狭くなりますしセグらないと思いますよ。 envp壊しまくりでしょうから、環境変数の数に依存してると思います。

i@u ~/test> cat tail.c
d=10;main(i,b){for(;gets(++i%d*99+b););for(;d--;)puts(i++%10*99+b);}
i@u ~/test> gcc tail.c
tail.c:1: 警告: データ定義が型や記憶クラスを持っていません
/tmp/cciy87bP.o: In function `main':
tail.c:(.text+0x3d): warning: the `gets' function is dangerous and should not be used.
i@u ~/test> diff =(dmesg|./a.out) =(dmesg|tail)
i@u ~/test>

99でも395Byteも入りますしねぇ

(21:01)

_ 25x25

http://www.geocities.jp/takinogawa001/hint25/25HINT273.htm

(21:17)

_ ムダ足じんせい

ミッション

• 退寮する: 失敗
• 転出する: 失敗
• 自転車回収: 成功
• 帰還: ひどく迷った

(21:19)

_ 光が来た

ひかりーひかりー

(22:01)

_ shinh.dyndns.org

全壊

(22:04)

_ PPL

LL Ring よりよっぽど行きたいような内容だったんじゃないかなぁ、とか。 こういうアカデミックな内容知る機会全然無いんだよなぁ。

(23:27)

_ shinh.dyndns.org

121.1.133.104 に挿し替え。 dyndns.org はありがたいなぁ…

(23:27)

_ PPLは

見た感じとても行きたかったのだけど 用事とかで断念してしまったのであった。

(12:47)

_ マンガ

のだめの最近のを読んで、シガテラ読んで。

どちらも面白かった

(13:17)

_ woさんが言ってたのは

void hello() {
    int h[4];
    h[0] = 'lleH';
    h[1] = 'ow o';
    h[2] = '!dlr';
    h[3] = '\0\0\0\n';
    write(1, h, 13);
    exit(0);
}

とかすれば rodata 消せるって話か…

(02:30)

_ 常識的な範囲で短いHello world!

	.section	.text
	movl	$1, %ebx
	movl	$.LC0, %ecx
	movl	$13, %edx
	movl	$4, %eax
	int	$0x80
	decl	%ebx
	movl	$1, %eax
	int	$0x80
.LC0:
	.string	"Hello world!\n"

で300Byteだった。

(02:52)

_ なんか以前もやった気がするなぁ

	.section	.text
	xorl	%ebx, %ebx
	incl	%ebx
	movl	$.LC0, %ecx
	movl	$13, %edx
	movl	$4, %eax
	int	$0x80
	decl	%ebx
	xorl	%eax, %eax
	incl	%eax
	int	$0x80
.LC0:
	.string	"Hello world!\n"

(02:58)

_ 284Byte

	.section	.text
	leal	13(%eax), %edx
	incl	%eax
	leal	4(%ecx), %ebx
	movl	$.LC0, %ecx
l:
	xchg	%eax, %ebx
	int	$0x80
	jmp	l
.LC0:
	.string	"Hello world!\n"

あとはヘッダをほげほげとかしか無いんだろうけど、

うーんすげえんだよなぁ。

http://osask.jp/boyaki04.html

http://home1.catvmics.ne.jp/~msy/tak/alg/minhello.htm

(03:22)

_ 116Byte

0000000 7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00  >.ELF............<
0000020 02 00 03 00 01 00 00 00 54 00 00 00 34 00 00 00  >........T...4...<
0000040 54 00 00 00 00 00 00 00 34 00 20 00 01 00 28 00  >T.......4. ...(.<
0000060 00 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00  >................<
0000100 00 00 00 00 74 00 00 00 74 00 00 00 07 00 00 00  >....t...t.......<
0000120 00 10 00 00 8d 50 0d 40 8d 59 04 b9 65 00 00 00  >.....P.@.Y..e...<
0000140 93 cd 80 eb fb 48 65 6c 6c 6f 20 77 6f 72 6c 64  >.....Hello world<
0000160 21 0a 00 00                                      >!...<

(04:23)

_ まだ余裕で縮むけど…

0000000 7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00  >.ELF............<
0000020 02 00 03 00 01 00 00 00 44 00 00 00 2c 00 00 00  >........D...,...<
0000040 54 00 00 00 00 00 00 00 34 00 20 00 01 00 00 00  >T.......4. .....<
0000060 00 00 00 00 00 00 00 00 00 00 00 00 6c 00 00 00  >............l...<
0000100 6c 00 00 00 8d 50 0d 40 8d 59 04 b9 55 00 00 00  >l....P.@.Y..U...<
0000120 93 cd 80 eb fb 48 65 6c 6c 6f 20 77 6f 72 6c 64  >.....Hello world<
0000140 21 0a 00 00                                      >!...<

ちょうど100Byte

(04:46)

_ 76Byte

0000000 7f 45 4c 46 48 65 6c 6c 6f 20 77 6f 72 6c 64 0a  >.ELFHello world.<
0000020 02 00 03 00 40 eb 09 00 14 00 00 00 2c 00 00 00  >....@.......,...<
0000040 8d 51 0d 8d 59 04 eb 10 34 00 20 00 01 00 00 00  >.Q..Y...4. .....<
0000060 00 00 00 00 00 00 00 00 89 d9 eb 08 49 00 00 00  >............I...<
0000100 49 00 00 00 93 cd 80 eb fb 00 00 00              >I...........<

これ以上小さくするのは無理な気がする。 エルフヘッダ52Byteとプログラムヘッダ32Byteは必須。 ただ8Byteはオーバーラップさせてるので、合計76Byteが必須になる気がする。 コードは全部ヘッダに埋めた。

(05:22)

_ ttyplayer

はヒキコモリプレゼンの一形態なんだよなぁと。

(11:33)

_ 後系

http://homepage3.nifty.com/mogami/diary/d0609.html#05t4

とか後で

(12:37)

_ Ruby2C

http://rucila.s43.xrea.com/memo/?date=20050205#p03

ObjC ならラクじゃねってのは面白いなぁ。

• LD_PRELOAD とかで、 rb_define_method とかをまるまる奪い取り
• rb_define_method とかしても ObjC のメソッド作ってるだけだぜ hehehe...
• ここまでできれば後は Ruby を適当にパースして ObjC に修正するだけだ！(それが大変だとも)

(12:44)

_ ふむ

log(-1) = -i pi/2 か。

(12:56)

_ あと一時間で

バレずに section 1つ増やすことは可能だろうか。

(13:25)

_ あまり間に合っていないが

まぁいいか…

(14:32)

_ 10質

http://sztywny.titaniumhosting.com/2006/07/23/stiff-asks-great-programmers-answers/

(14:48)

_ 途中から数えてみた

lampedusa,diu,graciosa,kaula,aratika,oahu,graciosa,roosevelt,hareoen,pianosa,ustica,long,liberty,burano,nuulua,abumusa,chorao,antao,perejil,nuulua,cies,lanai,aracena

ガイシュツだった

http://slashdot.jp/~MK/journal/373378

(15:19)

_ 52Byteでオーバーラップすると

どうしてもうまくいかん理由不明

(16:54)

_ この52Byte

0000000 7f 45 4c 46 01 00 00 00 00 00 00 00 00 10 00 00  >.ELF............<
0000020 02 00 03 00 34 00 00 00 20 10 00 00 04 00 00 00  >....4... .......<
0000040 40 cd 80 00 00 00 00 00 00 00 20 00 01 00 00 00  >@......... .....<
0000060 00 00 00 00                                      >....<

なんで動かないのかしら…

59Byte の hello.asm も同じ方式でやってるぽいので、 落ちる理由は同じってことかなぁ…

2,7c2,7
<   マジック:  7f 45 4c 46 48 65 6c 6c 6f 20 77 6f 72 6c 64 0a
<   クラス:                            <不明: 48>
<   データ:                            <不明: 65>
<   バージョン:                        108 <unknown: %lx>
<   OS/ABI:                            <不明: 6c>
<   ABI バージョン:                    111
---
>   マジック:  7f 45 4c 46 01 00 00 00 00 00 00 00 00 10 00 00
>   クラス:                            ELF32
>   データ:                            なし
>   バージョン:                        0
>   OS/ABI:                            UNIX - System V
>   ABI バージョン:                    0
10,15c10,15
<   バージョン:                        0x9eb40
<   エントリポイントアドレス:          0x14
<   プログラムの開始ヘッダ:            44 (バイト)
<   セクションヘッダ始点:              -1928572531 (バイト)
<   フラグ:                            0x10eb0459
<   このヘッダのサイズ:                52 (バイト)
---
>   バージョン:                        0x34
>   エントリポイントアドレス:          0x1020
>   プログラムの開始ヘッダ:            4 (バイト)
>   セクションヘッダ始点:              8441152 (バイト)
>   フラグ:                            0x0
>   このヘッダのサイズ:                0 (バイト)
28c28
<   LOAD           0x000000 0x00000000 0x08ebd989 0x0004c 0x0004c  WE 0xfb
---
>   LOAD           0x000000 0x00001000 0x00030002 0x00034 0x01020 R   0x80cd40

< の方は動いてる。

(17:30)

_ あーreadableじゃない

からかな…

(17:35)

_ いやむしろ

R ついてない方が動いてるんだよな。 E は結局いるんだっけか… いるとしても 1Byte e_phoff をズラすのは至難の技だ。

(17:39)

_ 1Byte程度の調整は

e_entry と p_filesz がカチあうのでダメ。

あと p_type を e_shoff の位置から始めるのは、 e_shnum と p_filesz がかぶってしまってダメっぽいんだよね。

(17:43)

_ つーことは

今の linux/x86 では 76Byte のバイナリが最低？

(17:45)

_ かと言って

CISC以外だとコードサイズの方がデカくなるだろうしのう。

(17:51)

_ bball

http://osask.jp/boyaki04.html#bball

作ってみたいが線をひくAPIなんて当然ないよな。

リロケーションが入ったらそりゃダメだろうし、 となると fb に根性でほげほげとかになるのだろうかなぁ。 なんか200Byte程度ならできそうな気がしてしょうがないんだが。

(18:03)

_ 寺墓多すぎ

http://maps.google.co.jp/maps?f=q&hl=ja&q=%E8%A5%BF%E6%97%A5%E6%9A%AE%E9%87%8C&ie=UTF8&z=17&ll=35.723756,139.771371&spn=0.006768,0.013561&om=1&iwloc=A

(19:16)