tomoki

#include "mbed.h"
#include "USBKeyboard.h"

// これをコンパイルするには、 mbed のオンラインコンパイラを使います。
// あと https://developer.mbed.org/handbook/USBKeyboard が必要で、
// 具体的には USBKEyboard_Hello_World なるプロジェクトを↑のページから
// import して、このプログラムを main.cpp に上書きすればいいと思う。 
//USBKeyboard
USBKeyboard keyboard;

tomoki

#!/usr/bin/env python

import sys

timing = []
phoms  = []
with open(sys.argv[1]) as i:
    for line in i:
        splitted = line.strip().split(" ")
        timing.append((splitted[0], splitted[1]))

tomoki

#!/usr/bin/env python

import sys
timing = []
phoms  = []
with open(sys.argv[1]) as i:
    for line in i:
        splitted = line.strip().split(" ")
        timing.append((float(splitted[0]), float(splitted[1])))

tomoki

#!/usr/bin/env python

import sys

phoms = []
with open(sys.argv[1]) as i:
    for line in i:
        phoms.append(line.strip().split(" ")[2])

m = {

tomoki

#!/usr/bin/env python3

import sys
import os

with open(sys.argv[1], encoding="euc-jp") as f:
    for line in f:
        (n, k, y) = line.strip().split(":")
        with open(os.path.join(sys.argv[2], str(n) + ".txt"), "w", encoding="utf-8") as t:
            if(y[-1] == '。'):

tomoki

[B] map[A,B](from: [A]&, func: A => B):
    let dist: [B]

    to.reserve(v.size())
    for a in from:
        to.push_back(func(a))
    return to


bool cango_sub(n: int, x: [int]&, d: int, i: int, l: int):

tomoki

Require Import Classical.

Theorem Peirce: forall (P Q: Prop), ((P -> Q) -> P) -> P.
Proof.


intros.


apply NNPP.

tomoki

set nosmoothscroll
set autoupdategist

let completionengines = ["google"]
let searchalias g = "google"

map d closeTab
map u lastClosedTab
map <C-n> nextTab
map <c-p> previousTab

tomoki

// #ifdef DEBUG
// #define _GLIBCXX_DEBUG
// #endif
#include <iostream>
#include <iomanip>
#include <vector>
#include <valarray>
#include <map>
#include <set>
#include <list>

tomoki

#include <iostream>
#include <iomanip>
#include <vector>
#include <valarray>
#include <map>
#include <set>
#include <list>
#include <queue>
#include <stack>
#include <bitset>