検索結果

(前の20件 | ) (20 | 50 | 100 | 250 | 500 件) を表示
  • Λのサムネイル
    Λ (ラムダからのリダイレクト)
    Λ, λ(ラムダ、古代ギリシア語: λάβδα ラブダ、ギリシア語: λάμδα ラムダ, λάμβδα ラムヴダ、英: lambda)は、ギリシア文字の第11字母。数価は 30、音価は /l/。ラテンアルファベットのL、キリル文字のЛ・Љはこの文字に由来する。 フェニキア文字 𐤋…
    4キロバイト (446 語) - 2023年11月26日 (日) 11:25
  • ラムダ計算(ラムダけいさん、英語: lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(英語: evaluation)と適用(英語: application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ)…
    35キロバイト (5,191 語) - 2023年11月1日 (水) 06:33
  • 新型コロナウイルス (SARS-CoV-2) > SARS-CoV-2の変異株 > ラムダ株 (系統 C.37) SARSコロナウイルス2-ラムダ株(サーズコロナウイルスツー ラムダかぶ、英語: SARS-CoV-2 Lambda variant、別名: 系統 C.37)は、新型コロナウイルス感染症…
    14キロバイト (1,460 語) - 2023年12月22日 (金) 12:13
  • ラムダロケットのサムネイル
    ラムダ(Λ)ロケットとは東京大学生産技術研究所と後継機関の東京大学航空宇宙研究所(後の宇宙科学研究所)が、プリンス自動車工業と後継企業の日産自動車宇宙航空事業部と共に開発した全段固体燃料の観測ロケットシリーズである。 1960年に高度1,000kmの内側ヴァン・アレン帯に届く観測ロケットシリーズと…
    11キロバイト (1,861 語) - 2024年3月15日 (金) 23:32
  • ラムダ粒子のサムネイル
    ラムダ粒子(らむだりゅうし)とは、素粒子物理学においてバリオンに分類されるハドロンの一種である。1つずつのアップクォークとダウンクォーク及びもう1つのクォークから構成される複合粒子である。 最初に見つかったラムダ粒子は、1947年に宇宙線の相互作用から発見された。粒子の寿命は10-23秒以下と計算さ…
    5キロバイト (361 語) - 2022年9月20日 (火) 10:47
  • SLAM DUNK (ラムダンクからのリダイレクト)
    『SLAM DUNK』(スラムダンク)は、バスケットボールを題材にした井上雄彦による日本の漫画作品。『週刊少年ジャンプ』にて、1990年(42号)から1996年(27号)にかけて全276話にわたり連載され、アニメやゲームも制作された。 主人公の不良少年桜木花道の挑戦と成長を軸にしたバスケットボール漫画。単行本第21…
    83キロバイト (8,339 語) - 2024年2月14日 (水) 15:28
  • NBAスラムダンクコンテスト(公式名称はスプライト・スラムダンク)はNBAのオールスターウィークエンドの土曜日に行われるスラムダンクコンテストである。出場者が独創性などを織り込みながらダンクシュートを競う。 スラムダンクコンテストが初めて開催されたのは1976年、ABAオールスターゲームのことだった…
    8キロバイト (299 語) - 2024年2月18日 (日) 05:59
  • 型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambda } ) というシンボルを用いる型付き形式手法である。型付きラムダ計算は基礎的なプログラミング言語でもあり、MLやHas…
    5キロバイト (776 語) - 2023年8月7日 (月) 06:18
  • 株式を店頭公開(ネミックラムダ株式会社)。 1995年 東京証券取引所2部上場。新潟証券取引所上場(いずれもネミック・ラムダ株式会社)。 1996年 東京証券取引所1部指定替え(ネミック・ラムダ株式会社)。 1998年 非接触型ICカード用のリーダライタを開発。 デンセイ・ラムダ株式会社 1999年 ネミック・ラムダ
    7キロバイト (687 語) - 2023年6月25日 (日) 02:12
  • SLAM DUNK > スラムダンク (1994年の映画) 『スラムダンク』は、1994年3月12日に公開されたアニメーション映画。井上雄彦の漫画『SLAM DUNK』を原作とする劇場版第1弾。製作は集英社、テレビ朝日、東映、東映動画。配給は東映。カラー、ワイド。上映時間は30分。1994年春の東映…
    8キロバイト (897 語) - 2024年3月26日 (火) 12:32
  • 無名関数 (ラムダからのリダイレクト)
    ラムダ式による記法である。無名関数を表現するリテラル式は、関数リテラル (function literal) とも呼ばれる。値がある場合は関数オブジェクトであるものが多い。 ラムダ式 (lambda expression) はラムダ計算と関係が深く、関数型言語で特によく採用されている。…
    10キロバイト (1,256 語) - 2021年1月21日 (木) 01:43
  • ラムダール(ペルシア語: علمدار/ʿalamdār‎,中国語: 阿藍答児,? - 1260年)とは、モンケ・カアンやアリク・ブケに仕えたモンゴル帝国の官僚・将軍。モンゴル帝国帝位継承戦争ではアリク・ブケを補佐してクビライ勢力と争ったが、陝西方面の戦線で敗れ戦死した。アラムダルとも表記される。…
    14キロバイト (2,678 語) - 2021年9月27日 (月) 11:30
  • うしかい座λ型星(うしかいざラムダがたせい、英: 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年3月26日 (火) 12:32
  • SLAM DUNK > スラムダンク 湘北最大の危機! 燃えろ桜木花道 「スラムダンク 湘北最大の危機! 燃えろ桜木花道」(スラムダンク しょうほくさいだいのきき もえろさくらぎはなみち)は、1995年3月4日に公開されたアニメーション映画。井上雄彦の漫画作品『SLAM…
    12キロバイト (1,618 語) - 2024年3月26日 (火) 12:31
  • SLAM DUNK > スラムダンク 吠えろバスケットマン魂!! 花道と流川の熱き夏 「スラムダンク 吠えろバスケットマン魂!! 花道と流川の熱き夏」(スラムダンク ほえろバスケットマンだましい はなみちとるかわのあつきなつ)は、1995年7月15日に公開されたアニメーション映画。井上雄彦の漫画作品『SLAM…
    9キロバイト (1,004 語) - 2024年3月26日 (火) 12:32
  • スクラムダイナ(欧字名:Scrum Dyna、1982年3月21日 - 不明)は、日本の競走馬、種牡馬。 1984年の朝日杯3歳ステークス(GI)を制し、同年のJRA賞最優秀3歳牡馬に選出されたほか、翌1985年の皐月賞(GI)では2着となった。 社台グループの期待を受け矢野進厩舎に入厩したスクラムダ
    11キロバイト (1,020 語) - 2023年10月18日 (水) 07:57
  • ランチア・ラムダのサムネイル
    ラムダ(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人しか操縦できない点とくらべ、アマルガムはラムダ・ドライバ搭載の量産型アーム・スレイブを多数配備するなど、常にミスリルの一歩先を行っている。ただし、その技術的優位のせいで、対ラムダ
    114キロバイト (11,131 語) - 2024年4月14日 (日) 08:51
  • 理論計算機科学 > ラムダ計算 ラムダ計算 (lambda calculus) は、1930年代にアロンゾ・チャーチが関数による数学の基礎づけを目的として導入した形式的体系である。 ほどなくしてラムダ計算で表現できる関数のクラスは再帰的関数のクラスと一致することが示され(チャーチ=チューリングのテーゼ、ラムダ
(前の20件 | ) (20 | 50 | 100 | 250 | 500 件) を表示