定期ミートアップ 第76回
2025/11/16(日) 14:00～16:00
※参加方法※
参加登録は不要です。時間になるとZulipの#meetupにZoomのURLが貼られるので、そこからご参加ください。発表者として参加される場合は、下の発表者欄に名前を書いてください(このリストが発表順になります)。時間は一人15分目安です。お気軽にどうぞ。 ※発表者へのご注意※
今回のミートアップはYouTubeでライブ配信し、後日動画として一般公開する予定です。ご自分の発表の公開を希望されない方はあらかじめお申し出ください。
発表者
monochrome
abstract interpretation
type lattice
raviqqe
関連資料
RubyのString#succ の辛い仕様
ある文字列の:alnum:に相当する文字のみを取り出した文字列において，その最右の文字の文字コード上の次の文字（以降，単に "次の文字" と書きます）の文字種（すなわち:digit:か:alpha:か）が元の文字のそれと等しいかを確認します．一致しているのであれば，繰り上がりは発生させず元の最右の文字をその次の文字に置換した文字列を返却します．
但し，文字種が異なる場合でも一文字までなら乗り越えることができます．
code:Ruby
"Ρ".succ # => \u03A1
=> "Σ" # => \u03A3
動画
https://www.youtube.com/live/iqhSUGGZXJE
前回