t_wの輪郭

http://bitlaw-jp.github.io/logicon-system/

わたしの中でProlog（というか述語論理）が復権しそうな気配を見せている。

GraphQL的なAPI記述言語としてなんかこう、、、やってけませんかね。

形式言語をよく知らずにすげー適当なことを言ってみる

https://zenn.dev/guregu/articles/b35a392e1fb8ff

https://www.amazon.co.jp/%E6%B3%95%E5%BE%8B%E5%AE%B6%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AE%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E5%88%A9%E7%94%A8%E6%B3%95%E2%80%95%E8%AB%96%E7%90%86%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E5%85%A5%E9%96%80-%E5%8A%A0%E8%B3%80%E5%B1%B1-%E8%8C%82/dp/4641075417/ref=cm_cr_arp_mb_bdcrb_top?ie=UTF8