分岐した型の理論
【ぶんきしたがたのりろん】
【bunkishitagatanoriron】
分歧类型论