2018年に使い始めたツール

2019年になったので、2018年に使い始めたツールを晒してみます。 (この記事は以下のtweetから始まるスレッドの内容をまとめ直したもので

TukubaiのMapを使ってみた

手元のデータをKeynoteのグラフ描画のデータに流し込むために表の形式に整形しようと思ったところ、1ツイートに収まらないくらい長く書いてし

Git Date Expansion

Webページの最終更新日時を手動で更新するのはやや面倒だしたまに忘れることがあるので自動化したいです。Gitで管理している場合であればatt

どうしてGNU Grepは高速なのか

この記事は アルゴリズム Advent Calendar 2015 24日目の記事です。あまりアルゴリズムらしい話題でもないですがGNU grepがどうして高速なのかという話について