ほんぶんへ すすむ
？
とは？キッズ
カテゴリ
ことばいちらん
ランキング
ランダム
クイズ
とは？
ことばいちらん
/
型理論
#
型理論
2こ
依存型
いぞんがた
カインド
かいんど
ホーム
カテゴリ
ことば
ランキング
さがす