今日まで知らなかったのだが、Githubは学生であればプライベートリポジトリが無料で使える。 https://github.com/plans ここでいうところの月7ドルMicroプランというのが無料になる。http://d.hatena.ne.jp/hota911/ にも書いてあったのだが、 https://githu…

例えばwikipediaにもプログラム意味論という項目があって、ぼくがやっている研究のベースにあるのはこういった理論なのだが、「意味論」という単語がいまいちピンとこなくてずっと苦しんだ。最近、なんでピンとこないかの理由が少しわかった気がするので書い…