>>123
なんかそういう研究室とかいたん?
ワイも型理論勉強してるからそこあたり勉強してんやけど