2021-01-01から1年間の記事一覧
Scala Advent Calendar 2021 1日目の記事です。 scala-cli のこと書こうと思ったのですが、ちょっと時間なかったので読書記です! essentialeffects.dev typelevel.org TL;DR Essential Effects という本を読んで Cats Effect という、Scala で IO とか para…
2021/06 から参加していた Google Summer of Code 無事修了しました。 GSoC では Add synthetics and symbol information for semanticdb in Scala 3 という題目で Scala3 の IDE や Linter のための基盤となる機能の開発をしていました。 今回の成果により …
東工大大岡山キャンパス たまーに気分転換に大学図書館にチャリで行ったりしている。授業とか研究室のゼミとかは相変わらずオンライン、早くキャンパスライフってやつエンジョイしたい。 TaPL 15章読みました、次は23章だよ 小森めとさんにはまってる 小森め…
scrapbox.io GSoC への proposal が accept されました Scala Center | Google Summer of Code、6月2週から約2ヶ月半はお金をいただきながらOSSやらせていただきます TaPL だいぶ面白くなってきた、11章の後 subtyping とか recursive type からいきなり面白…
2021/4 から日記を箇条書きで書くようにしてみた、これ以上不可が大きいと続かないけど、これくらいならなんとか続いている scrapbox.io 大学院に入学したよ 研究室のセミナーでTaPLの輪講してるよ、11章までやった 証明などのが解がふわっとしてるところが…
最近TaPLを読んでいるのだけれど、いかんせん構造的帰納法に不慣れなもので、導出に関する帰納法による証明を読んだり書いたりしているうちに 自分が何をしているのか 何を示すことで命題を証明しようとしているのか そもそも項に関する帰納法と導出に関する…
2017年4月から新卒で株式会社はてなに入社してフルタイムでWebアプリケーションエンジニアとして働いたのですが、2021年4月に東京工業大学情報理工学院 数理計算科学系の修士課程に入学しました。しばらくは貯金とアルバイトと学生支援機構からのローンで生…
今度研究会で使えそうなクソコラも作れる https://www.canva.com/ja_jp/learn/hatena_canva/