はじめてのにき

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)

[ツッコミを入れる]

全てリンクフリーです。コード片は自由に使用していただいて構いません。その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。なにかあれば下記メールアドレスへ。

はじめてのにき

2016-09-28

_ ゴルスタ

2016-09-26

_ 村八分

2016-09-23

_ PythonさんがRubyさんを学ぶ

_ パクチー

2016-09-14

_ whitespace処理系

2016-09-12

_ 機械学習と型づけと

2016-09-07

_ DEF CON CTF Final 結果

2016-09-05

_ socat

2016-09-01

_ pwnable.kr 進捗

2016-08-31

_ 数学をいつ使うのか

2016-08-25

_ ポッドキャスト


		2016年 9月
日	月	火	水	木	金	土
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30