1年前北海道-東京の便に乗ったとき暇だったので書いた． 今年乗ったら，コンテンツがHLSに切り替わっていて，簡単にダウンロードできなくなっていた． 飛行機で暇な時は，こういう遊びをすると時間を潰せて楽しい． gist0df3e33a617d0cf10d0baa2140794220 ↑…

Webで動く？→X satysfiコードをPOSTするとサーバでコンパイルしてPDFが返ってくるだけ→O SATySFi Online github.com

2017/02/12時点の情報です． まだSATySFiは絶賛開発途中であり，特に今インストール周りが改善中のようですので，うまくいかない場合はgithubのページを追ってください． ↓ココらへんを参考にした． qiita.com github.com SATySFi 型づけがしっかりしていて…

Cドライブの容量がいっぱいになっていた． ちなみに実家パソコン WinDirStatで見たらC:¥windows¥installerが20GB以上食っていた． Windows Updateのインストーラが入ってるらしい windirstat.net PatchCleanerでWindows Updateのインストーラを削除した． Pa…