カインド

高志が見ている列のわきには、ジョニー・リヴァーズのＬＰと、マインドベンダーズの〈グルーヴィー・カインド・オヴ・ラヴ〉、シェールの〈バン・バン〉がおいてある。

カインド」と片言の英語を囀りながらチョイとつまんで「それからネー宮崎さん。

「どんなカインドの音楽が好き？」と彼は尋ねた。

この店には、様々なカインドのチーズが揃っている。

そのイベントでは、特別なカインドのパフォーマンスが披露された。

彼女は誰にでも親切な、本当にカインドな人だ。

彼のカインドな振る舞いに、周囲の人々は心を打たれた。

困っている人を見過ごせない、それが彼のカインドな性格だ。

型理論における「カインド」とは、型の型を指す概念だ。

プログラミング言語によっては、カインドシステムがより厳密に定義されている。

この関数は、特定のカインドを持つ型を受け取るように設計されている。