▽檜山正幸のｷﾏｲﾗ飼育記
●04/29 19:09
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽忍之閻魔帳
●04/27 14:47
｢Google Pixel 6 / 6 Pro｣10月28日発売､藤井風とのｺﾗﾎﾞ企画も
▼｢Google Pixel 6 / 6 Pro｣10月28日発売､藤井風とのｺﾗﾎﾞ企画も
｢Google Pixel 6 / 6 Pro｣10月28日発売､藤井風とのｺﾗﾎﾞ企画も - 忍之閻魔帳▼AmazonMusicUnlimited4ヶ月無料ｷｬﾝﾍﾟｰﾝ開催中10月31日まで★【TokyoGameMusicFes開催記念】AmazonMusicUnlimited4か月無料体験ｷｬﾝﾍﾟｰﾝAmazonの音楽ｻﾌﾞｽｸﾘﾌﾟｼｮﾝｻｰﾋﾞｽ｢AmazonMusicUnlimited｣を4ヶ月無料で試せるｷｬﾝﾍﾟｰﾝが10月31日まで開催中｡通常は1ヶ月､…blog.goo.ne.jp

▽はてなﾀﾞｲｱﾘｰ - ABAの日誌
●04/19 19:18
English version: How to realize various actions in a one-button game

▽ｹﾞｰﾑ屋店員の戯言
●04/18 13:14
｢ｽｰﾊﾟｰﾛﾎﾞｯﾄ大戦30｣DLC1への参戦作品を発表する｢ｽﾊﾟﾛﾎﾞﾁｬﾝﾈﾙ｣が10月15日に配信決定
｢鬼滅の刃 ﾋﾉｶﾐ血風譚｣ﾌﾟﾚｲﾚﾎﾟｰﾄ｡ﾎﾞﾀﾝを連打するだけで劇中さながらのｱｸｼｮﾝが楽しめる
｢CrossCode｣のDLCが配信開始！新たなｽﾄｰﾘｰが楽しめる｢A New Home｣とｷｬﾗｽｷﾝ2種

▽風景音楽作家な私
●04/01 13:20
MusicVket 2
MusicVket(ﾐｭｰｼﾞｯｸﾌﾞｲｹｯﾄ)は､ﾊﾞｰﾁｬﾙ空間上の音楽即売会です｡特別なﾊﾞｰﾁｬﾙ会場で､各ﾌﾞｰｽを巡りながら参加者同士で交流し､楽曲の視聴･購入が可能です｡開催期間：2021年11月6日〓11月14日
www.music.v-market.work