本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

curry-combs

動詞
活用形 直説法 現在形 単数形 三人称
日本語の意味
これは “curry-comb” の三人称単数現在形を示す活用形です。つまり、動詞“curry-comb”の現在の第三者単数形(例: He/She/It curry-combs)の形を指しています。
このボタンはなに?

彼女は毎朝乗る前にカリーコームで馬の手入れをする。

curry-combed

動詞
活用形 分詞 過去
日本語の意味
『curry-comb』という動詞の過去形および過去分詞形
このボタンはなに?

パレードの前に、彼女はカリーコームでポニーの毛を手入れして、毛並みが光るまで整えた。

curry-combing

動詞
活用形 分詞 現在形
日本語の意味
この単語は『curry-comb』という動詞の現在分詞形を示しています。つまり、動詞の進行形として用いられる活用形です。
このボタンはなに?

朝食の後、ミアは冬毛を取り除くために1時間カリーコームでポニーの毛づくろいをした。

curry tree

名詞
日本語の意味
カレーの木は、シトラスに近い系統の樹木で、南アジア原産。料理の風味付けに利用される(学名:Murraya koenigii)。
このボタンはなに?

私は裏庭にカレーリーフ(ムルヤ・コーニギー)の木を植え、料理に使う新鮮な葉を摘めるようにしました。

関連語

plural

curry trees

名詞
活用形 複数形
日本語の意味
「curry tree」という単語の複数形
このボタンはなに?

夏になると、隣の家のカレーリーフの木々が青々と茂り、近所に素晴らしい香りが広がった。

curry leaf

名詞
日本語の意味
カレーリーフ:カレーの木(Murraya koenigii)の葉で、主にインド料理やタイ料理で風味付けに用いられる(ただし、カレーパウダーに含まれるものではありません)。
このボタンはなに?

レンズ豆を加える前に、その香りを引き出すために油でカレーリーフを一枚炒めました。

関連語

plural

curry-comb

動詞
別表記 異形
日本語の意味
currycombの別形
このボタンはなに?

毎朝、彼らはカリーコームで馬の毛をとかして毛並みをつやつやに保っています。

関連語

present singular third-person

participle present

participle past

past

Curry-Howard isomorphism

固有名詞
日本語の意味
カリー・ハワード対応(Curry-Howard correspondenceの別称)
このボタンはなに?

研究者は、証明とプログラムの深い関係を説明する際によくカリー=ハワード対応を引用します。

Curry-Howard correspondence

固有名詞
日本語の意味
カリー・ハワード対応は、構成的数学的証明とプログラム(特に型付き関数型プログラミング言語の関数)との間、さらに証明された論理式とそのプログラムにおける型との間に対応関係が存在するという類推または主張を表す概念・定理です。
このボタンはなに?

証明とプログラムの対応は、構成的数学の証明と型付き関数型プログラムとの間に深い関係があることを示し、証明がプログラムに、命題が型に対応することを主張する。

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★