masahiro_sakai - Qiita

Masahiro Sakai

@masahiro_sakai

http://msakai.jp

Kawasaki, Kanagawa, Japan

Following Users53

Popular Items

20

Likes

部分構造の共有を観測するdata-reify

Dec 26, 2017
0

16

Likes

Hash-consingのためのinternパッケージ

Dec 19, 2016
0

5

Likes

TPPmark2014のAgda版解説

Dec 14, 2014
0

5

Likes

TPPmark2017のAgda版解説

Dec 10, 2017
0

3

Likes

HITCON CTF 2016 の write-up (RegExpert, ROP, moRE)

Oct 11, 2016
0

10
Items 58
Contribution 26
Followers

masahiro_sakai posted on Dec 26, 2017

部分構造の共有を観測するdata-reify

20

masahiro_sakai posted on Dec 10, 2017

TPPmark2017のAgda版解説

5

masahiro_sakai posted on Dec 19, 2016

Hash-consingのためのinternパッケージ

16

masahiro_sakai posted on Dec 14, 2016

SECCON 2016 CTF の Retrospective

masahiro_sakai posted on Oct 11, 2016

HITCON CTF 2016 の write-up (RegExpert, ROP, moRE)

3

masahiro_sakai posted on Aug 01, 2016

Trend Micro CTF 2016 Online Qualifier: defensive 100 問題の write-up

1

masahiro_sakai posted on Jul 14, 2016

MNCTF2016 Writeup

masahiro_sakai posted on May 24, 2016

DEF CON CTF 2016 Qualifiers のbaby-re問題のメモ

1

masahiro_sakai posted on Apr 06, 2015

古いUbuntuにCryptominisat4をインストールする方法

masahiro_sakai posted on Dec 14, 2014

TPPmark2014のAgda版解説

5