検索結果
- ラムダ計算(ラムダけいさん、英語: lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(英語: evaluation)と適用(英語: application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ)…35キロバイト (5,203 語) - 2024年11月1日 (金) 21:44
- 新型コロナウイルス (SARS-CoV-2) > SARS-CoV-2の変異株 > ラムダ株 (系統 C.37) SARSコロナウイルス2-ラムダ株(サーズコロナウイルスツー ラムダかぶ、英語: SARS-CoV-2 Lambda variant、別名: 系統 C.37)は、新型コロナウイルス感染症…14キロバイト (1,445 語) - 2023年12月22日 (金) 12:13
- ラムダ(Λ)ロケットとは東京大学生産技術研究所と後継機関の東京大学航空宇宙研究所(後の宇宙科学研究所)が、プリンス自動車工業と後継企業の日産自動車宇宙航空事業部と共に開発した全段固体燃料の観測ロケットシリーズである。 1960年に高度1,000kmの内側ヴァン・アレン帯に届く観測ロケットシリーズと…12キロバイト (1,895 語) - 2024年6月23日 (日) 12:03
- ラムダ粒子(らむだりゅうし)とは、素粒子物理学においてバリオンに分類されるハドロンの一種である。1つずつのアップクォークとダウンクォーク及びもう1つのクォークから構成される複合粒子である。 最初に見つかったラムダ粒子は、1947年に宇宙線の相互作用から発見された。粒子の寿命は10-23秒以下と計算さ…5キロバイト (361 語) - 2024年9月14日 (土) 07:58
- NBAスラムダンクコンテスト(公式名称はスプライト・スラムダンク)はNBAのオールスターウィークエンドの土曜日に行われるスラムダンクコンテストである。出場者が独創性などを織り込みながらダンクシュートを競う。 スラムダンクコンテストが初めて開催されたのは1976年、ABAオールスターゲームのことだった…8キロバイト (299 語) - 2024年9月21日 (土) 00:42
- 型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambda } ) というシンボルを用いる型付き形式手法である。型付きラムダ計算は基礎的なプログラミング言語でもあり、MLやHas…5キロバイト (776 語) - 2023年8月7日 (月) 06:18
- 株式を店頭公開(ネミックラムダ株式会社)。 1995年 東京証券取引所2部上場。新潟証券取引所上場(いずれもネミック・ラムダ株式会社)。 1996年 東京証券取引所1部指定替え(ネミック・ラムダ株式会社)。 1998年 非接触型ICカード用のリーダライタを開発。 デンセイ・ラムダ株式会社 1999年 ネミック・ラムダ…7キロバイト (687 語) - 2024年6月28日 (金) 16:56
- SLAM DUNK > スラムダンク (1994年の映画) 『スラムダンク』は、1994年3月12日に公開されたアニメーション映画。井上雄彦の漫画『SLAM DUNK』を原作とする劇場版第1弾。製作は集英社、テレビ朝日、東映、東映動画。配給は東映。カラー、ワイド。上映時間は30分。1994年春の東映…8キロバイト (897 語) - 2024年10月5日 (土) 01:53
- アラムダール(ペルシア語: علمدار/ʿalamdār,中国語: 阿藍答児,? - 1260年)とは、モンケ・カアンやアリク・ブケに仕えたモンゴル帝国の官僚・将軍。モンゴル帝国帝位継承戦争ではアリク・ブケを補佐してクビライ勢力と争ったが、陝西方面の戦線で敗れ戦死した。アラムダルとも表記される。…14キロバイト (2,682 語) - 2024年5月30日 (木) 23:51
- うしかい座λ型星(うしかいざラムダがたせい、英: Lambda Boötis star)は、うしかい座λ星をプロトタイプとする化学特異星の分類の一つ。1943年にモーガン、キーナン、ケルマンらがいわゆる「ヤーキスのスペクトル分類」を公表した際に、うしかい座λ星を特殊なA型星として記載したことで知ら…3キロバイト (380 語) - 2022年9月19日 (月) 03:25
- SLAM DUNK > スラムダンク 全国制覇だ! 桜木花道 『スラムダンク 全国制覇だ! 桜木花道』(スラムダンク ぜんこくせいはだ さくらぎはなみち)は、1994年7月9日に公開されたアニメーション映画。井上雄彦の漫画作品『SLAM DUNK』を原作とする劇場版第2弾。製作は集英社、テレビ朝日…10キロバイト (1,140 語) - 2024年10月5日 (土) 01:59
- SLAM DUNK > スラムダンク 湘北最大の危機! 燃えろ桜木花道 「スラムダンク 湘北最大の危機! 燃えろ桜木花道」(スラムダンク しょうほくさいだいのきき もえろさくらぎはなみち)は、1995年3月4日に公開されたアニメーション映画。井上雄彦の漫画作品『SLAM…13キロバイト (1,618 語) - 2024年10月5日 (土) 02:09
- SLAM DUNK > スラムダンク 吠えろバスケットマン魂!! 花道と流川の熱き夏 「スラムダンク 吠えろバスケットマン魂!! 花道と流川の熱き夏」(スラムダンク ほえろバスケットマンだましい はなみちとるかわのあつきなつ)は、1995年7月15日に公開されたアニメーション映画。井上雄彦の漫画作品『SLAM…9キロバイト (1,004 語) - 2024年10月5日 (土) 02:01
- スクラムダイナ(欧字名:Scrum Dyna、1982年3月21日 - 不明)は、日本の競走馬、種牡馬。 1984年の朝日杯3歳ステークス(GI)を制し、同年のJRA賞最優秀3歳牡馬に選出されたほか、翌1985年の皐月賞(GI)では2着となった。 社台グループの期待を受け矢野進厩舎に入厩したスクラムダ…11キロバイト (1,020 語) - 2024年9月2日 (月) 04:35
- ラムダ(Lambda )はイタリアの自動車メーカー、ランチアが1922年から1931年まで製造した中型乗用車。乗用車の分野においてモノコック構造を世界で初めて採用、また量産型の四輪乗用車で世界初となる前輪独立懸架を採用するなど、その先駆的な技術はその後の自動車工学に影響を与えた。 「ラムダ…6キロバイト (876 語) - 2022年12月18日 (日) 02:52
- オリオン座λ星(オリオンざラムダせい、λ Orionis、λ Ori)は、オリオン座の恒星。 青色巨星の主星と青白色の主系列星の伴星による連星系を為している。コリンダー69星団の一員であると考えられている。 メイサ (Meissa) という固有名を持つ。これは、アラビア語の المیسان 、Al…8キロバイト (496 語) - 2023年2月8日 (水) 12:17
- フルメタル・パニック! (ラムダ・ドライバからのリダイレクト)ラムダ・ドライバ搭載兵器に関しては、ミスリルがARX-7(後にARX-8)一機しか有さず、しかも宗介1人しか操縦できない点とくらべ、アマルガムはラムダ・ドライバ搭載の量産型アーム・スレイブを多数配備するなど、常にミスリルの一歩先を行っている。ただし、その技術的優位のせいで、対ラムダ…113キロバイト (11,034 語) - 2024年9月25日 (水) 08:07
- ラムダ式(または無名関数)は、C++11から導入された機能であり、関数を定義するための簡潔で柔軟な方法を提供します。ラムダ式は、関数オブジェクト(関数ファンクタ)をインラインで定義し、名前を持たずに一時的な用途で使用することができます。これはコードの簡潔さと可読性を向上させます。 ラムダ
- 英語 lambda からの借用語 ラムダ ギリシア文字のアルファベットで11番目の文字、Λ、λ。