はじめてのにき

2016-09-12

_ 機械学習と型づけと

https://twitter.com/jmuk/status/775178305481740288

たぶん型付けるって話に2種類あって、

save_model(string filename, Model model) に引数を逆に渡してウキョーとか、 save_mode と typo してウキョーとか、そういうのを静的型付けによって防ごうって話
matmul(A, B, C) の A, B, C の次元が正しいかどうかを静的型付けによってチェックしようという話

で、前者を mame さんが想定してて、むかいさんは後者を想定してるのではないかな、と思う。前者は正直 closure compiler とか程度のやつでも相当たすかると僕の感覚では思うし、後者は次元数てのは静的に決まるものでなく、モデルに保存されてたりするので「面白い話題がある領域では」と思うのもすごくよくわかる

後者は僕も不勉強なので確信は持てないのだけど、たぶんむかいさんの理解通り、あまり既存研究とかが多く無い(実用化されてるものを僕は知らない)領域なのではないかな、と思う。

C++でいうと、templateに型を与えたり定数値を与えたりはできるわけだけど、変数値ではあるものの、プログラムの実行中は値を変えない何か、を型パラメータにしたいのかな、と思う。僕が知ってる中で、これを不十分に実現してるふうを装えそうなものとしては、 D 言語の alias template が使えるかもしれないな、とか思う

import core.stdc.stdio;
import core.vararg;

int vector_dim3;
int vector_dim4;

template Vector(alias dim) {
  class Vector {
    this(...) {
      assert(_arguments.length == dim);
      v = new int[](dim);
      for (int i = 0; i < dim; i++) {
        v[i] = va_arg!int(_argptr);
      }
    }

    int inner_product(Vector!(dim) o) {
      int r = 0;
      for (int i = 0; i < dim; i++) {
        r += v[i] * o.v[i];
      }
      return r;
    }

    int[] v;
  }
}

void main() {
  vector_dim3 = 3;
  vector_dim4 = 4;

  auto v3_1 = new Vector!(vector_dim3)(1, 2, 3);
  auto v3_2 = new Vector!(vector_dim3)(3, 2, 1);
  printf("%d\n", v3_1.inner_product(v3_2));  // OK - 10

  auto v4_1 = new Vector!(vector_dim4)(1, 2, 3, 4);
  auto v4_2 = new Vector!(vector_dim4)(4, 3, 2, 1);
  printf("%d\n", v4_1.inner_product(v4_2));  // OK - 20

  // Not OK! (dimension mismatch) - statically checked
  // printf("%d\n", v3_1.inner_product(v4_1));

  // Not OK! (argument number mismatch) - runtime assertion failure
  // auto v_err = new Vector!(vector_dim3)(1, 2);
}

(22:25)

[ツッコミを入れる]

2016-09-07

_ DEF CON CTF Final 結果

https://blog.legitbs.net/2016/09/2016-def-con-ctf-final-scores.html

8位とのこと。思ったより良かったなぁ…と思うけど、僕以外の人がすごかったということだと思う。にしても Mayhem ビリってのは何が悪かったんだろ。体感強そうだったんで、なんか主催者側のバグがどうこうのせいなのかな…

(22:33)

[ツッコミを入れる]

2016-09-05

_ socat

わすれがちなのでめも

socat tcp-l:4000.reuseaddr exec:"./binary"

(06:59)

[ツッコミを入れる]

2016-09-01

_ pwnable.kr 進捗

lfh (300): 割と特になんということもなく解けた
starcraft (300): ややこしすぎてつらかった。もう終わったよなーと思ってからも、探索範囲が広くてなかなか大変っていう
elf (100): やるだけ問だけどこういうの少しハマる
syscall (200): 初 kernel exploit ということ以外に言うべきことが無い系の
wtf (100): 簡単すぎやろ

(00:38)

[ツッコミを入れる]

2016-08-31

_ 数学をいつ使うのか

http://readingmonkey.blog45.fc2.com/blog-entry-625.html

この表すごすぎ

(12:48)

[ツッコミを入れる]

2016-08-25

_ ポッドキャスト

に出た

http://turingcomplete.fm/1

なんというか面白くなる気が全くしなかったので、出たくないです…て言ってたんですが、ホストがやる気満点すぎてつきあうことになった。友達が勝手にミスコンに応募してたみたいな言い訳だが

やる気起きないとはいえ、どうせやるのにやる気無い態度でのぞむのは良くないということで、やる気ない発言はやめよう、できれば面白くなるように心がけよう、と始まる前は思っていた。残念ながら実行は伴わなかった

反省点としてあったのは、なんかもっと好き勝手喋ってりゃ良かったなと。どうも何にどのくらいの説明をする予定なのかとかがよくわからなくて、基本聞かれたことに答えるみたいな感じになってた。こうなると喋りたいこと喋れてるわけじゃなくなって、僕もつまらないし、話としてもあまり面白くなくなる気がする。

僕は割とプレゼンするとかは好きなので、話をするのは好きなんだけど、どうも話したいことを決めれない話というのは微妙なものがあるなと。

もっと「徹底討論うえやまさんは成金趣味か否か」みたいなポッドキャストなら良いのに

(00:58)

[ツッコミを入れる]

2016-08-21

_ シンゴジラ

なんか期待してたほど面白くなかったなぁ、と思ったけど、感想まとめとか見てると割と面白かったような気もしてきた。

要はメインのストーリーがあまり好きでなかったぽい。細かいセリフ回しとかは素直に面白いなあと思ってた。深い意味がこもってるとことかは全く理解してなかった。

稗や粟で言うと、割とおいしい白米というのは悪くない例えなんでないかなぁとか

あと、さくらインターネットとフィックスターズが協力会社に上がっていて、おおーとなった。

(14:18)

_ デンデンデンデンドンドン

この検索キーワードでいいとは

https://www.google.co.jp/webhp?sourceid=chrome-instant&ion=1&espv=2&ie=UTF-8#safe=off&q=%E3%83%87%E3%83%B3%E3%83%87%E3%83%B3%E3%83%87%E3%83%B3%E3%83%87%E3%83%B3%E3%83%89%E3%83%B3%E3%83%89%E3%83%B3+

(14:47)

[ツッコミを入れる]

2016-08-16

_ hescape

http://k0kubun.hatenablog.com/entry/hescape

あまり人の書いたものについてどうこう言いたくないし言ってもしょうがないし、飲み会で言うとかはともかくわざわざ書いたりもしないのだけど…もやもやするので言いたくなってしまった。別に自分のアプリで使ってるとかならどうでもいいんだけど、ruby gemになっちゃってるあたりと、なんとなく見てみるとはてぶたくさんついててかつ誰もコード読んでないぽいあたりで、もやもやが。特に後者

https://github.com/k0kubun/hescape

きちんと確認してないので、間違ってることもあるかもしれないです、が、一番ウーン、、、とおもった点を書いていきます。間違ってることがあると申し訳ないですが

const uint8_t* src と size_t size を受ける関数に関わらず、 src[size] == NULL であることを仮定している。 cruby では正しい前提ぽいんですが、かなり悪いインターフェイスだと思う。https://github.com/vmg/houdini はたぶんこの問題を持っていない
uint8_t* のインターフェイスについて何も伸べていない。 ruby >= 1.9 でかつ SJIS とか使ってるとたぶん即死ですよねこれ https://github.com/vmg/houdini はちゃんとUTF8以外サポートしていないと明示している
https://github.com/k0kubun/hescape/commit/e04b6f8c4a60c765f2eaf78f409b6f3d6ecef27c のパッチを受け入れた。これ一般的なケースで遅くなる気がして、実際僕の手元では遅くなってるし正直やらない方がいいという感覚が強い

ここからはより主観的かつnitpickな項目が多くなっちゃうのだけど、以下のような理由で上記のような点を修正すればOK、という気持ちになりにくいなあ…と思った

Round allocation up to multiple of 8. というコメント。コメントは何をしてるか、より何故これをしてるか、を書くべきで、このコメントは何故これをしているかが説明されてない。その上でバッファを1.5倍してるコードはまあわかるんだけど、こっちは意図がわからない。この問題は https://github.com/vmg/houdini からコードをコピペしたから起きてるんだと思う
append_ ではじまる二つの関数の引数が理解しづらい。これのおかげで未だに現在のコードのセマンティクスが正しいと確信が持てないでいます
実アプリでテストしてる気配がない。個人的な意見だけどトレードオフのある速度最適化はちゃんと速くしたいものがある時にやるべきかなと。
テスト/ベンチのテストケース少なすぎ
*bufにmallocしたバッファを返すというインターフェイスなのだけど、これがmallocされたものかどうかは返ってきたサイズを見ないとダメで、それがドキュメントされてないのはイマイチな気がする。まあrubyの方では適切に処理されてるぽいから良いのでしょうけど
あとfind_escape_fastの修正の仕方も気にいらないというか、変化してる変数が3つになってて正直わけがわからない(←これは完全にウソでした…コメントに書きます)

あとなんだろう。HTML_ESCAPE_TABLEていうデータがあるんだけど、これ本当に速いんだろうか。。とか、気になることはまだあった気がする

(14:28)