ukikagi

Keybase proof

I hereby claim:

• I am ukikagi on github.
• I am ukikagi (https://keybase.io/ukikagi) on keybase.
• I have a public key ASCYL4Fagw76HfEdkVgg3prSpu1C1vE6bUkdT890mLD_Bgo

To claim this, I am signing this object:

ukikagi

const title = document.title;
const url = location.href;
function listener(e) {
  e.clipboardData.setData("text/html", `<a href="${url}">${title}</a>`);
  e.clipboardData.setData("text/plain", `[${title}](${url})`);
  e.preventDefault();
}
document.addEventListener("copy", listener);
document.execCommand("copy");
document.removeEventListener("copy", listener);

ukikagi

inductive Two : Type
| C21: Two
| C22: Two

inductive Three : Type
| C31: Three
| C32: Three
| C33: Three

definition at_most_two (t: Type): Prop

ukikagi

import timeit

def concat1(N):
  res = 'a'
  for _ in [0] * N:
    res += 'a'

def concat2(N):
  res = 'a'
  for _ in [0] * N:

ukikagi

Google Code Jam Round 1B 2016 の解答 https://code.google.com/codejam/contest/11254486/dashboard

ukikagi

import Control.Applicative ((<$>), (<*), (*>))
import Control.Monad (liftM2)

import Data.Map (Map)
import qualified Data.Map as Map
import Data.Set (Set, singleton, unions, empty)
import qualified Data.Set as Set
import Data.List (intercalate)
import qualified Data.List as List