Hash-consingのためのinternパッケージ
この記事はHaskell Advent Calendar 2016の16日目の記事です。 Hash-consing Hash-consing は、同値な値を表現するのに同一の構造を常に再利用する...
14
8
Comment0
11 search resultsShowing 1~11 results
Stocked
You need to log-in
テンソル形状のコンパイル時検査＋実行時アサーション化を今のHaskellで書いてみる
はじめに Edward Z. Yang 氏の記事 A compile-time debugger that helps you write tensor shape checks は、テンソルの...
7
2
Comment0
部分構造の共有を観測するdata-reify
部分構造の共有を観測するdata-reify この記事は Haskell Advent Calendar 2017 の12/21(木)の記事です。 昨年の Haskell Advent Cale...
20
8
Comment0
TPPmark2017のAgda版解説
TPPmark2017のAgda版解説 この記事は Theorem Prover Advent Calendar 2017 の12/10(日)の記事です。 The 13th Theorem Pr...
4
1
Comment0
SECCON 2016 CTF の Retrospective
はじめに SECCON 2016 Online CTF に参加して、 Retrospective (Binary 200) の問題に挑戦した。 残念ながらコンテスト期間中には解ききれなかったのだ...
0
0
Comment0
HITCON CTF 2016 の write-up (RegExpert, ROP, moRE)
今回の HITCON CTF 2016 は（も？）、あまりセキュリティっぽい問題は解けず、変な問題にはまってしまっていた。 とりあえず解けた問題RegExpertとROP、それからmoREについ...
2
2
Comment0
Trend Micro CTF 2016 Online Qualifier: defensive 100 問題 の write-up
今回のTrend Micro CTF 2016のオンライン予選はあんまりガッツリは参加できなかったけれど、他のチームメイトが解けていなかった問題を一問だけは解くことができた。 解けたのは Ana...
1
0
Comment0
MNCTF2016 Writeup
Macnica Networks DAYで行われたCTF、MNCTF2016に参加してきたので、Write-upとして簡単なメモを書いておく。 問題 点呼 (MISC) (省略) 超標的型 (B...
0
0
Comment0
DEF CON CTF 2016 Qualifiers のbaby-re問題のメモ
DEF CON CTF 2016 Qualifiers のbaby-re問題のメモ DEF CON CTF 2016 Qualifiers の baby-re の問題を解いてみた。 謎の実行ファ...
2
1
Comment0
古いUbuntuにCryptominisat4をインストールする方法
Cryptominisat4をインストールするのに、g++-4.8以降が必要だったので、How to Install GCC 4.8 via PPA in Ubuntu 12.04, 13.04...
0
0
Comment0
TPPmark2014のAgda版解説
TPPmark2014のAgda版解説 この記事はTheorem Prover Advent Calendar 2014の12/14(日)の記事です。 TPP (Theorem proving ...
5
2
Comment0
11 search resultsShowing 1~11 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles