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を読んでいるのだけれど、いかんせん構造的帰納法に不慣れなもので、導出に関する帰納法による証明を読んだり書いたりしているうちに 自分が何をしているのか 何を示すことで命題を証明しようとしているのか そもそも項に関する帰納法と導出に関する…

2017年4月から新卒で株式会社はてなに入社してフルタイムでWebアプリケーションエンジニアとして働いたのですが、2021年4月に東京工業大学情報理工学院 数理計算科学系の修士課程に入学しました。しばらくは貯金とアルバイトと学生支援機構からのローンで生…

今度研究会で使えそうなクソコラも作れる https://www.canva.com/ja_jp/learn/hatena_canva/