はや8月。あっという間だった7月をふりかえります。前回はこれ。
OSS活動


先月に引き続き gem_rbs_collection の rubocop-ast に型を追加していた。RuboCop Plugin を開発するにあたってあると嬉しい型定義情報(主に RuboCop::AST::Node のサブクラス群)がいい感じに揃ってきたのでぼちぼち使えるんじゃないかと思う。「思う」と書いたのはまだ自分で Plugin 書いてちゃんと評価できていないから。しかし例えば #def_node_matcher で生成されたメソッドの型定義とか難しい感じはしている。パターンの構造的に nil とならないことが自明なものでも RBS の型定義上は Nilable type として扱う必要があり「いちいち Type Guard 書かなきゃいかんの?」っていう悩ましいケースがたくさんある。ここら辺のギャップを埋める何かが必要な気がするけどそもそも何で埋められるかも分かっていない。
そんな感じで引き続き OSS 関連は興味関心の赴くままにマイペースに取り組んでいきたい。
英語学習

淡々と続けている。
読書
TAPL本とりあえず読んだ。分からなくてもとりあえず読み進めてみたが、おかげで何も理解できていない。とはいえ型システムや関数型プログラミングといったトピックには興味はあるので別の書籍や情報を漁った後にまた戻ってきたいと思った。何も分からないことが分かった。
LR parser 本も読んだ。読んだけど分からないことが分かったというレベル。志賀高原ビールは美味しかった。
スタバで読書してる pic.twitter.com/9irWFomsE6
— Koji NAKAMURA (@kozy4324) 2025年7月21日
Parserにまつわる話はKashiwa.rbの勉強会でも取り組んでみたいテーマだとは思っています(後述)
また子供といった市立図書館でふと手にした書籍に書いてあることが自分のタイミング的にとても響く良い内容だった。良い内容だったのでブログ書いた。
読書メモ:「結局、人生はアウトプットで決まる 自分の価値を最大化する武器としての勉強術」に書いてあった良いプレゼンとは何か?について - kozy4324の日記
あと「プログラムはなぜ動くか」も借りて読んでいた。ちょうど所属組織の新人にプログラミングにおけるメモリとかGCの話って分かる?と質問をする機会があったのだけど、プログラミングにまつわる基礎的な語彙や動作原理について知るきっかけにはちょうど良い書籍だと思って読んでいた。
柏市の図書館、「30日でできる! OS自作入門」がカジュアルに棚に置いてあったりする。コンピューター関連で興味を引く書籍に割と出会えたりするので市内在住者にはオススメしたい。
というわけで今月は4冊読了した。毎月1冊以上何かしら読書するを目標にしているので継続していきたい。
ランニング

暑すぎて短距離化&ウォーキングも計測されている。なのでアクティビティ数がおかしなことになっている。とは言え100kmは走破している。ペースタイムはもう知らん。
体重

増えた。全部ビールが悪い。
とは言えランニングしてなかったらもっと体重増加していると思われるのでこれからもランニングしつつビールは飲んでいこうと思う。
ブログ
- 関西Ruby会議08に参加してきた - kozy4324の日記
- 京都観光記、もしくは京都で麦酒が湧き出るパワースポットを巡った記録 - kozy4324の日記
- 2025年6月のふりかえり - kozy4324の日記
- 読書メモ:「結局、人生はアウトプットで決まる 自分の価値を最大化する武器としての勉強術」に書いてあった良いプレゼンとは何か?について - kozy4324の日記
- Kashiwa.rb #13「「こんな勉強会やっていきたい」を共有&議論するワークショップ」やってきた - kozy4324の日記
関西Ruby会議08の余韻に浸っていたなぁという感じがした。割とブログ書いた月だった。
勉強会関連
主催・参加した勉強会はこんな感じだった。
Kashiwa.rb 以外の勉強会に行けていないなぁ。
さて Kashiwa.rb の方で言うと2年目に突入し、改めて取り組みたいことを参加者で会話してきました。

個人的には最近 rubocop-ast の型を整備してたりするので AST × 型 なところがホットになっており、AST繋がりでParser関連 (parser gem, racc, prism, etc..)に明るくなりたいなぁと思っています。ここら辺で取り組むテーマを普段やっているOSS活動や読書する書籍と絡めて取り組んでいけるとなお良さそうですね。
そんな Kashiwa.rb の次回はお盆が明けた 8/18(月) に開催します。興味があればぜひ足を運んでみてください。
KPT
- Keep
- OSS 活動
- 英語学習
- ランニング
- 読書
- ブログ
- Problem
- 体重
- Try
- 勉強会関連