Church-Rosser性については計算機科学系(関数型プログラミング言語)の文脈で重要そうなので軽くぐぐったところ、↓3章の証明は(ばりばりプログラミング言語側だが)並行簡約とその結果*を使ってて今回の証明と大枠同じ方針っぽい？ https://t.co/XBe4HggxhP #論理学友の会

@miura1729 形式言語に対する（有限加法的）測度論的アプローチ，日本語の読みやすい神文献があるのでぜひ！ 基本は文字列の話なので情報系の人も馴染みやすいと思います〜 https://t.co/LoR76NoLS1 https://t.co/yagguRJHLB

論文「標準的なゲームプレイヤにとって自然に見える疑似乱数列の生成法」、めっちゃ面白え！ 「数学的に正しく生成された乱数」と「プレイヤーが考える公平な乱数」って結構違うんだぜ！という話を、認知科学や心理学のアプローチで解説してる論文。 https://t.co/cO5CzTeaWz