SSR なめるぽん on Twitter: "そういえばしまぱんって圏になってるんじゃない？ぱんつを対象として、青と白のラインを射として、域は渡された射をそのまま返して余域は渡された射では無い方の射を返す。"、"青"と"白"と"ε"だけの圏 - melpon日記 - Haskellも…

お酒の勉強会に誘われたので行ってきた。 かなり大勢で立ち飲み状態。佐藤和歌子さんという方もいらっしゃっていて、少しお話しして、勉強会の後も軽く飲んだ。こういうのも縁だと思ったので悶々ホルモンをAmazonで。一年間毎週ホルモンを食べる生活には、何…