isyumi_netブログ

isyumi_netがプログラミングのこととかを書くブログ

2018-06-24から1日間の記事一覧

ポリテックと型システム

金融とテクノロジーがフィンテックで行政とテクノロジーがゴブテックなら、政治とテクノロジーの融合はポリテックだそうだ。 政治をよくできそうな技術として、どうも政治家さんにはAIがモテモテのようだが、型システムの方が味がいい気がする。 例えばこの…