: 京都に行った（1日目）
やったこと 京都に行った 朝、なぜか始発に乗って東京駅に向かい、そのまま新幹線に乗って9時頃に京都へと辿り着く。 そこで暁丸と合流して、平等院鳳凰堂へと向かう。10円（鳳凰堂）だったし1万円（の鳳凰）だった。かっこいい。博物館っぽいところにある菩薩勢のテンションが高くて面白かっ…
Post List [162/167]:
: スライドを作ったりけものフレンズを観たりしていた
やったこと スライドを作っていた 明日から京都に行くのでやるべきことを終らせなければいけなかった。しんどい。 けものフレンズを観た 見返していた。どうして見ていると涙が出てくるんだろう‥‥。なぜかあらゆるシーンで感動しそうになる。 あと溜めた日記を消化したりしていた。日記を溜め…
: Quineを書いたりFlateを直したりした
やったこと DafnyでQuineを書いた DafnyというMicrosoftが作っている正当性の検証のできるプログラミング言語があるらしい。 Dafny: A Language and Program Verifier for Functional Correctness -…
: てらちー氏にピザを奢ってもらった
やったこと バイトが終わってから月末の金曜日なので秋葉に行った。 てらちー氏にピザを奢ってもらった 秋葉でてらちー氏に会った。そしててらちー氏にピザを奢ってもらった。アキヨドの上のイタリアンの店。おいしかったです。 それとOrpheというものを教えてもらった。あれをHoloLe…
: 何をしていたのか‥
やったこと 多分ストライク・ウィッチーズの12話を見ていたのだと思う。あまり何をしていたのかよく覚えていない‥‥。
: Scalaで正規表現を実装している
やったこと Scalaで正規表現を実装している BFAの構造が違うような気がしたのと、.を実装するのがかったるいので省いたりしていた。なんとなくScalaの勝手が分かってきた気がする。 しかし先読みと後読みを同時に実装するの難しい気がする。
: ストライク・ウィッチーズを観た
やったこと ストライク・ウィッチーズを観た なんとなくストライク・ウィッチーズを一気見してしまった。楽しかった。 やっぱ5話Bパートの田中宏紀すげー、という感じ。あと11話も。 というかスト魔女を見ていると咲を観たくなる。
: 技術書典2の原稿を書いた
やったこと 技術書典2の原稿を書いた 気合で書いたという感じ。しかし虚数リテラルを提案するのはまだちょっと面倒なのでがんばっていきたい。
: 横浜に行った
やったこと 横浜に行って麻雀をした 横浜なんて三年振りくらいに行った。しかしやったことが麻雀なので特に横浜という感じがしない。 あと夕飯に油そばを食べた。やっぱ油そば好き。
: ひるね姫を観た
やったこと バイトはなんかいつも通りClojureを書いていた。 で、そのあとひるね姫がはじまったので観に行った。 ひるね姫を観た 一言でいうと面白かった。 現実の世界と夢の世界の切り替えが上手くて、話にどんどん引き込まれる。とくに最後の夢のところは、現実がどうなっているのかが…
: Scalaむずかしい‥‥
やったこと Scalaで正規表現エンジンを実装していた のはずなんだけどリファクタリングばっかりしているような気がする。 どういうのがScala的に読み易いのかは相当書かないと分からないかなぁ、という感じ。
: 神咒神威神楽をやっていた
やったこと 神咒神威神楽をやっていた ひさしぶりにやったので結構内容を忘れていた。しかしエレオノーレ・フォン・ヴィッテンブル クさんかっこよすぎるんだよなぁ‥‥。 無間蝦夷に着いたあたりまでやった。
: Scalaを書いたりした
やったこと Scalaを書いたりした Scalaで正規表現のパーサーを書いたり、有限状態オートマトンを実装したりしていた。Scalaいいなぁ、という気持ちになった。ScalacheckかScalaprops使ってテストも書きたいなぁ、とか考えている。 コードをまとめたら公開しま…
: ゼルダのRTAを見たりした
やったこと ゼルダのRTAを見た 53:13でゼルダの伝説 BotWはクリアできるらしい。色々とすごい。 yの家に遊びにいってひたすらゼルダを眺めたりもしていた。いい加減ゼルダ欲しくなってくる。買わなきゃ‥‥。
: Cross Anime Searchを軽量化した
やったこと Cross Anime Searchを軽量化した ひさしぶりにCross Anime Searchに手を入れた。APIのJSONのキーとかを無くして全部配列にしたら1MBあったレスポンスが700KBになった。大して変わらないような気がする。 あとGitHubに学生と…
: crystal tool formatでprivate defが区切られないのを修正
やったこと crystal tool formatでprivate defが区切られないのを修正 Formatter: not separate def with visibility modifier · Issue #4133 · crystal-lang/crystal …
: OSC 2017 Tokyoに行った
やったこと OSCに行った 室長氏が来るとの情報を当日手に入れたので。室長氏がどんな人物か把握したので次のコミケのときとかmikutterのところでからかいに行けますね。 他にはNixOSの話を聞いたりしたので、ひさしぶりにNixOSで遊びたい気持ちになった。使いこなせれば楽し…
: 何をしていたんだろう？
やったこと あまり体調がよくなかったので一日中家に居た。あと、チャールズ・ブコウスキーのパルプを昨日買ってきたので読もうかと思ったけど結局読まなかった。
: トリニティセブン劇場版を観た
やったこと トリニティセブンの劇場版を観た 正確なタイトルはトリニティセブン 悠久図書館と錬金術少女とのことらしい。 劇場版「トリニティセブン」公式サイト 話のテンポが早すぎるというか、間がまったく無くて話を追うのにものすごく疲れた。話自体はすごくシンプルなんだけど‥‥、という…
: 新宿で麻雀をやっていた
やったこと 新宿で麻雀をやった 麻雀弱すぎてしんどかった。しかし高校の連中と麻雀をやるのはそこそこ楽しい。 そのあとサイゼで夕飯を食べたりした。そのときにyにプレゼントしたきんモザの劇場版のBDに特典として付いていきたらしいコンテを見せても らったりした。最高。