splatoon2は、公式アプリを使うことで最近の試合の結果を見ることができます。 splatnet2statinkは、ゴネゴネしてそのデータを取得し、stat.inkにアップロードしてくれるツールです。 常に動かすには少し面倒な仕様だったので、Dockerイメージにして使いやすくしました。

使い方が知りたい人は、GitHubのリポジトリのREADMEを見てください。

インターネットの回線は結構罠が多いです。どの時間帯でもそこそこの速度(100Mbps程度)を安定して出すには、数々の罠を乗り越える必要があります。この記事は、罠に嵌る被害者を減らすことを目的として、知っておくとよさそうな情報をなぐり書きました。

マトロイドの最小基問題に対する貪欲アルゴリズムの正当性を示します。

「離散数学のすすめ」という本のマトロイドの章(詳しく証明が書いていない…)を、行間を補完して自分の言葉に書き直しています。

マトロイドとその貪欲アルゴリズムについて軽く知っている前提です。

FIT FOOD HOMEっていう冷凍の健康的な料理を届けてくれるサービスを使ってみました。

2週間ぐらい前からnike training clubはじめました。