とりあえずリンクしておく。よく眠るために覚えておきたい17のTips | POP*POP こういうのが必要な人がいるから。僕とかtetzとか……。

Type inference - Wikipediaに型推論に関する記述がある。現時点では日本語の項目*1で言及されていないアルゴリズムに関する項目もある。ざっと斜め読みした感じだと： 各部分項について型を判定し、述語論理式の集合を構成する 述語論理式の集合の全ての要…

一年間、力を注いできた卒業研究が終わり、２つの卒業旅行に行ってきた。 卒業研究 卒業研究は人工知能に関する理論的な研究で、複雑になりすぎて誰にも理解してもらえなかった。 少なくとも何をやったのかについて理解して欲しい、また色々と考えたことを整…