: danを作った
やったこと danを作った https://github.com/MakeNowJust-Labo/dan danというやったことリスト (done list)を管理するツールを作った。mrubyを使ったのだけどいい感じ。 現状追加だけで削除とか編集がまったくできないので、まだ…
Post List [154/167]:
: 正規表現からHFAへの変換が等価であることを証明した
やったこと 正規表現からHFAへの変換が等価であることを証明した ようやくできたなぁ、という感じ。がんばった甲斐があった。 なんか秋田行きのムーブが高まっているのが面白い。 シンタックスハイライタが文字列配列リテラルをそのまま表示してくれないのを修正 https://githu…
: はたらいた
やったこと icrのシンタックスハイライトがマージされた https://github.com/crystal-community/icr/pull/70 マージされた。ついでに次のバージョンがリリースされたのでそっちで使えるようになってるはず。 やったね。 はたらいた なんか…
: ET NOIRを公開した
やったこと MochiでQuineを書いた Mochiというプログラミング言語がある。特徴としてはPythonライクな文法で、かつPythonで書かれていてPythonに変換されて実行される。というとほぼPythonな気がするけど、実体としてはPythonとClojureの悪魔…
: Occultic; Nineが面白い
やったこと { %w() }をフォーマットしようとすると{%w()}とマクロ扱いになるのを修正 https://github.com/crystal-lang/crystal/pull/5278 やっただけ。 %w()のデリミタがシンタックスハイライト時に全て()になってしまう…
: 体調がアレ
やったこと 体調がアレ 大変アレな感じ。朝起きた瞬間がとてもつらかった。段々と復活してきたのだけど、しかし体調はあまり良い感じではない。 木曜あたりから結構ヤバかったしよく持ったなぁという気持ちの方が強い。 Occultic; Nineをはじめた 面白いのですすめていきたい。 …
: てらちー氏と会った
やったこと NOIRのCrystalのシンタックスハイライタの定義を書いた 書いたけどまだ公開できてない。spec書いたら公開する。 "foo #{ { } } bar"みたいなケースがともかくしんどかった。あと毎回コンパイルするのたるい。やっぱSublimeTextのハイライ…
: なんか疲れた
やったこと REwPLB→HFAの変換を定義した これは間違ってないと思う。のだけど証明ができない。なんとなくアイディアは降ってきたのでやっていきたい。 難しい。 疲れた なんでか分からないけどめちゃくちゃ疲れてる。しんどい。休みたさがある。
: logstash-output-syslogを直したりした
やったこと logstash-output-syslogを直した https://github.com/logstash-plugins/logstash-output-syslog/pull/43 普通に困る気がするので直した。しかし直した側から自分が使わないような気がしてき…
: NOIRを公開した
やったこと NOIRを公開した https://github.com/MakeNowJust/noir Crystalのシンタックスハイライトライブラリ。一応端末にエスケープシーケンスで出力したり、HTMLを吐いたりできる。 rougeを参考にした。なのでrougeの構文の定義…
: MacBook Proが届いた
やったこと MacBook Proが届いた 届いた。本当 にメモリが16GBある。そうかこれが人権なのかとようやく理解した。 カバーとか色々と買ってきたので5000円くらい飛んだ。仕方ない。 今は色々がんばって環境を整備しているところ。 それとAmazon MusicのMacのア…
: 二郎に行った
やったこと 二郎に行った 予定通り、y、らの、暁丸と二郎に行った。新宿の小瀧橋通り店。大盛りにしないので余裕で食べれた。 そのあとはディスプレイとかを見たあと、なぜか雀荘に行った。とくに勝った記憶はないけど楽しかった。七対子和了れねぇ‥‥。ただ、途中でめちゃくちゃ気分が悪くなっ…
: コミケに当選した
やったこと HFAを実装した NFAに対して直接complementを取るのは難しいっぽい。不可能ではないのだろうけど、間違いなく工夫がいる。受理集合の対になる拒否集合みたいなのを作って、これが含まれないことを受理の条件にしなきゃいけない、みたいな。同様の理由でHFAに対して直…
: 楽園 vol. 25を買った
やったこと ネギま!?の25話を見た もうすぐ終わってしまう‥‥。ちょっとかなしい気持ちになりつつも、やっぱ面白いなぁと思いながら見ていた。 次は最終話。 楽園 vol. 25を買った 新宿の紀伊国屋で買った。まだ読んでいない。ぱらのまが読めると思うとめっちゃくちゃ楽しみ。 コ…
: 進捗がダメ
やったこと 進捗がダメ なんかやっていること全てに自信が無くなっている。多分昨日の反動。自分は引き篭もっているほうが進捗が出るタイプなのだと思う。 とりあえずHFAは一度実装してみないと自信が持てない気がする。実装するのはそんなに大変じゃないように考えたつもりなのでちゃんとやっ…
: Hatena Engineer Seminar #9 @Tokyoに行った
やったこと 海賊の仕事をした logstashの勉強をしていかなければいけない。それ以外にも色々と学んでいきたい感じがする。大変。 とりあえずlogstashを起動するところから始めていきたい。 Hatena Engineer Seminar #9 @Tokyoに行った htt…
: しゅぷれをインストールした
やったこと 雨の日だった 雨の日だったので家から出ていない。よくない。しかし台風なので外に出る気が起きなかった。飛ばされる。 あと中本のカップ麺のチーズの一撃だかを食べた。マイルドで食べやすかった。 しゅぷれ〜むキャンディをインストールした なぜか@sukukyonからしゅぷれ…
: ヤマノススメ おもいでプレゼントを観た
やったこと ヤマノススメ おもいでプレゼント http://www.yamanosusume.com 気が付いたら公開日だったので観に行った。OVAなのだけど、一部の劇場では上映されるという最近よくあるような仕様。偶然にも近所で公開していてよかった。 30分とは思えないほどよか…
: インデントしたメソッドチェインにブロックがあってもいい感じにインデントするようにした
やったこと インデントしたメソッドチェインにブロックがあってもいい感じにインデントするようにした https://github.com/crystal-lang/crystal/pull/5195 呼ばれたのでやった。 ちなみに一行に複数のメソッド呼び出しがあるとバグる。がしか…
: HFA→DFAの変換の証明をした
やったこと HFA→DFAの変換の証明をした そんなに難しくなくて、文字列の長さに関する帰納法で証明することができる。ただ、誰かが解答を確認してくれるわけじゃないので合っているのか少し自信がない。 あと、半順序集合の空ではない有限の部分集合は極小/極大元を少なくとも一つは持つは…