アニメは1話と最終話だけ見れば割と達成感がある。話はわからない。
声優等をゲストに呼ぶ結婚情報バラエティ番組の有料配信に明坂聡美さん呼ぶの面白いし、アーカイブみれるうちに見るかな…のぞふぃすもでるしな…
「自然言語に対する」というのとは違うけれど、Catala https://github.com/CatalaLang/catala は法律の条文を機械的な検証にかけるためにはどのような論理体系が適しているかというのをノースウェスタン大学のロースクールで研究した成果をもとにしているらしくて気になっている。
