Oct 9

ブロックチェインはなにかすごいのか

Oct 31

ETHDEV Berlinに遊びに行った

Sep 20

枠

May 17

このごろのよみもの(2015年5月)

Apr 4

ドイツで休日・夜間に開いている薬局をみつける

Jan 11

311

Jan 1

プラハで食べたもの

Dec 10

ドイツで働く話

Nov 30

このごろのよみもの(2014年11月)

Nov 6

Slaughterhouse-Five

Oct 26

Ukraine Diaries

Aug 14

8さいのじぶんへ

Jul 6

18才の自分へ

Jun 22

test

May 31

ドイツ入国してから働き始めるまで

May 5

ドレスデン行きの理由

May 2

accelerando

Apr 30

戸田山和久『哲学入門』について：もっと大胆にやれないか

Apr 5

Moving to Dresden to be a formal method engineer

Apr 2

産総研を退職してドレスデンでFormal Method Engineerになる

Mar 1

ビットコインのしくみ

Jan 29

人間の分類、自分はどれかな。

Jan 3

A History of the Future in 100 Objectsを読んだ

Dec 12

Oberwolfachのクリップボード

Nov 28

Oberwolfachの数学研究所

Nov 22

rust has buffer overflow checking

Nov 19

Haskell Financial Data Modeling and Predictive Analytics

Nov 17

2050年の世界『エコノミスト』誌は予測する

Nov 14

Dodenherdenking

Nov 14

reading libstd::trie of rust

Nov 6

reading libstd::bool of rust

Nov 4

『リーン開発の現場』

Oct 30

TOEIC 985

Oct 27

いろいろな国の起業の例の本

Oct 20

Rustをいじってみる

Sep 17

メモをとって忘れる

Sep 5

IRCつかってみよう

Sep 1

8月の読書

Jul 15

Riak(006) Rpc.Pipe.rpc

Jul 8

riak(005) reading Rpc.mli

Jul 6

Riak(004) discovery of epmd

Jun 30

riak(003)

Jun 30

証明士について：三宅秀道『新しい市場のつくりかた』

Jun 28

Riak(002) Going through dependencies.

Jun 23

Riak(001)

Jun 16

The Big Short

May 30

学生時代に働いたこと

May 28

働きはじめた感想

May 26

中国語入門I

May 26

「現代暗号の基礎数理」1

May 26

hexo

May 26

つくば