moebiusT7/mmv-wiki-index-ja huggingface dataset:
垂秀夫 垂秀夫 日本 の 官僚 埀 秀夫 たるみ ひでお 在中国日本国大使館 より公表された肖像 生年月日 ( 1961-05-23 ) 1961年 5月23日 （64歳） 出生地 日本 大阪府 出身校 京都大学法学部 卒業 称号 法学士 （京都大学） 公式サイト 垂秀夫オフィシャルウェブサイト 第16代 在中華人民共和国大使 在任期間 2020年 9月16日 - 2023年 12月19日 埀 秀夫 （たるみ ひでお、 1961年 〈 昭和 36年〉 5月23日 - ）は、 日本 の 外務 官僚 、 外交官 。 在香港日本国総領事館領事 、 日本台湾交流協会台北事務所総務部長 、 在中華人民共和国日本国大使館公使 、 外務省領事局長 、 外務省大臣官房長 、 在中華人民共和国日本国特命全権大使 （第16代）等を歴任した。 現在、 立命館大学 衣笠総合研究機構教授、および 慶応義塾大学 総合政策学部特別招聘教授を務める。立命館大学教授を務める一方で、自身の写真事務所「秀影社」を設立し、写真講座を開講するなど活動を本格化させている。 ^ “ 垂秀夫 Official Website ”. 秀影社. 2026年1月21日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂箕山古墳 垂箕山古墳 垂箕山古墳 遠景 別名 片平大塚古墳 所在地 京都府 京都市 右京区 太秦垂箕山町 位置 北緯35度0分59.81秒 東経135度41分59.30秒 ﻿ / ﻿ 北緯35.0166139度 東経135.6998056度 ﻿ / 35.0166139; 135.6998056 座標 : 北緯35度0分59.81秒 東経135度41分59.30秒 ﻿ / ﻿ 北緯35.0166139度 東経135.6998056度 ﻿ / 35.0166139; 135.6998056 形状 前方後円墳 規模 墳丘長63m 高さ5m（後円部・前方部） 埋葬施設 横穴式石室 築造時期 6世紀 代 被葬者 （ 宮内庁 治定） 仲野親王 （推定） 秦氏 一族 陵墓 宮内庁 治定「高畠墓」 地図 垂箕山古墳 3 km 甲塚古墳 円山古墳 蛇塚古墳 双ヶ岡 1号墳 段ノ山古墳 清水山 古墳 天塚古墳 垂箕山 古墳 太秦・嵯峨野地域の古墳 垂箕山古墳 （たるみやまこふん、片平大塚古墳）は、 京都府 京都市 右京区 太秦垂箕山町にある 古墳 。形状は 前方後円墳 。 実際の被葬者は明らかでないが、 宮内庁 により「 高畠墓 （たかばたけのはか）」として第50代 桓武天皇 皇子 の 仲野親王 の墓に治定されている。 ^ 続日本古墳大辞典 2002 . This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂簾聴政 垂簾聴政 垂簾聴政 （すいれんちょうせい、垂簾聽政、 満洲語 : ᠮᡝᠩᠰᡝᡴᡠ ᡨᡠᡥᡝᠪᡠᡶᡳ ᡩᠠᠰᠠᠨ ᡩᡝ ᡩᠠᠮᠪᡳ 転写：mengseku tuhebufi dasan de dambi、 ᡥᡳᡩᠠ ᡨᡠᡥᡝᠪᡠᡶᡳ ᡩᠠᠰᠠᠨ ᡳ ᠪᠠᡳᡨᠠ ᠪᡝ ᡳᠴᡳᡥᡳᠶᠠᠮᠪᡳ 転写：hida tuhebufi dasan i baita be icihiyambi）は、 皇帝 が幼い場合、 皇后 ・ 皇太后 のような女性が代わって 摂政 政治を行うこと。 ^ 『満漢大辞典』 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂裕神社 垂裕神社 垂裕神社 神門（黒門） 所在地 福岡県朝倉市秋月野鳥666 位置 北緯33度27分55.31秒 東経130度41分46.99秒 ﻿ / ﻿ 北緯33.4653639度 東経130.6963861度 ﻿ / 33.4653639; 130.6963861 ﻿ ( 垂裕神社 ) 座標 : 北緯33度27分55.31秒 東経130度41分46.99秒 ﻿ / ﻿ 北緯33.4653639度 東経130.6963861度 ﻿ / 33.4653639; 130.6963861 ﻿ ( 垂裕神社 ) 主祭神 垂裕明神（ 黒田長興 ） 社格 等 県社 創建 1875年（明治8年） 例祭 4月第一日曜日 地図 垂裕神社 垂裕神社 （すいようじんじゃ）は、 福岡県 朝倉市 にある 神社 である。旧 社格 は 県社 。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂見健吾 垂見健吾 垂見 健吾 （たるみ けんご、 1948年 （ 昭和 23年） - ）、 沖縄県 那覇市 在住、沖縄の自然や、島の人々の生活を中心に撮影するフリー カメラマン 。 長野県 出身。 桑沢デザイン研究所 デザイン科を中退後、 山田脩二 に師事する。以後、 文藝春秋 写真部を経てフリーランスとなる。 日本トランスオーシャン航空 機内誌 である『 Coralway 』を30年担当、現在も撮り続けている。数々の写真集や、 作家 との共著にて、主に 沖縄 の島々の風景や人々を記録し続けている。「南方写真師」の肩書きを持つ。 池澤夏樹 、 椎名誠 、 中村征夫 、 佐藤秀明 、 高砂淳二 、 よしもとばなな 、 高良倉吉 、三枝克之と交流が多い。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂見圭竹 垂見圭竹 垂見圭竹 職業 フラワーアーキテクト 肩書き フラワーアーキテクト、株式会社ラダック代表取締役社長、bulthau社アドバイザー 垂見 圭竹 （たるみ けいちく）は、日本のフラワーアーキテクト。 株式会社ラダック代表取締役社長。 フラワーアーキテクトとして 羽田空港 JAL 国際線ラウンジや 伊勢丹 新宿本店ほかの空間デザインを手掛ける。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂見宿禰 垂見宿禰   凡例 垂見宿禰 時代 古代 生誕 不詳 死没 不詳 氏族 葛城氏（ 葛城国造 ） 子 鸇比売命 垂見宿禰 （たるみのすくね、 生没年不詳 ）は、古代日本の 豪族 ・ 葛城国造 の一人。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂見村 垂見村 たるみむら 垂見村 廃止日 1907年3月20日 廃止理由 新設合併 川北村 、 川辺村 、 宮ノ内村 、 垂見村 → 三橋村 現在の自治体 柳川市 廃止時点のデータ 国 日本 地方 九州地方 都道府県 福岡県 郡 山門郡 市町村コード なし（導入前に廃止） 総人口 3,931 人 （『角川日本地名大辞典』40 福岡県、855頁、1891年） 隣接自治体 川辺村、 瀬高町 、 鷹尾村 、 塩塚村 、宮ノ内村 垂見村役場 所在地 福岡県山門郡垂見村棚町 ウィキプロジェクト 垂見村 （たるみむら）は、 福岡県 山門郡 にあった 村 。現在の 柳川市 の一部。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂足三角形 垂足三角形 ユークリッド幾何学 において、 垂足三角形 （すいそくさんかくけい、 英 :Pedal triangle）とは 三角形 と 点 に対して定義される三角形の一つである。 △ ABC と A, B, C でない点 P について、 P から直線 BC, AC, AB に 垂線 を降ろし、垂線とそれぞれの直線の交点（垂足）を L, M, N とする。このとき △ LMN を垂足三角形と言う。 △ ABC が 鋭角三角形 で △ LMN の角がそれぞれ 180° − 2 A , 180° − 2 B , 180° − 2 C ならば、 P は △ ABC の 垂心 である。日本語ではこのときの △ LMN のみを垂足三角形と呼ぶ場合もある。 特別な点の垂足三角形の例を挙げる。 垂心 の垂足三角形は垂足三角形（ orthic triangle ）である。広義の垂足三角形と区別するため 垂心三角形 と呼ばれることもある。 内心 の垂足三角形は ジェルゴンヌ三角形 （接触三角形）である。 外心 の垂足三角形は 中点三角形 である。 外接円上の点の垂足三角形は退化して シムソン線 となる。 等力点 の垂足三角形は 正三角形 となる。 内部の P の垂足三角形の頂点について、以下の等式が成り立つ。これは カルノーの定理 (垂線) と呼ばれる。 | A N | 2 + | B L | 2 + | C M | 2 = | N B | 2 + | L C | 2 + | M A | 2 . {\displaystyle |AN|^{2}+|BL|^{2}+|CM|^{2}=|NB|^{2}+|LC|^{2}+|MA|^{2}.} ^ “ Trigonometry/Circles and Triangles/The Pedal Triangle - Wikibooks, open books for an open world ”. en.wikibooks.org . 2020年10月31日閲覧。 ^ a b エヴァン・チェン 著、兒玉太陽、熊谷有輝、宿田彩斗、平山楓馬 訳『数学オリンピック幾何への挑戦 ユークリッド幾何学をめぐる船旅』 日本評論社 、2023年2月15日、2,15頁。   ^ Alfred S. Posamentier; Charles T. Salkind (1996). Challenging problems in geometry . New York: Dover. pp.  85 -86. ISBN  9780486134864. OCLC   829151719 . https://archive.org/details/challengingprobl00posa   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂足円 垂足円 垂足円 （すいそくえん、 英 : pedal circle ）は、 幾何学 において 三角形 ABC と点 P について決まる特別な 円 である。具体的には、点 P から △ ABC の 辺 に降ろした 垂線 と辺の交点 P a , P b , P c （垂足）が成す三角形（ 垂足三角形 ）の 外接円 を指す用語。 基準三角形の 外心 を O 、 外接円 の半径を R として、 P の垂足円の半径 r P は次の式で表される。 r P = | P A | ⋅ | P B | ⋅ | P C | 2 ⋅ ( R 2 − | P O | 2 ) {\displaystyle r_{P}={\frac {|PA|\cdot |PB|\cdot |PC|}{2\cdot (R^{2}-|PO|^{2})}}} P が基準三角形の外接円上にあるとき、この式の分母は0になる。これは P の垂足三角形が退化して シムソン線 となり、その垂足円は半径が 無限大 の円となるためである。 P が基準三角形の 内心 であるとき、その垂足円は基準三角形の 内接円 である。 P が基準三角形の 垂心 または外心であるとき、その垂足円は 九点円 である。 P を外接円上にない点として、 P の 等角共役点 Q の垂足円は P の垂足円と一致する。つまり垂足 P a , P b , P c と Q a , Q b , Q c は 同一円周上にある 。さらに垂足円の中心は 線分 PQ の 中点 である。 グリフィスの定理 または第二 フォントネーの定理 によれば、基準三角形の外心を通る直線の垂足円はある 定点 を通る。 共線 でない4点 A, B, C, D について、1点とほか3点の成す三角形に対する延べ4つの垂足円は1点で交わる。 ^ a b Ross Honsberger : Episodes in Nineteenth and Twentieth Century Euclidean Geometry . MAA, 1995, pp. 67–75 ^ a b Roger A. Johnson : Advanced Euclidean Geometry. Dover 2007 (reprint), ISBN 978-0-486-46237-0, pp. 135–144, 155, 240 ^ a b Weisstein, Eric W. “Pedal Circle” . mathworld.wolfram.com (英語). ^ Weisstein, Eric W. “Griffiths' Theorem” . mathworld.wolfram.com (英語). This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂足座標 垂足座標 垂足座標 （すいそくざひょう、 英 : pedal coordinates ）は、 ユークリッド平面 上の 点 と 曲線 に対して定義される 座標 である。具体的には、垂足点 O ( pedal point ) と曲線 C に対して、 P と O の 距離 r と、 P における 接線 と O の 距離 p （ 垂直距離 ）の組 ( r , p ) によって C 上の点 P を表す座標である。 O との 距離 r と、 P における 法線 と O の距離 p c の組で表す座標 ( contrapedal coordinates ) もよく使われる。ただし、 p c = √ r 2 − p 2 である。垂足座標系によって表現された式を垂足方程式 ( pedal equation ) という。 垂足方程式によって単純に表すことのできる曲線が存在する。また、垂足方程式によって曲線の 曲率 などの計算を簡略化できることがある。垂足座標系は 古典力学 や 天体力学 において、 力 の問題を解決するのに使うことができる。 ^ 宮本藤吉 『英和数学新字典』開新堂、1902年、216頁。 NDLJP : 826188 。   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂足曲線 垂足曲線 垂足曲線 （すいそくきょくせん、 英 : pedal curve ）は、 曲線 の 接線 に対する、固定 点 の 直交射影 が成す曲線である。より正確に言えば、 平面曲線 C と垂足点 P ( Pedal point ) について、 C の 接線 に対する P を通る 垂線 の足 X （接線と垂線の交点）の 軌跡 を垂足曲線という。逆に、曲線 C 上の任意の点 R における接線 T のある垂線が、ある点 P を通るなら、その垂線の足は垂足曲線を成す。 垂足曲線を構成するために、 四角形 PXRY が 長方形 となるように点 Y を取る。点 Y の軌跡は contrapedal curve と呼ばれる。 曲線の orthotomic は、 P を 中心 として2倍に拡大した垂足 P' の軌跡である。 P を接線 T で 鏡映 した点の軌跡ともいえる。 垂足曲線は、曲線 C n の垂足曲線を C n + 1 として、 C 0 , C 1 , C 2 , C 3 ... と定義していったときの一連の曲線の最初の曲線である。この曲線内で、 C n を C 0 の n th positive pedal curve という。逆に C 0 は C n の n 番目の負垂足線 ( n th negative curve ) または逆垂足曲線と呼ばれる。 ^ 窪田忠彦 『近世幾何学』 岩波書店 、1947年、148頁。 NDLJP : 1063410 。   ^ 沢田吾一 『微分積分学綱要』富山房、1930年、141-143頁。 NDLJP : 1031308 。   ^ 窪田忠彦『歯車の幾何学』河出書房、1948年、15頁。 NDLJP : 1159825 。   ^ 掛谷宗一 『積分学』岩波書店、1946年、78-79頁。 NDLJP : 1229809 。   ^ ジョージ・サーモン 著、 小倉金之助 訳『初等幾何學 第2卷 空間之部』山海堂、1915年、308頁。 NDLJP : 1082037 。   ^ 下田卯市『微分積分学』大倉書店、1922年、486-491頁。 NDLJP : 960420 。   ^ 寺沢寛一 『微分学講義』積善館、1910年、340-345頁。 NDLJP : 828996 。   ^ 藤原松三郎 『数学解析 第1篇』内田老鶴圃、1940年、148頁。 NDLJP : 1212195 。   ^ Edwards 1892 , p. 165. This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂重円 垂重円 幾何学 において 垂重円 （すいじゅうえん、 英 : orthocentroidal circle ）は、 正三角形 でない 三角形 に対して定義される、 垂心 と 重心 を 直径 の両端とする 円 である。 1894年 、 アンドリュー・ギーナン は、 内心 が常に垂重円内にあるが、九点円の中心とは一致しない、つまり九点円の中心で穴をあけた垂重円の 円板 内にあることを示した。 更に、第一 フェルマー点 、 ジェルゴンヌ点 、 類似重心 は垂重円の開円板の中にあり、第二フェルマー点と フォイエルバッハ点 は外にある。垂心と重心を固定して三角形を動かしたとき、 ブロカール点 の一方が中へ、もう一方が外にあるような、ブロカール点の 軌跡 は垂重円の開円板である。 垂重円の直径の二乗は、 D 2 − 4 9 ( a 2 + b 2 + c 2 ) {\displaystyle D^{2}-{\dfrac {4}{9}}(a^{2}+b^{2}+c^{2})} である 。ここで a, b, c は三角形の辺の長さで D は 外接円 の直径である。垂重円は レスター円 、ステヴァノヴィッチ円などと直交する。また垂重円の中心、つまり垂心と重心の 中点 X(381)は 三線座標 を用いて、以下の式で表される。 2 cos ⁡ ( B − C ) − cos ⁡ A : 2 cos ⁡ ( C − A ) − cos ⁡ B : 2 cos ⁡ ( A − B ) − cos ⁡ C {\displaystyle 2\cos(B-C)-\cos A:2\cos(C-A)-\cos B:2\cos(A-B)-\cos C} ^ Eugène Rouché , Charles de Comberousse 著、 小倉金之助 編『初等幾何学 第1巻 平面之部』 山海堂書店 、1913年、613頁。 doi : 10.11501/930885 。   ^ 長澤龜之助 編『幾何学精義（数学中等参考叢書）』 成美堂書店 、1907年、763頁。 doi : 10.11501/828520 。   ^ Eugène Rouché, Charles de Comberousse 著、小倉金之助 訳『初等幾何學 第2卷 空間之部』山海堂書店、1915年、878頁。 doi : 10.11501/1082037 。   ^ Guinand, Andrew P. (1984), “Euler lines, tritangent centers, and their triangles” , American Mathematical Monthly 91 (5): 290–300, doi : 10.2307/2322671 , JSTOR   2322671 , https://www.jstor.org/stable/2322671   . ^ a b Bradley, Christopher J.; Smith, Geoff C. (2006), “The locations of triangle centers” , Forum Geometricorum 6 : 57–70 , http://forumgeom.fau.edu/FG2006volume6/FG200607index.html   . ^ Stern, Joseph (2007), “Euler's triangle determination problem” , Forum Geometricor
topher J.; Smith, Geoff C. (2006), “The locations of triangle centers” , Forum Geometricorum 6 : 57–70 , http://forumgeom.fau.edu/FG2006volume6/FG200607index.html   . ^ Stern, Joseph (2007), “Euler's triangle determination problem” , Forum Geometricorum 7 : 1–9 , http://forumgeom.fau.edu/FG2007volume7/FG200701.pdf   . ^ Franzsen, William N. (2011), “The distance from the incenter to the Euler line” , Forum Geometricorum 11 : 231–236 , http://forumgeom.fau.edu/FG2011volume11/FG201126index.html   . ^ LevershaGerry; SmithG. C.「 Euler and triangle geometry 」『 The Mathematical Gazette 』第91巻、第522号、436–452頁、2007年11月。 doi : 10.1017/S0025557200182087 。 JSTOR   40378417 。 https://www.jstor.org/stable/40378417 。   . ^ Bradley, Christopher J.; Smith, Geoff C. (2006), “The locations of the Brocard points” , Forum Geometricorum 6 : 71–77 , http://forumgeom.fau.edu/FG2006volume6/FG200608index.html   . ^ “ ENCYCLOPEDIA OF TRIANGLE CENTERS X(381) = MIDPOINT OF X(2) AND X(4) ”. faculty.evansville.edu . 2024年5月2日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂野創一郎 垂野創一郎 垂野 創一郎 （たるの そういちろう、 1958年 - ）は、日本の 翻訳家 、 幻想文学 研究家。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
垂門奈々 垂門奈々 垂門 奈々 生年月日 ( 2004-07-27 ) 2004年 7月27日 （21歳） 出身地 日本 鹿児島県 身長 1.67 m (5 ft 5 + 1 ⁄ 2  in) 体重 74 kg (11 st 9 lb) 学校 鹿児島情報高校 大学 日本経済大学 ラグビーユニオンでの経歴 ポジション フランカー アマチュア経歴 年 チーム 出場 (得点) 2020-2023 2023- 鹿児島情報高校 日本経済大学 () 代表 年 チーム 出場 (得点) 2025   日本 1 (5) 更新日:  2025年4月27日 垂門 奈々 （たれかど なな、 2004年 7月27日 - ）は、 日本 の女子 ラグビーユニオン 選手。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型 型 型 （かた） 個々のもの形を生ずるもととなるもの。 ものを作るときに形をつくりだすもとになるもの。現物あるいは模型から形状を複製して個々の目的物を作る。→ 原型 ・ 金型 ・ 鋳型 ・ 型紙 ・ 型枠 ・ セルクル （洋菓子用）。底のない型のことを 枠 （フレーム）とも呼ぶ。目的物が立体的なものである場合、目的物と同じ形を持つ型を 雄型 （内型）、目的物と逆の凹凸を持つ型を雌型（外型）という。 伝統や習慣として決まった形式→ 伝統 、 習慣 武道・伝統芸能・スポーツなどで規範となる方式。名人などによって生み出された技法や表現形式といえる。「機械・工業製品の"型"とは違い、カタに嵌ったものではないし、そうであってはならない」という意味で 形 と書くことも多い。「規範動作」 武道 の型。 剣道 、 居合道 、 合気道 、 柔道 等の武道の規範となる方式。→形 (武道)（フランス語版記事 fr:Kata ）。 形稽古 、 日本剣道形 、 全日本剣道連盟居合 、 全日本居合道連盟刀法 、 柔道形 、 空手の型一覧 能 、 歌舞伎 、 日本舞踊 などの伝統芸能で、規範となる一連の動き。（伝統技能では）型は家の芸となり、秘伝・口伝といった伝授方式があり、それがある者に示されることは寿祝性、儀礼性をもつ。 ものを類に分けた時（つまり 分類 した時）それぞれの類の特質をよく表したもの。典型。タイプ → 典型 、 タイプ 決まった大きさ。決められた大きさ・サイズ。規格サイズ。 （ 国際単位系 に移行したため、それではない） インチ で決められた大きさ。 モニタの画面の大きさ（「14型」「21型」など。画面の対角線の長さが何インチかを指す。）→ モニタ 、 テレビ受像機 ディスクのサイズ（「0.85型」「3.5型」など） → ディスク 、 磁気ディスク 、 光ディスク 半導体素子のサイズ（固体撮像素子における「1/1.8型」「1/2.7型」など）→ 半導体 、 固体撮像素子 コンピュータで扱うデータの決められた形式・種類（整数型、浮動小数点型、文字型、集合型、ポインタ型 等）→ データ型 一定の設計理念に基づく製作物・製品の集合、あるいはその設計要項。型の名称は設計者の名が使われることが多い。「 式 」「 風 」とも。また、共通点の多い製品群（機械製品・建築物・アパレルなど）。名称は代表的製品の名が使われることが多い。 「ニュートン型反射望遠鏡」「ケプラー型屈折望遠鏡」等→ 天体望遠鏡 「ABC製造会社のXYZ型コンピュータ」、自動車の形式、エンジンの形式 等々 大和型戦艦 、 松型駆逐艦 、千代田型軍艦など。（ 軍艦 等の型は「 級 」も参照） 「人型機械」「生物型機械」「犬型ロボット」「鳥型○○」「○○魚型」…→ ヒューマノイド 、 ロボット 生物学 における分類上の位。「琉球列島型」、「縦縞型」、「橙色型」などのように使われる。 種 及び 亜種 の下に設置される分類段階。 人種 や 民族 はこの分類段階に相当する。類義語に 地域個体群 や 品種 などがある。 生物学 における種の多様性の表現。「色彩多型」や、「季節多型」、「血液型」などが含まれる。「しわ型」、「花紫型」、「 遡河回遊型 」などのように使われる。この意味での型という表現には2つの異なった定義が存在する。そのほかランダムに発生する 変種 のことを指す場合もある。 variety の一つと捉えられる。 表現型 を表すことときに使われる。遺伝子から受け継がれる。人の指紋の巻きや、血液型など。 形 と書くことも多い。「丸形」、「花粉長型」などのように使われる。 血液
に 地域個体群 や 品種 などがある。 生物学 における種の多様性の表現。「色彩多型」や、「季節多型」、「血液型」などが含まれる。「しわ型」、「花紫型」、「 遡河回遊型 」などのように使われる。この意味での型という表現には2つの異なった定義が存在する。そのほかランダムに発生する 変種 のことを指す場合もある。 variety の一つと捉えられる。 表現型 を表すことときに使われる。遺伝子から受け継がれる。人の指紋の巻きや、血液型など。 形 と書くことも多い。「丸形」、「花粉長型」などのように使われる。 血液の血球の抗原の違いをもとに決めた血液の分類。ABO型、RH型、MN型などによる分類がある。→ 血液型 環境による形態及び生態の特徴を表すときに使われる。 アジサイ の花の色や、 ショウジョウバッタ の色、 サクラマス の 陸封型 の ヤマメ などがある。「褐色型」、「 降海回遊型 」などのように使われる。 遺伝子型 の意味で型という表現が使われることもある。 ^ a b c d e f 広辞苑第六版「かた（形・型）」 ^ a b ブリタニカ百科事典「型」 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型の説 型の説 型の説 （かたのせつ、Type theory）は、 アンドレ・デュマ らによって、 電気化学的二元論 に対抗して唱えられた有機化合物の分類と構造に関する理論である。最終的には アウグスト・ケクレ によって 原子価 の理論へと発展することになった。 アンドレ・デュマによって最初の型の説が唱えられ、その後デュマの弟子の シャルル・ジェラール は単純な 無機化合物 の 誘導体 として有機化合物を扱う新しい型の説を提案した。ジェラールは、型の説は有機化合物の誘導体の関係を示しているだけであり、有機化合物の構造を知ることはできないという立場をとっていた。 しかしケクレによりそれぞれの 原子 がその 元素 によって定まる原子価の数の他の原子と結合するという概念が導入されて、型は構造へと関連付けられ現在の有機化合物の構造論へとつながった。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型クラス 型クラス （ 計算機科学 の） 型クラス （かたクラス、Type class）は、 アドホック多相 をサポートする 型システム の機能である。 パラメトリック多相 の 型変数 に 制約 を付加して、 関数オーバーロード と演算子オーバーロードを実現するのが元々の目的になる。その型変数に当てはめられた データ型 は、それへの制約でカテゴライズされることになる。 典型的な型クラスは、型クラス T と型変数 a とその a を引数/返り値にした 総称関数 の構成で宣言される。 a に型 X を当てはめたインスタンス化宣言で X は T で制約されて、その型 X を引数/返り値にする 関数 と 演算子 もインスタンス化される。総称関数も型 X でインスタンス化される。 型クラスは、 Standard ML のeqtypesで提唱された後に、 Haskell で初めて導入されている。その主な目的は 型注釈 などによる 型システム の拡張的補正なしの 関数オーバーロード の実現である。これは 純粋関数型 でのプログラムの 形式的検証 に必須になる。また、 モナド の実践も容易にする。 その他の言語では、アドホック多相を サブタイプ多相 に置き換えて、 インターフェース と ジェネリクス を融合したような機能にされていることが多い。それは レコード や 構造体 や オブジェクト に実装されて、その振る舞いをカテゴライズする。 ^ Wadler, P.; Blott, S. (1989). “How to make ad-hoc polymorphism less ad hoc” . Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89) . Association for Computing Machinery. pp. 60–76. doi : 10.1145/75277.75283 . ISBN  0897912942 . https://www.researchgate.net/publication/2710954   ^ a b Kaes, Stefan (March 1988). “Parametric overloading in polymorphic programming languages”. Proc. 2nd European Symposium on Programming Languages . doi : 10.1007/3-540-19027-9_9 . ^ Morris, John G. (2013). Type Classes and Instance Chains: A Relational Approach (PDF) (PhD). Department of Computer Science, Portland State University. doi : 10.15760/etd.1010 . ^ Appel, A.W.; MacQueen, D.B. (1991). “Standard ML of New Jersey”. In Maluszyński, J.; Wirsing, M.. Programming Language Implementation and Logic Programming. PLILP 1991 . Lecture Notes in Computer Science
rtland State University. doi : 10.15760/etd.1010 . ^ Appel, A.W.; MacQueen, D.B. (1991). “Standard ML of New Jersey”. In Maluszyński, J.; Wirsing, M.. Programming Language Implementation and Logic Programming. PLILP 1991 . Lecture Notes in Computer Science. 528 . Springer. pp. 1–13. doi : 10.1007/3-540-54444-5_83 . ISBN  3-540-54444-5   This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型システム 型システム 型システム 主要カテゴリ 静的型付け vs 動的型付け 強い vs 弱い 明示的 vs 型推論 名前的 vs 構造的 ダックタイピング マイナーカテゴリ 部分型 再帰型 部分構造型 依存型 漸進的型付け フロータイピング 潜在的型付け 型理論のコンセプト 直積型 - 直和型 交差型 - 共用型 単一型 - 選択型 帰納型 - 精製型 トップ型 - ボトム型 函数型 - 商型 全称型 - 存在型 一意型 - 線形型 型システム （かたシステム、 英 : type system ）は、 コンピュータプログラミング の数々の構成要素および 値 に対して、 型 （type）と呼ばれる特性を付与するための数々の規則群から成立している 形式体系 である。型の付与は、型付け（typing）と言われる。例えば、 変数 ・ 式 ・ 関数 ・ モジュール ・ オブジェクト などが型の付与対象になり、それらの型付け要素を規則的な関係でまとめた データ構造 にも型は付与されてカテゴライズされる。 型システムの目的は、プログラムエラーと バグ の発生を抑止することである。そのための型安全性とは、各計算および各オペレーションでの型エラー（不正計算、ロジックエラー、 バッファオーバーフロー 、不正ポインタなど）の発生を防止することと同義になる。 型システムは、一般的に 型理論 をベースにしている。 ^ Pierce 2002 , p. 1: "A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute." ^ Cardelli 2004 , p. 1: "The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program." ^ 『 型システム入門 』 p. 1 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型付きラムダ計算 型付きラムダ計算 型付きラムダ計算 （かたつきラムダけいさん、 英 : typed lambda calculus ）とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambda } ) というシンボルを用いる型付き 形式手法 である。型付きラムダ計算は基礎的な プログラミング言語 でもあり、 ML や Haskell などの型付き 関数型言語 の基盤であり、さらには型付き 命令型プログラミング 言語の間接的な基盤とも言える。また、 カリー・ハワード同型対応 によって 数理論理学 と 証明論 とも密接に関連しており、 圏論 のクラスの内部言語と見なすこともできる。例えば単純な型付きラムダ計算は デカルト閉圏 (CCC) の言語である。 ある観点から見れば、型付きラムダ計算は型を持たない ラムダ計算 を改良したものと言えるが、別の観点からは、より根本的な理論と見ることもでき、型を持たないラムダ計算の方が型が1つしかない特殊ケースと見ることができる。 様々な型付きラムダ計算がこれまで研究されてきた。単純型付きラムダ計算はいくつかの基本型（または型変数）と関数型 σ → τ {\displaystyle \sigma \to \tau } から成る。System T はこれを拡張し、自然数型と高階原始再帰を加えたものである。この系では ペアノ算術 において全ての再帰する可能性のある関数が定義可能である。 System F は、全ての型に対して 全称量化 を施すことで ポリモーフィズム を実現している。これを論理学的に見れば、 二階述語論理 に属する全ての関数を記述できることを意味する。 依存型 のあるラムダ計算は直観主義的型理論の基盤であり、 calculus of constructions や logical framework (LF) の基盤である。Berardi の成果に基づき Barendregt が提案した ラムダ・キューブ は、純粋な型付きラムダ計算（単純型付きラムダ計算、System F、LF、calculus of constructions など）の関係を体系化したものである。 一部の型付きラムダ計算には「 サブタイピング 」の概念が導入されている。すなわち、 A {\displaystyle A} が B {\displaystyle B} のサブタイプ（下位型）であるとき、 A {\displaystyle A} 型の項は必ず B {\displaystyle B} 型の項でもある。サブタイピングのある型付きラムダ計算としては、単純型付きラムダ計算に conjunctive type を加えたものと System F-sub (F <: ) が挙げられる。 以上の体系はすべて（型のないラムダ計算以外）、「強く正規化 (strongly normalizing)」する。すなわち、全ての計算は停止する。結果としてそれらは論理として一貫しており、uninhabited types がある。しかし、強く正規化しない型付きラムダ計算も存在する。全ての型の型 (Type : Type) を持つ依存型付きラムダ計算は Girard's paradox により正規化しない。この系は最も単純な純粋型システムでもあり、ラムダ・キューブを一般化した形式手法である。明示的な再帰コンビネータを持つ系（Gordon Plotkin の PCF など）も正規化しないが、論理体系として解釈されることを意図していない。実際、PCF ( Programming langu
inhabited types がある。しかし、強く正規化しない型付きラムダ計算も存在する。全ての型の型 (Type : Type) を持つ依存型付きラムダ計算は Girard's paradox により正規化しない。この系は最も単純な純粋型システムでもあり、ラムダ・キューブを一般化した形式手法である。明示的な再帰コンビネータを持つ系（Gordon Plotkin の PCF など）も正規化しないが、論理体系として解釈されることを意図していない。実際、PCF ( Programming language for Computable Functions ) は型付き関数型プログラミング言語であり、型はプログラムが正しく動作することを保証する目的で使われているが、必ずしも停止を保証しない。 型付きラムダ計算はプログラミング言語の新たな型システムの設計で重要な役割を演じている。型付け可能性は一般にプログラミングの好ましい属性を捉え、例えば、プログラムがメモリアクセス違反を起こさないようにするといったことが考えられる。 プログラミング において、 強い型付け のプログラミング言語のルーチン（関数、プロシージャ、メソッド）は、型付きラムダ計算と密接に関連している。 Eiffel には "inline agent" の記法があり、型付きラムダ式を直接定義して操作できる。例えば、 agent (p: PERSON): STRING do Result  := p.spouse.name end という式があるとき、これはある人 (person) の配偶者 (spouse) の名前を返す関数を表したオブジェクトを記述している。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型変換 型変換 型変換 （かたへんかん、 英 : type conversion ）とは プログラム において、ある データ型 を他のデータ型に変換することである。型キャスト（ 英 : type casting ）とも呼ばれる。 ^ ASCII.jpデジタル用語辞典『 型変換 』 - コトバンク ^ デジタル大辞林『 型キャスト 』 - コトバンク This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型式 型式 ウィキペディアには「 型式 」という見出しの百科事典記事はありません （ タイトルに「型式」を含むページの一覧 /「型式」で始まるページの一覧） 。 代わりに ウィクショナリー のページ「 型式 」が役に立つかもしれません。 wikt:Special:Search/型式 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型式学的研究法 型式学的研究法 型式学的研究法 （けいしきがくてきけんきゅうほう、 英語 : typological method ）とは、 考古学 における研究法のひとつである。 考古資料 とくに 遺物 の形態・ 材料 ・ 技法 ・ 装飾 などの諸特徴によって分類された 型式 （type）を、年代的な変遷をたどり、地域的な相互比較をおこなって、その遺物（型式）の時間的ないし分布上の位置関係、さらに型式相互の関係性を明らかにしていく研究の方法であり、単に 型式学 （typology）ともいわれる。 この方法は、 19世紀 後半に スウェーデン の 考古学者 オスカル・モンテリウス （ 1843年 - 1921年 ）らによって、 北欧 の 青銅器文化 の研究などをもとに提唱されたのち、急速に世界的に普及していったが、これについて、スウェーデンの考古学者 ニルス・オーベリ は、「 先史考古学 は、この研究法の確立によってはじめて科学になった」との評価をくだしている。 ^ a b 大塚・戸沢（1996）p.96 ^ 田中「型式学の問題」（1988）p.14 。原出典は N.Åberg（1929）Bd.13 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型式承認 型式承認 型式承認 （かたしきしょうにん）とは、 予備品証明 対象部品を国内で製造して使用する場合、その基本設計が強度･構造･性能について、安全性基準を満たしていることを国土交通大臣が証明する制度である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型式証明 型式証明 型式証明 （かたしきしょうめい、 英語 : Type certificate ）とは、新たに開発・製造された民間 航空機 の型式が安全性及び環境適合性の基準を満たしていることを証明するものである。 ^ 日本放送協会 (2023年11月17日). “ 悲願の日本の翼 何を残したのか | NHK | ビジネス特集 ”. NHKニュース . 2023年11月20日閲覧。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型式認証 型式認証 型式認証 （ 英 : Type Approval もしくは Certificate of Conformity ）とは、最低限度の法規・技術要件・安全性を満たした製品に与えられる認証である。一般的に、型式認証は特定の国で製品の販売許可を得る際に要求されるものであるため、求められる要件は国ごとに異なる。英語圏外の欧州の国々では、「型式認証 (Type Approval)」として知られるこの手続きおよび認証に対して ホモロゲーション （あるいはその同根語）が名称として用いられる。 型式認証の定める基準を満たしていることは、第三者機関によって示され、製品の裏にそのことが記されている場合もある（例えばABS, TUV. UL, CSAなど）。あるいは、製造業者が型式認証を取得しながらも単に記録として留められるだけの場合もある。しばしば電子デバイスなどの製品の裏に見られる CEマーク は、必ずしもその製品が 欧州連合 の型式認証を得ていることを意味しているわけではない。CEマークはその製品のシステム・組み立て (system/assembly) に適用される 最低限度の あらゆる安全性に関する法規制および業者自身による規制が満たされていることを、その製造業者が宣言するものである。すなわち、必ずしも第三者機関がそのシステム・組み立ての試験・設計に関わっているわけではない。"New Approach safety directives"の多くは第三者機関の関与の権限を認めておらず (e.g. LVD, EMD)、認めているものについても (e.g. PED, MDD, ATEX)、Notified Body (NoBo) の関与を、ある程度のリスクカテゴリーに関して認めるに留めている。リスクカテゴリーにおいて第三者機関の関与の権限が認められた場合、システム・組み立てに関するCEマークにNoBo numberが追加される。それぞれDirectiveのConformity Assessment optionsで詳細に説明されているように、NoBo numberの使用権はNoBoによって設計レビュー・試験およびオーディティング (auditing) の後に与えられる（参照・ 外部リンク ）。一方、中国においては型式認証は CCC制度 によって示される。 型式認証という言葉はある特定の産業に特定して使用されるわけではない。型式認証要件は舶用機器 (marine equipment)、携帯電話、 自動車産業 、医療用機器に至るまで幅広く存在している。型式認証は単にある製品がその「型式」の求める要件を満たしていることを示しており、 その「型式」は何にでもなりうる。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.
型式認証制度 (自動車) 型式認証制度 (自動車) 型式認証制度 （かたしきにんしょうせいど）とは、日本国内で行われる 自動車 の 型式認証 の審査制度。自動車製作者等が新型の自動車等の生産又は販売を行う場合、一台ごとに新規検査せずとも良いよう検査の合理化を目的として、あらかじめ 国土交通大臣 に申請又は届出を行い、保安基準への適合性等について審査を受ける制度である。 This article is issued from Wikipedia . The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.