SF.lean勉強会でigrepが書いたコードの記録