CEFR C2 等級単語
かたつきラムダけいさん (katatsukiramudakeisan)
型付きラムダ計算
英単語・日本語学習「型付きラムダ計算」の重要ポイント
💡 用法・ニュアンス：
Essential structural term in CEFR C2 vocabulary syllabus. (CEFR C2語彙シラバスにおける重要表現です。)
📖 意味 (Definition)
「型付きラムダ計算」の意味・翻訳は：typed lambda calculus
📝 実用例文 (Examples)
私は型付きラムダ計算に興味があります。
I am interested in typed lambda calculus.
定着確認クイズ (Practice)
本番形式の問題で「型付きラムダ計算」の定着度を確認しよう
Choose the correct Japanese word for: "typed lambda calculus"
🎉 正解 / Correct!
解説: 「typed lambda calculus」を意味する日本語は「型付きラムダ計算」です。
English: The Japanese word for "typed lambda calculus" is "型付きラムダ計算".
English: The Japanese word for "typed lambda calculus" is "型付きラムダ計算".
🦅
もっと語彙力を劇的に引き上げたいですか？
Project Eagleでは、最新のAIがあなたの語彙力を自動分析。大人気の「AI英会話ロールプレイ」と、膨大な試験対策模試クイズが完全無料で使い放題です。