https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 叡王戦、ベスト4が千田豊島羽生佐藤(天)とかになりそうで、この面々ならむしろそのままAI達と4対4でも見てみたすぎるなあ… | |
| 承前 https://t.co/FdAWL2X0HL https://t.co/5WhMi2hL1u ：Javaの型の非健全性(キャスト式無しでClassCast例外起こすコードが型検査通る)の話、論文出てたのやっと読めた。 https://t.co/x8e1x93487 | |
| こういうのを見過ごさぬためにどうすべきかの議論(6.3.1)で言ってる、言語のサブセットを形式検証する時に"open-ended"に、つまり注目する構文以外全部捨てた言語でなく"それ以外にもいろいろ式はあるけどそれらは最低限この条件は満たすことは仮定する"言語で検証しようという話 | |
| 実際そういうスタイルでやってるお話もありそうな気がするけどどんなもんなんだろう（なお自分ではとっさに出てこない） |