Sequent Calculi
ここんところSequent Calculiと格闘しまくり。論理系は得意じゃないのだがやるしかなぃぃ。かなり息切れ気味だが、課題が6段パイプラインでやってくる。さて、どうしたものか。というか周りを見てても最近かなり息切れしてる雰囲気だ。ISer元気がないぞ。
ここんところSequent Calculiと格闘しまくり。論理系は得意じゃないのだがやるしかなぃぃ。かなり息切れ気味だが、課題が6段パイプラインでやってくる。さて、どうしたものか。というか周りを見てても最近かなり息切れしてる雰囲気だ。ISer元気がないぞ。