けい【型】
かた【形/型】
読み方:かた
1 (形)物の姿や格好。形状。かたち。「洋服の—が崩れる」「髪の—をととのえる」
2 (形)証拠に残すしるし。保証のしるし。抵当。「カメラを借金の—に置く」
3 (型)ある物のかたちを作り出すためのもの。鋳型、型紙などの類。「石膏(せっこう)で義歯の—を取る」
4 (形・型)芸能や武道などで、規範となる動作・方式。「能楽の—」「投げの—」
5 (型)きまったやり方。伝統的なしきたり。慣例。「—を破る」「—どおりのあいさつ」
6 (型)事物を類別するとき、その個々に共通した特徴を表している形式、形態。タイプ。「血液の—」「古い—の人間」
8 (形)空手の競技種目の一。相手の動きを想定し、攻撃と防御の技を一連の流れの中で組み合わせた演武。個人戦と団体戦があり、審判の採点によって勝敗が決まる。→組手3
「生ふ楉(しもと)この本山のましばにも告(の)らぬ妹が名—に出でむかも」〈万・三四八八〉
13 (「がた」の形で)
㋐(形)名詞の下に付いて、その物に似たかたちをしていることを表す。「卵—」「ピラミッド—」
㋑(型)名詞と形容詞の語幹の下に付いて、ある性質・特徴・形式をもっていることを表す。「最新—」「ハムレット—」「うるさ—」
→形(かたち)[用法]
がた【形/型】
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/14 00:08 UTC 版)
型(かた)
- 個々のもの形を生ずるもととなるもの[1]。
- 伝統や習慣として決まった形式[1]→伝統、習慣
- 武道・伝統芸能・スポーツなどで規範となる方式[1]。名人などによって生み出された技法や表現形式といえる[2]。「機械・工業製品の"型"とは違い、カタに嵌ったものではないし、そうであってはならない」という意味で形と書くことも多い。「規範動作」
- ものを類に分けた時(つまり分類した時)それぞれの類の特質をよく表したもの[1]。典型。タイプ →典型、タイプ
- 決まった大きさ[1]。決められた大きさ・サイズ。規格サイズ。
- コンピュータで扱うデータの決められた形式・種類(整数型、浮動小数点型、文字型、集合型、ポインタ型 等)→データ型
- 一定の設計理念に基づく製作物・製品の集合、あるいはその設計要項。型の名称は設計者の名が使われることが多い。「式」「風」とも。また、共通点の多い製品群(機械製品・建築物・アパレルなど)。名称は代表的製品の名が使われることが多い。
- 生物学における分類上の位。「琉球列島型」、「縦縞型」、「橙色型」などのように使われる。種及び亜種の下に設置される分類段階。人種や民族はこの分類段階に相当する。類義語に地域個体群や品種などがある。
- 生物学における種の多様性の表現。「色彩多型」や、「季節多型」、「血液型」などが含まれる。「しわ型」、「花紫型」、「遡河回遊型」などのように使われる。この意味での型という表現には2つの異なった定義が存在する。そのほかランダムに発生する変種のことを指す場合もある。varietyの一つと捉えられる。
- 遺伝子型の意味で型という表現が使われることもある。
- 1 型の概要
- 2 関連項目
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/19 00:28 UTC 版)
型(形)とは、一人で演武する空手の練習形式である。各種の技を決まった順序で演武し、演武時間は型によって数十秒から数分間続く。修業者は型の練習を通じて、空手の基本的な技や姿勢を身につけるだけでなく、組手などへの実践応用に必要な空手独特の身体動作を身につけることができるとされる。 空手の型の数はすべて数えれば数十にもなり、すでに失伝した型もあれば、明治以降新たに創作された型(ピンアン等)もある。首里手、泊手、那覇手の各系統によって、習う型の種類には相違があり、また流派によっても相違がある。同じ型でも流派によって、また沖縄と本土によっても相違が存在する。 首里手の型には、ナイファンチ、バッサイ、クーサンクーなどがある。泊手の型には、ナイファンチ、ワンシュー、ローハイなどがある。那覇手の型には、サンチン、セイサン、スーパーリンペイなどがある。 今日では型の試合も実施され、型の演武それ自体が一つの競技とされるに至っている。試合化によって、型の完成度が高まると期待される一方、勝敗を意識して、難易度の高い型を選ぶ、同じ型でもより見栄えのするように演武する弊害、いわゆる「華手(ハナディー)」の問題なども指摘されている。
※この「型」の解説は、「空手道」の解説の一部です。
「型」を含む「空手道」の記事については、「空手道」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/10/30 15:58 UTC 版)
これらの物質の主なカテゴリーは、以下の通りである。 塩基アナログ(ヌクレオ塩基を変更)プリンアナログ ピリミジンアナログ ヌクレオシドアナログヌクレオ塩基を変更したヌクレオシド 糖成分を変更したヌクレオシド(シタラビン等) ヌクレオチドアナログ 抗葉酸剤
※この「型」の解説は、「代謝拮抗剤」の解説の一部です。
「型」を含む「代謝拮抗剤」の記事については、「代謝拮抗剤」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/06/01 06:41 UTC 版)
「沖縄小林流空手振興会」の記事における「型」の解説
練習体系の型は以下の通り。 基本型 1、2、3、4、5 普及型 1、2、3、4、5 ピンアン(ピンアン初段〜五段) 内歩進、(初段〜三段) 抜塞、 小(糸洲)、大(多和田) 公相君、 小、大 鎮闘 五十四歩 北谷屋良公相君 ワンスー アーナンコー ローハイ ジオン
※この「型」の解説は、「沖縄小林流空手振興会」の解説の一部です。
「型」を含む「沖縄小林流空手振興会」の記事については、「沖縄小林流空手振興会」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/13 01:55 UTC 版)
「少林寺流空手道錬心舘」の記事における「型」の解説
錬心舘では他の空手道で呼称されている「形」ではなく「型」と呼称しており、少林寺流正流七法と呼ばれる以下の七つの型を修行する。 南光(アーナンクー) 汪輯(ワンシュウ) 半月(セイサン) 鎮東(チントウ) 五十四歩(ゴジュウシホ) 抜塞(バッサイ) 公相君(クーシャンクー)
※この「型」の解説は、「少林寺流空手道錬心舘」の解説の一部です。
「型」を含む「少林寺流空手道錬心舘」の記事については、「少林寺流空手道錬心舘」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/17 17:36 UTC 版)
テコンドーには空手と同様に「型」がある。ITFの型は「トゥル」、WTの型は「プムセ」(品勢)と呼ばれる。
※この「型」の解説は、「テコンドー」の解説の一部です。
「型」を含む「テコンドー」の記事については、「テコンドー」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/07 13:59 UTC 版)
ミヤマクワガタでは亜種のような遺伝的に固定された地域個体群ではないと考えられているが、型と呼ばれる多形が存在する。 基本型 f. maculifemoratus - モスクワ大学のタイプ標本がこの型となっている。第三内歯と第一内歯がほぼ同じ長さで先端の二叉はやや発達する。 フジ型 f. nakanei - 第一内歯が第三内歯より長い。先端の内歯と外歯が作る二叉の角度も小さい。東海地方に多いとされるが、林長閑によると日本全国で見られると言う。 エゾ型 f. hopei - 上型と反対の性質を持つ。北海道に多く見られ、他地域でも標高1000m前後より上の高標高地に生息する。尚、北海道では高地だけではなく、低地にも見られる。 また2型両方の特徴を兼ね備えたと思われる個体も散見される。この多形の発現要因として、幼虫時の温度環境などが仮説として挙げられているが、遺伝的多型だと考える者もいる。前者の論拠として、小島啓史 (1996) が蛹室から掘り出したエゾ型を東京で繁殖した子が全てフジ型だったこと、従来ヤマ型しかいなかった埼玉県寄居町・小川町・間瀬湖・円了湖で現在見られるのがフジ型だけになっている事、同所的に3つの型が確認できる場所ある事などが上げられる。後者の論拠として、武浩がおこなった栃木県川俣湖産の個体群の繁殖では、他の地域の個体群がフジ型〜基本型になる同じ飼育場所で全てエゾ型になったと言う記録がある。また、藤澤樹 (2004) も後者の様な遺伝的多型と考えているという意見を述べた上で実態を調査中であるとしている。 この型の発現理由を調べる研究は、現在つくばの国立環境研究所で五箇浩一と小島啓史によって継続中である。幼虫期の温度環境による発現型であり、その定量的な条件が確認されれば、ミヤマクワガタの型の変化を調べるだけで、その地域の周年温度の変化=地球温暖化の状況が把握できるようになるかもしれない。
※この「型」の解説は、「ミヤマクワガタ」の解説の一部です。
「型」を含む「ミヤマクワガタ」の記事については、「ミヤマクワガタ」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/08/22 07:46 UTC 版)
「HN-5 (ミサイル)」の記事における「型」の解説
HN-5 初期型、9K32のコピーと見なされている。 HN-5A 性能向上型。射程、射角の改善が行われたとされている。 HN-5B 5Aの性能向上型。 HN-5C 車載型
※この「型」の解説は、「HN-5 (ミサイル)」の解説の一部です。
「型」を含む「HN-5 (ミサイル)」の記事については、「HN-5 (ミサイル)」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/01/19 02:19 UTC 版)
テコンドーの型(トゥル)は、テコンドーを習得する上で重要な側面を形成している。空手の型と同様の位置づけと捉えることができる。大半の型(ユルゴク、ウルチ、トンイルを除く)は防御姿勢から始まり、テコンドーの防御的な性質を表している。すべての型の開始位置と終了位置は同じであり、正確な移動幅と移動方向でおこなう必要がある。 ITF の公式要覧には24の型がある。この数字は、1日は24時間あることを象徴的に意味するものである。型の名称は主に朝鮮の歴史上の出来事や重要人物を意味しており、動作数・動作位置・終わり方などの型を構成する要素も、朝鮮の歴史と関連付けられるものが多い。 ITFの型 (トゥル) 一覧#名称漢字表記英字表記動作数習得階級命名の由来1チョンジ 天地 Chon-Ji 19 9級 東洋において「天地」は、世界の創造あるいは人類の歴史の始まりと解釈されているため、最初に学ぶ型に名づけられた。 2タングン 檀君 Dan-Gun 21 8級 紀元前2333年に朝鮮を建国したと伝説上いわれている始祖・檀君(タングン)の名にちなんだ。 3トサン 島山 Do-San 24 7級 日本による植民地支配の時代、その全生涯を朝鮮の教育の向上と独立運動に捧げた、安昌浩(アンチャンホ)の雅号。 4ウォニョ 元暁 Won-Hyo 28 6級 西暦686年新羅の王朝に仏教を初めて伝えた高僧、元暁(ウォニョ)の名にちなんだ。 5ユルゴク 栗谷 Yul-Gok 38 5級 李退渓(リ・テゲ)とともに朝鮮儒学の双璧を成す大儒学者、李珥(リ・イ)のこと。東方の聖人とも呼ばれた彼の字(あざな)である。 6チュングン 重根 Joong-Gun 32 4級 朝鮮独立のために闘った民族の英雄、安重根(アン・チュングン)の名にちなんだ。のちに彼は伊藤博文を暗殺し、処刑された。 7テェゲ 退渓 Toi-Gye 37 3級 朝鮮儒学の最高峰である李滉(リ・ファン)のこと。李退渓は、彼を尊敬の念をこめて呼ぶ際の別名、字である。 8ファラン 花郎 Hwa-Rang 29 2級 新羅王朝時代の青年貴族の軍団で三国統合の原動力のひとつとなった花郎徒(ファランド)の名にちなんだ。 9チュンム 忠武 Choong-Moo 30 1級 豊臣秀吉の侵略軍を粉砕した李朝の海軍提督、李舜臣(リ・スンシン)将軍の諡号(しごう)。 10クワンゲ 廣開 Kwang-Gae 39 1段 高句麗王朝最強の王、廣開土王(クワンゲトワン)の名にちなんだ。 11ポウン 圃隠 Po-Eun 36 1段 高麗末期の有名な詩人でもある文臣、鄭夢周(チョン・モンジュ)の雅号。 12ケベク 階伯 Ge-Baek 44 1段 百済王朝末期の悲劇の将軍、階伯(ケベク)の名にちなんだ。 13ウィアム 義菴 Eui-Am 45 2段 1919年の三一独立運動に際し、独立宣言文に署名した33名の民族代表の筆頭者のひとり孫秉煕(ソン・ビョンヒ)の雅号。 14チュンジャン 忠壮 Choong-Jang 52 2段 15世紀李王朝時代、日本の侵略に決起した非運の義兵隊長、金徳齢(キム・ドンリョン)の雅号。 15チュチェ 主体 Juche 45 2段 テコンドーでいう克己は、まず自らの主体(チュチェ)を確立することだ。演武線は、朝鮮民族の主体を象徴する白頭山をイメージしている。 16サミル 三一 Sam-Il 33 3段 1919年3月1日に、ソウル・パゴダ公園での独立宣言をきっかけに朝鮮全土を揺るがせた三一独立運動の歴史的な日付を示している。 17ユシン 庾信 Yoo-Sin 68 3段 高句麗、百済、新羅の三国時代に終止符を打った新羅の大将軍、金庾信(キム・ユシン)将軍の名にちなんだ。 18チェヨン 崔瑩 Choi-Yong 46 3段 高麗王朝末期の武人政治家崔瑩(チェ・ヨン)将軍の名にちなんだ。 19ヨンゲ 淵蓋 Yon-Gae 49 4段 高句麗末期の勇猛な将軍、淵蓋蘇文(ヨン・ゲソムン)の名にちなんだ。 20ウルチ 乙支 Ul-Ji 42 4段 612年に隋の煬帝に率いられた約百万の隋軍の侵入に対して、高句麗の防衛を果たした乙支文徳将軍(ウルチ・ムンドク)の名にちなんだ。 21ムンム 文武 Moon-Moo 61 4段 高句麗、百済、新羅の三国を統合した第30代新羅王文武(ムンム)を称えて名づけられた。 22ソサン 西山 So-San 72 5段 豊臣秀吉の朝鮮侵略に抗して僧侶義兵軍を組織した李王朝時代の高僧崔玄応(チェ・ヒョヌン)の雅号。 23セジョン 世宗 Se-Jong 24 5段 1443年にハングルを編み出すなど、史上最も偉大な王として有名な世宗(セジョン)の名にちなんだ。 24トンイル 統一 Tong-Il 56 6段 1945年以来分断されている南北朝鮮の統一の決意をあらわしている。
※この「型」の解説は、「国際テコンドー連盟」の解説の一部です。
「型」を含む「国際テコンドー連盟」の記事については、「国際テコンドー連盟」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/14 17:06 UTC 版)
釵の型には、津堅志多伯の釵、浜比嘉の釵、北谷屋良の釵、慈元の釵、多和田の釵、浜御殿屋可阿の釵、端多小の釵、湖城の釵、大筑の釵などがあり、沖縄の正統の系譜にある空手・古武術道場各所、また琉球古武術保存振興会、琉球古武道保存会など、保存の文字を掲げる組織に保存されているらしい。一説によると「釵で有名な金城大筑の教えは喜納昌盛へ伝わりその後は今も一子相伝により密かに沖縄の町道場で伝えられている」と言われている。「戦前の沖縄県の警官には釵術を体得した者も存在した」と言われる。
※この「型」の解説は、「釵」の解説の一部です。
「型」を含む「釵」の記事については、「釵」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/26 09:03 UTC 版)
撃砕(ゲキサイ)第一または初段 撃砕(ゲキサイ)第二または弐段 剛柔流の多くの道場で、一番初めに習う型。昭和15年に宮城長順が創作。のちに撃砕第一を一部変更して初心者・他流派出身者向けに手直ししたものが、普及形二(現代ではローマ数字で普及形Ⅱと表記されることが多い)として1941年に当時の沖縄県で採用された。 突きや受け、転身(体さばき)、立ち方などの基本的な動作がバランスよく採り入れられ、かつ破綻なく紡がれており、空手を行う上での基礎体力を養うのに適している。 ちなみに撃砕第一は基本的に手を正拳に握って使うが、第二では開手を使用し、動作も若干高度になっている。 サンチン(三戦) 「サンチン立ち」に象徴される、剛柔流の背骨とも言える型。「サンチン」とは、立ち方や型のみならず、伸ばす筋肉と曲げる筋肉を同時に働かせる事で任意の関節をロックし、外部からの衝撃に対する耐久力を高める技術全般の事を指す。 テンショウ(転掌) 突きが繰り返し使われるサンチンに対し、殆どが受けの動作で構成されている珍しい型 サンチン、転掌は共に単純な動作の型であるが剛柔流の基本思想は辿っていけばここに行き着くと言っても過言ではなく、高段者でも、常にここへ立ち返って確認するほどである。六機手→転換手→転掌と名が変わる。宮城長順の考案(制定)型。 サイファ(砕破・最破) 全日本空手道連盟第一指定形 猿臂(肘)を多用する比較的短い型。 サンセイルー(三十六手) 宮城長順の同門である許田重発だけが、この型を東恩納から習ったとされる。宮城長順は兵役に就いていたため、サンセイルーを習うことができなかった。「許田のサンセイルー」を記録した8ミリフィルムが最近まで残っていた。 セイユ(エ)ンチン(制引戦・征遠鎮) かつては「制引戦」と書いてこう読ませたが、戦前・戦時中に、当時の世相を反映して武勇・軍事色の強い表記に改変され、現在に至っている。旧い方の名前が示すとおり、襟や手首などをつかんで引きつけようとする相手を想定した技が多く含まれる。柔の要素が強く、蹴り技が全く存在しないのも大きな特徴である。 シソウチン(四向戦・士壮鎮) セイユンチンと同様の事情により「四向戦」と言う表記から、このような表記となった。動作の大きな受け技が目を引くが、これは恐らく長物との戦闘を想定しての事であろうと思われる。 セイパイ(十八手) 全日本空手道連盟第一指定形 全ての型の中で最も柔の要素が強く、発祥が南部の黄河流域ではなく、北方や西方の砂漠地帯であるとする説もあり、実際剛柔流に限らず、空手の型としてはかなり異彩を放っている。大抵どんな武術も、その地域の気候や風土に合わせて変化、改良されてゆくものであるが、このセイパイは、大陸から伝わったものが、殆ど手を加えられずに原型を留めていると言われる。 セイサン(十三手) 全日本空手道連盟第二指定形 セイパイを柔の型とするならば、こちらは剛の型の最右翼と言ってよい、非常に動作の激しい型であり、突きを得意とする人が好んで練習する傾向のある型である。東恩流にもセイサンはあるが東恩納寛裕が伝えた型であり、剛柔流のセイサンは東恩納寛量の伝えた型で、全く違う型である。 クルルンファー(久留頓破・来留破) 全日本空手道連盟第二指定形。 スーパーリンペイまたはペッチューリン(壱百零八手または百歩連) 剛柔流最高峰とされる形。本来は上・中・下の三つの形から構成されると言われ、現在の同形はそのうちの一つと言われている。
※この「型」の解説は、「剛柔流」の解説の一部です。
「型」を含む「剛柔流」の記事については、「剛柔流」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/22 17:12 UTC 版)
練習体系は、基礎型と呼ばれる型を中心に行われ、主要な型は以下の通り。 防御基礎型 法型(上手法型、払手法型、横手法型、手刀手法型) 太極(太極初段~三段) ピンアン(ピンアン初段~五段) 体裁き(体裁き初段~三段) 内歩進、青柳、抜砦、制引戦、セーシャン、公相君、心波、ワンシュウ、ジッテ、ジオン、ジインなど
※この「型」の解説は、「全日本清心会」の解説の一部です。
「型」を含む「全日本清心会」の記事については、「全日本清心会」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/15 09:34 UTC 版)
「J (プログラミング言語)」の記事における「型」の解説
Jのデータ型は他の言語のような整数、浮動小数点数、文字列の他に有理数や複素数などもある。
※この「型」の解説は、「J (プログラミング言語)」の解説の一部です。
「型」を含む「J (プログラミング言語)」の記事については、「J (プログラミング言語)」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/23 23:37 UTC 版)
「ワールド極真会空手連盟」の記事における「型」の解説
ワールド極真会空手連盟(WKKO)の主な型は次のとおり。 太極(たいきょく)その1~太極その3 正道の型(せいどうのかた) 太極足技(たいきょくそくぎ)1~3 平安 (ピンアン)Ⅰ/Ⅱ/Ⅲ/Ⅳ/Ⅴ 安三(ヤンツー) 撃砕大(げきさいだい) 撃砕小(げきさいしょう) 平安裏(ピンアンウラ) Ⅰ/Ⅱ/Ⅲ/Ⅳ/Ⅳ 臥龍(がりゅう) 十八(セーパイ) 最破(サイハ) 転掌(てんしょう) 抜塞大(バッサイダイ) 鉄騎(てっき)その1~その3 征遠鎮(セイエンチン) 観空(カンクウ) 五十四歩(スーシホ) 棒の型 正道の棍(せいどうのこん) 大城の棍(おおしろのこん) 周氏の棍(しゅうしのこん) その他 トンファの型 ヌンチャクの型
※この「型」の解説は、「ワールド極真会空手連盟」の解説の一部です。
「型」を含む「ワールド極真会空手連盟」の記事については、「ワールド極真会空手連盟」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/01 07:43 UTC 版)
行列に含まれる行の数が m, 列の数が n である時に、その行列を m 行 n 列行列や m × n 行列、m n 行列などと呼ぶ。行列を構成する行の数と列の数の対を型 (英: type) あるいはサイズという。したがって m 行 n 列行列のことを (m, n) 型行列などと呼ぶこともある。K 上の m × n 行列の全体は Km×n, Km,n や Mat(m, n; K), Mm×n(K) などで表される。 1つの列を持つ行列を列ベクトル、1つの行をもつ行列を行ベクトルと呼ぶ。例えば行列 A = [ a 11 a 12 a 21 a 22 ] {\displaystyle A={\begin{bmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{bmatrix}}} に対して、[a1 1a2 1] , [a1 2a2 2] はその列ベクトル、[a1 1 a1 2], [a2 1 a2 2] はその行ベクトルである。 行と列の数が同じである行列は正方行列と呼ばれる。無限の行または列をもつ行列を無限次行列と呼ぶ。プログラミングにおいて行または列を持たない行列を考えると便利となることがしばしばあるが、このような行列を空行列と呼ぶ。 名前型例説明行ベクトル 1 × n [ 3 7 2 ] {\displaystyle {\begin{bmatrix}3&7&2\end{bmatrix}}} 1つの行を持つ行列。ベクトルを表すのに使われることがある。 列ベクトル n × 1 [ 4 1 8 ] {\displaystyle {\begin{bmatrix}4\\1\\8\end{bmatrix}}} 1つの列を持つ行列。ベクトルを表すのに使われることがある。 正方行列 n × n [ 9 13 5 1 11 7 2 6 3 ] {\displaystyle {\begin{bmatrix}9&13&5\\1&11&7\\2&6&3\end{bmatrix}}} 行と列の数が同じである行列。鏡映や回転、せん断のようなベクトル空間の線形変換を表すのに使われることがある。
※この「型」の解説は、「行列」の解説の一部です。
「型」を含む「行列」の記事については、「行列」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/11/20 02:06 UTC 版)
Haskell の型名は先頭が大文字でなければならない。標準で存在する単純なデータ型としては、Bool(真偽値)型、Int(整数)型、Float(単精度浮動小数点数)型、Char(文字)型、String(文字列)型などが予め定義されている。任意の式の型を定義するには、式と型の間に :: 記号をおく。また、変数などのシンボルを定義する際に変数名を式に指定して書くことで、その変数の型を指定することができる。例えば、次は円周率およびネイピア数を定数として定義し、さらにその型も浮動小数点型として指定している。 pi :: Floatpi = 3.1415926535e = 2.7182818284 :: Float -- 式の中でその型を指定している 関数の型は、各引数の間を -> 記号で区切って表記する。関数は引数をひとつ適用するたびに、その型は -> で区切られたうちの一番左が消えた型となると考えればよい。例えば、ふたつの整数を引数にとりその最大公約数を返す関数 gcd の型は次のように定義される。 gcd :: Int -> Int -> Int -- 関数名 :: 引数1の型 -> 引数2の型 -> 返り値の型 型変数を使い、型を抽象化することもできる。これは C++ のテンプレートや Java のジェネリクスに相当するが、様々な種(型の型)に適用できるためより柔軟である。例えば、a 型の値をとり、それをそのまま返す恒等関数 id を型の指定とともに定義すると以下のようになる。ここで任意の型を示す型名 a が定義に使われているが、このように先頭が小文字で始まっている型名は具体的な型名ではなく型変数である。この関数はあらゆる型の値を引数にとることができる。 id :: a -> aid x = x また、データ型はパラメータとして型変数を持つことができる。例えば、スタックやハッシュテーブルなどのデータ型は、その要素の型を型変数として定義する。ハッシュテーブルを実装するデータ型 HashMap :: * -> * -> * があり、キーに文字列(String)、値に整数(Int)を持つハッシュテーブル hashtable の型は次のようになる。 hashtable :: HashMap String Int そのほか、特殊な表記を持つ型としてリストとタプル、文字列がある。リストは Haskell で極めて頻繁に用いられるため、特別な構文が用意されている。リストは要素の型を角括弧で囲む。次は Char(文字)のリストを束縛する変数 text の定義である。文字のリストは文字列と等価である。2行目にあるように、文字列は殆どのプログラミング言語と同じように二重引用符で囲む。コメントにHaskellでのリストの表記を添えた。最後にデシュガー(糖衣構文を元の表記に戻すこと)したリストの表記法を示した。textもhelloも等価である。 text :: [Char]text = "Hello" -- ['H','e','l','l','o'] の糖衣構文hello :: [Char]hello = 'H':'e':'l':'l':'o':[] タプルは要素の型をカンマで区切り、括弧で囲む。次は Float(浮動小数点数)の値をもつ2次元座標のタプルが束縛される変数 point の定義である。 point :: (Float,Float)point = (3, 7) タプルは2以上ならいくつでも要素を持つことができる。1要素のタプルは優先順位の括弧と表記が衝突し、また用途がないので存在しない。要素数がゼロのタプルは特に「ユニット」(Unit) と呼ばれ、有効な値を持たないなどの時に使われる。 type キーワードを用いて、型に別名をつけることができる。次は [Char] に String という別名をつけている。 type String = [Char]text :: String Haskellの型は型構築子(型コンストラクタ、type constructor)から構築される。型構築子Tに型変数(Type variables)v1 v2 vNを与え型式(type expression)T v1 v2 vNとして評価することで型が構築される。型構築子の例には以下が挙げられる。 表: 型構築子の分類と例カインド総称例出典* nullary type constructors, type constants Int, Bool * -> * unary type constructors Maybe, IO * -> * -> * binary type constructors Either 例えば型構築子Maybeに型変数Intを渡し、Maybe Intとすることで型が構築される。
※この「型」の解説は、「Haskell」の解説の一部です。
「型」を含む「Haskell」の記事については、「Haskell」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/20 04:44 UTC 版)
※この「型」の解説は、「古代戦士ハニワット」の解説の一部です。
「型」を含む「古代戦士ハニワット」の記事については、「古代戦士ハニワット」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/06 01:55 UTC 版)
湖城流の型は6つあるとされる。 白鶴 白龍 白虎 天巻 空巻 地巻 その他に古伝首里手形、杖術、棒術、サイ術の形が伝わる。
※この「型」の解説は、「湖城流」の解説の一部です。
「型」を含む「湖城流」の記事については、「湖城流」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/04 16:12 UTC 版)
太極初段 太極二段 太極三段 平安初段 平安二段 平安三段 平安四段 平安五段 鉄騎初段 鉄騎二段 鉄騎三段 抜塞大 抜塞小 観空大 観空小 半月 十手 燕飛 岩鶴 慈恩 壮鎮 二十四歩 五十四歩大 五十四歩小 珍手 雲手 明鏡 王冠 慈陰 松濤館流の全日本空手道連盟指定形は次のとおり。 第一指定形:観空大 慈恩 第二指定形:観空小 燕飛
※この「型」の解説は、「松濤館流」の解説の一部です。
「型」を含む「松濤館流」の記事については、「松濤館流」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/04/20 13:20 UTC 版)
紅纓-5(HN-5)は、9K32をベースとして国産化、開発されたものである。 紅纓-6(HN-6)は、飛弩-6(FN-6)としても知られる、新規に開発されたミサイル。改良型として、FN-16が存在している。
※この「型」の解説は、「紅纓 (ミサイル)」の解説の一部です。
「型」を含む「紅纓 (ミサイル)」の記事については、「紅纓 (ミサイル)」の概要を参照ください。
型
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/29 03:53 UTC 版)
現在、トウヨシノボリとされているものは、かつて多くの型に分けられていた。今後の研究によって、いくつかの型や種にわけられる可能性が高い。 橙色型 偽橙色型→後に和名「クロダハゼ」を与えられた 縞鰭型 宍道湖型 などがある。
※この「型」の解説は、「トウヨシノボリ」の解説の一部です。
「型」を含む「トウヨシノボリ」の記事については、「トウヨシノボリ」の概要を参照ください。
型
型
「型」の例文・使い方・用例・文例
- 型にとらわれない教育
- 模型自動車をどれでも1つ取りなさい
- 私のガールフレンドはその新人歌手と同じような髪型をしている
- B型血液
- 大型爆弾
- あの髪型をよく見てみろよ
- 風邪の典型的な症状
- 大型車両通行禁止
- 彼女はその髪型で目立った
- 彼らは新型のワープロを考案した
- 型どおりのあいさつ
- 従来型のオーブン
- 私は新しい髪型を探している
- セールスマンは新型のパソコンの実物を見せて宣伝した
- その男は新型のコピー機を実際に動かして見せた
- 新型の鉛筆削り器
- この新型車はこれまでのよりずっと運転が楽です
- 模型の船を水に浮かべる
- 典型的な人
- 型にはまる
型と同じ種類の言葉
「型」に関係したコラム
-
FXやCFDでのサポートラインとは、相場の下値を支える線のことで、支持線ともいいます。また、レジスタンスラインとは、相場の上値を押える線のことで、抵抗線ともいいます。FXやCFDでのサポートラインとレ...
-
ETFの取引単位は銘柄により異なります。ETFの場合、取引単位は10株単位や100株単位であることが多いようです。また、価格が1万円前後の銘柄は1株単位、100円前後の銘柄は1,000株単位が多いよう...
-
ETFを始めるための最低資金はいくらでしょうか。ETFの取引では売買代金に加えて取引手数料などの費用がかかるため、最低資金は次の計算式で求めることができます。資金=売買代金+取引手数料+その他費用売買...
-
ETFの銘柄数は2012年9月の時点で約140あります。そして、いずれの銘柄にも価格の連動となる対象の商品があります。ここでは、ETFの銘柄をジャンルごとに紹介します。表の「コード」は株式コード、「市...
-
ETFを上場するには、証券取引所の定める上場審査基準や適時開示基準、上場廃止基準といったさまざまな基準をクリアする必要があります。2012年9月現在、ETFを上場している企業は17社あります。上のグラ...
-
ETFを取り扱う証券会社の中には、ETFのセミナーを開催していることがあります。また、インターネットを介した「Webセミナー」を開催しているところもあります。次の表はセミナーを開催している証券会社と過...
- >> 「型」を含む用語の索引
- 型のページへのリンク