2020-01-14から1日間の記事一覧

今年の目標

はてなブログに移行してから何も書いていないようなので何か書いてみようと思っています。 Optimistic Mathematicsのサイトで書いていた数学とコンピューティングに関する記事を更新するために考えたことなどを書いてみたいと思います。Prologを実行できるよ…