はじめてのにき

_ スマホ疑惑

https://twitter.com/kemamake/status/788684510128857092

将棋ファンでは決してないけど、棋士の話とか見るのが好きな僕としては、まあ楽しく眺めている。

色々と情報出てくると、まぁどうもクロなのかな…という雰囲気があるけど、乱数関わらないゲームのプロが、偶然の一致とかそのへんをどの程度考慮に入れられてるかっていうと…どうなんだろう。

なんかスマホゲーのスレとか見てると、ガチャ操作されてるとか、桃鉄みたいなサイコロ関係あるゲームだとサイコロ操作されてるとか、まあなんか人というのはそう感じるらしいし。これとか面白いよな

http://entcog.c.ooco.jp/entcog/contents/symposium/date/2015/1-3-p.pdf

連盟としては、かなり確信度が高くクロだと思ってるのは確定でいいのかな。竜王戦での現行犯逮捕とかそういう形での発覚は避けたい。というかそもそもプロからインチキ確定の人を出すのも信頼の低下みたいな意味で避けたい。かといって放置しておいてバレるともっと悪い。よって12月の検査導入までは、曖昧な形で出禁にしておきたい…て感じなのかなぁ。

しかしそれによって推定無罪の原則みたいなのが守られなくなってるわけで…身体チェックの導入を急遽早める、とかできたらベストだったのかなぁとは思う。

しかしまあどうなるんだろ。特にファンでもない身としては、不謹慎だがわくわく感しかない

(22:39)

_ control_flow.ops.cond

これなんで関数取るんだろうなぁ、TFて全部が全部遅延実行じゃん…とか疑問だった。が

http://stackoverflow.com/questions/34931121/can-cond-support-tf-ops-with-side-effects

で解決したような気がする。ふーむ

(23:04)

_ malloc

libheapのこの図が便利と教えてもらった

(14:56)

_ ゴルスタ

http://sprix.jp/pdf/160831.pdf

http://sprix.jp/pdf/160905.pdf

ちゃんと反省文書いてたのか…見直した

(03:34)

_ 村八分

なにこのサイト

http://minamiumayado.com/info/mura8/

ネタらしいし、ネタぽいんだけど、妙なリアル感がこわい

(22:22)

_ PythonさんがRubyさんを学ぶ

http://kiito.hatenablog.com/entry/2016/09/20/164134

なんだかバランスの良い内容に感じ、怪文章書いてるやつは反省すべきと思った。それはそれとして、こんなまともなRuby vs Python記事でもドサクサに紛れて殴られてるPHPさん

(03:01)

_ パクチー

http://tokyowise.jp/special/vol12/12_9_phakchi.html

最後の「“ワサビチャーハン”という概念に対する驚きこそが、タイ人にとってこれらの日本発信のパクチー料理なのだろう」いい話だなー。

(14:01)

_ whitespace処理系

自分が書いたものも含めてビックリするくらいゴミばかりである。

自分の用途に一番素直に使えたのはこれだった。ありがたい

http://koturn.hatenablog.com/entry/2015/08/10/000000

(23:56)

_ 機械学習と型づけと

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)

_ DEF CON CTF Final 結果

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

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

(22:33)

_ socat

わすれがちなのでめも

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

(06:59)

_ pwnable.kr 進捗

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

(00:38)